Loading Events

← Back to Events

Kronstad Campus of Western Norway University of Applied Sciences

December 2019

Distributed Declarative Contracts with Dynamic Condition Response Graphs

2. December 2019 @ 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,…

Find out more »
+ Export Events