Reasoning about infinite computations
Information and Computation
Declarative workflows that support easy modification and dynamic browsing
WACC '99 Proceedings of the international joint conference on Work activities coordination and collaboration
The object data standard: ODMG 3.0
The object data standard: ODMG 3.0
Conversation Support for Business Process Integration
EDOC '02 Proceedings of the 6th International Enterprise Distributed Object Computing Conference
Conversation specification: a new approach to design and analysis of e-service composition
WWW '03 Proceedings of the 12th international conference on World Wide Web
Analysis of interacting BPEL web services
Proceedings of the 13th international conference on World Wide Web
Business artifacts: An approach to operational specification
IBM Systems Journal
Theoretical Computer Science - Implementation and application of automata
Web Service Choreography Configurations for BPMN
Service-Oriented Computing - ICSOC 2007 Workshops
Towards a theory of web service choreographies
WS-FM'07 Proceedings of the 4th international conference on Web services and formal methods
Realizability is controllability
WS-FM'09 Proceedings of the 6th international conference on Web services and formal methods
Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language
The 10th International Conference on Autonomous Agents and Multiagent Systems - Volume 2
Let's dance: a language for service behavior modeling
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
Choreography and orchestration conformance for system design
COORDINATION'06 Proceedings of the 8th international conference on Coordination Models and Languages
Decidability results for choreography realization
ICSOC'11 Proceedings of the 9th international conference on Service-Oriented Computing
Data management perspectives on business process management: tutorial overview
Proceedings of the 2013 ACM SIGMOD International Conference on Management of Data
Hi-index | 0.00 |
A choreography models a collaboration among multiple participants. Existing choreography specification languages focus mostly on message sequences and are weak in modeling data shared by participants and used in sequence constraints. They also assume a fixed number of participants and make no distinction between participant type and participant instances. Artifact-centric business process models give equal considerations on modeling both data and control flow of activities. These models provide a solid foundation for choreography specification. This paper makes two contributions. First, we develop a choreography language with four new features: (1) Each participant type is an artifact schema with (a part of) its information model visible to choreography specification. (2) Participant instance level correlations are supported and cardinality constraints on such correlations can be explicitly defined. (3) Messages have data models, both message data and artifact data can be used in specifying choreography constraints. (4) The language is declarative based on a mixture of first order logic and a set of binary operators from DecSerFlow. Second, we develop a realization mechanism and show that a subclass of the choreography specified in our language can always be realized. The mechanism consists of a coordinator running with each artifact instance and a message protocol among participants.