Nested Dynamic Condition Response Graphs

Thomas Hildebrandt, Raghava Rao Mukkamala, Tijs Slaats

Research output: Journal Article or Conference Article in JournalConference articleResearchpeer-review


We present an extension of the recently introduced declarative process model Dynamic Condition Response Graphs ( DCR Graphs) to allow nested subgraphs and a new milestone relation between events. The extension was developed during a case study carried out jointly with our industrial partner Exformatics, a danish provider of case and workflow management systems. We formalize the semantics by giving first a map from Nested to (flat) DCR Graphs with milestones, and then extending the previously given mapping from DCR Graphs to Buchi-automata to include the milestone relation.
Original languageEnglish
Book seriesLecture Notes in Computer Science
Pages (from-to)343-350
Number of pages8
Publication statusPublished - 2012
Event4th International Conference on Fundamentals of Software Engineering - Tehran, Iran, Islamic Republic of
Duration: 20 Apr 201122 Apr 2011
Conference number: 4th


Conference4th International Conference on Fundamentals of Software Engineering
Country/TerritoryIran, Islamic Republic of
Internet address


  • Declarative Process Models
  • Nested Subgraphs
  • Milestone Relation
  • Buchi-Automata
  • Case Study with Industry Partner


Dive into the research topics of 'Nested Dynamic Condition Response Graphs'. Together they form a unique fingerprint.

Cite this