Tue 27 Oct 2015 14:40 - 15:00 at Haselton 1 - Session 3

We discuss the use of Dynamic Condition Response (DCR) Graphs as a formal foundation and run-time for event-based systems. DCR Graphs is an event-based process notation derived from event-structures and developed in collaboration with our industrial partner Exformatics. Several extensions to the core theory, including dynamic creation of sub processes, data, I/O, analysis and distribution techniques have been developed by the authors and co-workers, and implemented by the first author in the DCRworkbench available for experimentation at tiger.itu.dk, a web-based interactive research prototype. Some of the features have been transferred to the industrial cloud-based DCRGraphs design and simulation tool developed by Exformatics and available at DCRGraphs.net