Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Exotica: a project on advanced transaction management and workflow systems
ACM SIGOIS Bulletin - Special issue: business process reengineering
Models for concurrency: towards a classification
Theoretical Computer Science
The P2P Approach to Interorganizational Workflows
CAiSE '01 Proceedings of the 13th International Conference on Advanced Information Systems Engineering
A Classification of Models for Concurrency
CONCUR '93 Proceedings of the 4th International Conference on Concurrency Theory
Comparing Transition Systems with Independence and Asynchronous Transition Systems
CONCUR '96 Proceedings of the 7th International Conference on Concurrency Theory
CCS, Location and Asynchronous Transition Systems
Proceedings of the 12th Conference on Foundations of Software Technology and Theoretical Computer Science
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
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
RainMan: a workflow system for the internet
USITS'97 Proceedings of the USENIX Symposium on Internet Technologies and Systems on USENIX Symposium on Internet Technologies and Systems
Optimum Decentralized Choreography for Web Services Composition
SCC '08 Proceedings of the 2008 IEEE International Conference on Services Computing - Volume 2
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
A CORBA compliant transactional workflow system for internet applications
Middleware '98 Proceedings of the IFIP International Conference on Distributed Systems Platforms and Open Distributed Processing
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
Supporting ad-hoc changes in distributed workflow management systems
OTM'07 Proceedings of the 2007 OTM Confederated international conference on On the move to meaningful internet systems: CoopIS, DOA, ODBASE, GADA, and IS - Volume Part I
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
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
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
A process-oriented event-based programming language
Proceedings of the 6th ACM International Conference on Distributed Event-Based 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
Modular context-sensitive and aspect-oriented processes with dynamic condition response graphs
Proceedings of the 12th workshop on Foundations of aspect-oriented languages
Declarative modeling: an academic dream or the future for BPM?
BPM'13 Proceedings of the 11th international conference on Business Process Management
Service subscription and consumption for personal web applications
The Personal Web
Hi-index | 0.00 |
We give a general technique for safe distribution of a declarative (global) process as a network of (local) synchronously communicating declarative processes. Both the global and local processes are given as Dynamic Condition Response (DCR) Graphs. DCR Graphs is a recently introduced declarative process model generalizing labelled prime event structures to a systems model able to finitely represent ω-regular languages. An operational semantics given as a transition semantics between markings of the graph allows DCR Graphs to be conveniently used as both specification and execution model. The technique for distribution is based on a new general notion of projection of DCR Graphs relative to a subset of labels and events identifying the set of external events that must be communicated from the other processes in the network in order for the distribution to be safe. We prove that for any vector of projections that covers a DCR Graph that the network of synchronously communicating DCR Graphs given by the projections is bisimilar to the original global process graph. We exemplify the distribution technique on a process identified in a case study of an cross-organizational case management system carried out jointly with Exformatics A/S.