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