Loading Events

« All Events

  • This event has passed.

Distributed Declarative Contracts with Dynamic Condition Response Graphs

December 2 @ 08:00 - 17:00

In the talk we present the formal background, tools and applications of the Dynamic Condition Response (DCR) Graph modelling notation and technology stack developed during the last 10 years, leading to the establishment of the company DCRSolutions.net in 2018 as part of the EcoKnow.org research project.
DCR Graphs is an event-based declarative process notation generalizing event structures to allow finite models of infinitary, timed processes with data. The notation can capture both prohibitions and obligations, capturing distributed contracts with both safety and liveness properties. The DCR notation is supported by a full technology stack (available at dcrsolutions.net) and consisting of a web-based design and simulation tool , a process engine, declarative process mining, and an open source case management tool. There is also a natural language process mapping tool allowing NLP supported mapping from natural language contract specifications to DCR process models.
Finally, there is a prototype block-chain execution engine. The technology is available for academic use by joining the DCR academic community and can be licensed for commercial use. Today the DCR process engine is build into workflow and case management systems widely used in the Danish governmental sector. Documentation and access to tools can be found at wiki.dcrgraphs.net.