Abstract
We present an extension of the recently introduced declarative process model Dynamic Condition Response Graphs (DCR Graphs) to allow nested sub-graphs 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 Büchi-automata to include the milestone relation.
| Original language | Undefined/Unknown |
|---|---|
| Title of host publication | Fundamentals of Software Engineering : 4th IPM International Conference, FSEN 2011, Tehran, Iran, April 20-22, 2011, Revised Selected Papers |
| Editors | Farhad Arbab, Marjan Sirjani |
| Number of pages | 8 |
| Publisher | Springer |
| Publication date | 2012 |
| Pages | 343-350 |
| ISBN (Print) | 978-3-642-29319-1 |
| ISBN (Electronic) | 978-3-642-29320-7 |
| DOIs | |
| Publication status | Published - 2012 |
| Externally published | Yes |
| Event | 4th IPM International Conference on Fundamentals of Software Engineering - Teheran, Iran, Islamic Republic of Duration: 20 Apr 2011 → 22 Apr 2011 Conference number: 4. |
Conference
| Conference | 4th IPM International Conference on Fundamentals of Software Engineering |
|---|---|
| Number | 4. |
| Country/Territory | Iran, Islamic Republic of |
| City | Teheran |
| Period | 20/04/2011 → 22/04/2011 |
| Series | Lecture notes in computer science |
|---|---|
| Volume | 7141 |
| ISSN | 0302-9743 |