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.
|Bogserie||Lecture Notes in Computer Science|
|Status||Udgivet - 2012|
|Begivenhed||4th International Conference on Fundamentals of Software Engineering - Tehran, Iran|
Varighed: 20 apr. 2011 → 22 apr. 2011
Konferencens nummer: 4th
|Konference||4th International Conference on Fundamentals of Software Engineering|
|Periode||20/04/2011 → 22/04/2011|