Contract Specification Modelling Lab
Contract Specification Modelling Lab
Embedded Files
The CSM Lab focuses on researching the next generation of contractual compliance monitoring systems powered through the synergy between two emergent technologies, namely Cyber-Physical Systems (CPSs) and Distributed Ledger Technologies (DLTs), including blockchains and smart contracts.
The CSM Lab is a research group from the School of EECS at the University of Ottawa, Canada
Research Topics
Research Topics
Improve contract descriptions at design time and monitor their performance/compliance at run-time
Formalize contracts and contract templates using an ontology that supports obligations and powers (Symboleo)
Support runtime changes to contracts, e.g. subcontracting, assignment, delegation, and novation
Check contract properties (liveness, consistency) by an automated translation to model checking engines (nuXmv)
Automatically generate smart contracts using DLT/IoT integrated platforms (for now, in Hyperledger Fabric)
Support the conversion and refinement of natural language contract templates to the Symboleo specification language
Support the specification (including non-functional requirements) and code generation of CPSs that include smart contracts
Symboleo: A Formal Language to Specify, Verify, and Monitor Smart Contracts
Symboleo: A Formal Language to Specify, Verify, and Monitor Smart Contracts
Report abuse