The interdisciplinary study of coordination
ACM Computing Surveys (CSUR)
An overview of workflow management: from process modeling to workflow automation infrastructure
Distributed and Parallel Databases - Special issue on software support for work flow management
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Distributed Algorithms
Introduction to Automata Theory, Languages and Computability
Introduction to Automata Theory, Languages and Computability
Workflow Management in the Internet Age
ADBIS '98 Proceedings of the Second East European Symposium on Advances in Databases and Information Systems
Inter-operability of Workflow Applications: Local Criteria for Global Soundness
Business Process Management, Models, Techniques, and Empirical Studies
IEEE Internet Computing
B2b Integration
Architectural styles and the design of network-based software architectures
Architectural styles and the design of network-based software architectures
Classification of ad-hoc multi-lateral collaborations based on local workflow models
Proceedings of the 2003 ACM symposium on Applied computing
Matchmaking for Business Processes Based on Choreographies
EEE '04 Proceedings of the 2004 IEEE International Conference on e-Technology, e-Commerce and e-Service (EEE'04)
Loosely Coupled: The Missing Pieces of Web Services
Loosely Coupled: The Missing Pieces of Web Services
Transforming BPEL into Annotated Deterministic Finite State Automata for Service Discovery
ICWS '04 Proceedings of the IEEE International Conference on Web Services
IPSI-PF: A Business Process Matchmaking Engine
CEC '04 Proceedings of the IEEE International Conference on E-Commerce Technology
Requirements for Workflow Modeling in P2P-Workflows Derived from Collaboration Establishment
DEXA '04 Proceedings of the Database and Expert Systems Applications, 15th International Workshop
Formal specification and verification of asynchronously communicating web services
Formal specification and verification of asynchronously communicating web services
The Anatomy of the Grid: Enabling Scalable Virtual Organizations
International Journal of High Performance Computing Applications
The view-based approach to dynamic inter-organizational workflow cooperation
Data & Knowledge Engineering
| Hi-index | 0.00 |
Service oriented architectures facilitate loosely coupled collaborations, which are established in a decentralized way. One challenge for such collaborations is to guarantee consistency, that is, fulfillment of all constraints of individual services and deadlock-freeness. This paper presents an overview on a decentralized approach to consistency checking, which utilizes only bilateral views of the collaboration.