Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
Synthesizing Distributed Transition Systems from Global Specification
Proceedings of the 19th Conference on Foundations of Software Technology and Theoretical Computer Science
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
Business Process Management, Models, Techniques, and Empirical Studies
A Formal Foundation for Distributed Workflow Execution Based on State Charts
ICDT '97 Proceedings of the 6th International Conference on Database Theory
Inheritance of Interorganizational Workflows: How to Agree to Disagree Without Loosing Control?
Information Technology and Management
Realizability of Conversation Protocols With Message Contents
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Decentralizing execution of composite web services
OOPSLA '04 Proceedings of the 19th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications
Complexity Results for Checking Distributed Implementability
ACSD '05 Proceedings of the Fifth International Conference on Application of Concurrency to System Design
Support for activity-based computing in a personal computing operating system
Proceedings of the SIGCHI Conference on Human Factors in Computing Systems
E Role-based Decomposition of Business Processes using BPEL
ICWS '06 Proceedings of the IEEE International Conference on Web Services
Model Driven Distribution of Collaborative Business Processes
SCC '06 Proceedings of the IEEE International Conference on Services Computing
AIME '07 Proceedings of the 11th conference on Artificial Intelligence in Medicine
Optimum Decentralized Choreography for Web Services Composition
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2
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
A theory of contracts for strong service compliance
Mathematical Structures in Computer Science
A Flexible Approach for Automatic Process Decentralization Using Dependency Tables
ICWS '09 Proceedings of the 2009 IEEE International Conference on Web Services
INTERACT '09 Proceedings of the 12th IFIP TC 13 International Conference on Human-Computer Interaction: Part II
The Computer Journal
Query nets: interacting workflow modules that ensure global termination
BPM'03 Proceedings of the 2003 international conference on Business process management
Structured communication-centred programming for web services
ESOP'07 Proceedings of the 16th European conference on Programming
Contract based multi-party service composition
FSEN'07 Proceedings of the 2007 international conference on Fundamentals of software engineering
BPM'07 Proceedings of the 2007 international conference on Business process management
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
Safe distribution of declarative processes
SEFM'11 Proceedings of the 9th international conference on Software engineering and formal methods
A framework for defining and verifying clinical guidelines: a case study on cancer screening
ISMIS'06 Proceedings of the 16th international conference on Foundations of Intelligent Systems
Towards a methodology for deriving contract-compliant business processes
BPM'06 Proceedings of the 4th international conference on Business Process Management
A declarative approach for flexible business processes management
BPM'06 Proceedings of the 2006 international conference on Business Process Management Workshops
Analyzing web service based business processes
FASE'05 Proceedings of the 8th international conference, held as part of the joint European Conference on Theory and Practice of Software conference on Fundamental Approaches to Software Engineering
A lightweight coordination calculus for agent systems
DALT'04 Proceedings of the Second international conference on Declarative Agent Languages and Technologies
Evolution of process choreographies in DYCHOR
ODBASE'06/OTM'06 Proceedings of the 2006 Confederated international conference on On the Move to Meaningful Internet Systems: CoopIS, DOA, GADA, and ODBASE - Volume Part I
DecSerFlow: towards a truly declarative service flow language
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Nested dynamic condition response graphs
FSEN'11 Proceedings of the 4th IPM international conference on Fundamentals of Software Engineering
Declarative modelling and safe distribution of healthcare workflows
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
Declarative modelling and safe distribution of healthcare workflows
FHIES'11 Proceedings of the First international conference on Foundations of Health Informatics Engineering and Systems
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 a formal technique for safe distribution of workflow processes described declaratively as nested Dynamic Condition Response (DCR) Graphs and apply the technique to a distributed healthcare workflow. Concretely, we provide a method to synthesize from a nested DCR Graph and any distribution of its atomic events a set of local process graphs communicating by shared events, such that the distributed execution of the local processes is equivalent to executing the original process. The technique extends our recent work on safe distribution of non-nested DCR Graphs applied to cross-organizational case management. The main contributions of the present paper is to adapt the technique to allow for nested processes and milestones and to apply it to a healthcare workflow identified in a previous field study at Danish hospitals. We also provide a new formalization of the semantics of DCR Graphs which highlights its declarative nature.