Research Objectives
Research Objectives
Modelling contracts as legal processes
Model the runtime changes to a contracts, e.g. subcontracting, assignment, delegation and novation.
Monitor compliance of a contract.
Check contract properties (liveness, consistency)
Build a working smart contract prototype using DLT/IoT integrated platforms.
Current Research Outcomes
Current Research Outcomes
A Contract Ontology is introduced as an extension of a foundational ontology (UFO-L).
Contracts can be formally specified using the DSL that supports the Contract Ontology. The DSL was developed using Xtext and provides a handy IDE.
A reasoner based on our contract ontology and finite state machines has been implemented in TuProlog.