Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Logic based modeling and analysis of workflows
PODS '98 Proceedings of the seventeenth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Property specification patterns for finite-state verification
FMSP '98 Proceedings of the second workshop on Formal methods in software practice
An Event Algebra for Specifying and Scheduling Workflows
Proceedings of the 4th International Conference on Database Systems for Advanced Applications (DASFAA)
A logical framework for scheduling workflows under resource allocation constraints
VLDB '02 Proceedings of the 28th international conference on Very Large Data Bases
Automatic verification of data-centric business processes
Proceedings of the 12th International Conference on Database Theory
The Resultmaker Online Consultant: From Declarative Workflow Management in Practice to LTL
EDOCW '08 Proceedings of the 2008 12th Enterprise Distributed Object Computing Conference Workshops
Towards formal analysis of artifact-centric business process models
BPM'07 Proceedings of the 5th international conference on Business process management
From Dynamic Condition Response Structures to Büchi Automata
TASE '10 Proceedings of the 2010 4th IEEE International Symposium on Theoretical Aspects of Software Engineering
Designing a Cross-Organizational Case Management System Using Dynamic Condition Response Graphs
EDOC '11 Proceedings of the 2011 IEEE 15th International Enterprise Distributed Object Computing Conference
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Safe distribution of declarative processes
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
Declarative modelling and safe distribution of healthcare workflows
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs
Proceedings of the 12th workshop on Foundations of aspect-oriented languages
Exformatics declarative case management workflows as DCR graphs
BPM'13 Proceedings of the 11th international conference on Business Process Management
| Hi-index | 0.00 |
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.