Conference Proceedings

Nested dynamic condition response graphs

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (2012) 7141 LNCS 343-350
DOI: 10.1007/978-3-642-29320-7_23
48Citations
Citations of this article
18Readers
Mendeley users who have this article in their library.
Get full text

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. © 2012 Springer-Verlag.

Cite

CITATION STYLE

APA

Hildebrandt, T., Mukkamala, R. R., & Slaats, T. (2012). Nested dynamic condition response graphs. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 7141 LNCS, pp. 343–350). https://doi.org/10.1007/978-3-642-29320-7_23

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Save time finding and organizing research with Mendeley

Sign up for free