Declarative Choreographies for Artifacts

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.

[1]  Farhad Arbab,et al.  Coordination Models and Languages , 1998, Adv. Comput..

[2]  Anil Nigam,et al.  Business artifacts: An approach to operational specification , 2003, IBM Syst. J..

[3]  Marlon Dumas,et al.  Let's Dance: A Language for Service Behavior Modeling , 2006, OTM Conferences.

[4]  Niels Lohmann,et al.  Artifact-Centric Choreographies , 2010, ICSOC.

[5]  Xiang Fu,et al.  Conversation specification: a new approach to design and analysis of e-service composition , 2003, WWW '03.

[6]  Niels Lohmann,et al.  Decidability Results for Choreography Realization , 2011, ICSOC.

[7]  Pierre Wolper,et al.  Reasoning About Infinite Computations , 1994, Inf. Comput..

[8]  Mathias Weske,et al.  BPEL4Chor: Extending BPEL for Modeling Choreographies , 2007, IEEE International Conference on Web Services (ICWS 2007).

[9]  Niels Lohmann,et al.  Realizability is controllability , 2009, ZEUS.

[10]  M. Hammer,et al.  REENGINEERING THE CORPORATION: A MANIFESTO FOR BUSINESS REVOLUTION , 1995 .

[11]  Riitta Katila,et al.  Exploiting technological opportunities: the timing of collaborations , 2003 .

[12]  Roberto Gorrieri,et al.  Choreography and Orchestration Conformance for System Design , 2006, COORDINATION.

[13]  Oliver Kopp,et al.  Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus , 2010, S-BPM ONE.

[14]  Wil M. P. van der Aalst,et al.  DecSerFlow: Towards a Truly Declarative Service Flow Language , 2006, WS-FM.

[15]  M. Hammer,et al.  Reengineering the Corporation , 1993 .

[16]  R. Milner,et al.  A Theoretical Basis of Communication-Centred Concurrent Programming , 2005 .

[17]  R. G. G. Cattell,et al.  Recent books , 2000, IEEE Spectrum.

[18]  Oliver Kopp,et al.  Web Service Choreography Configurations for BPMN , 2007, ICSOC Workshops.

[19]  Jianwen Su,et al.  Declarative workflows that support easy modification and dynamic browsing , 1999 .

[20]  Xiang Fu,et al.  Conversation protocols: a formalism for specification and verification of reactive electronic services , 2003, Theor. Comput. Sci..

[21]  Munindar P. Singh LoST: Local State Transfer -- An Architectural Style for the Distributed Enactment of Business Protocols , 2011, 2011 IEEE International Conference on Web Services.

[22]  Andrew D. Gordon,et al.  Verified Reference Implementations of WS-Security Protocols , 2006, WS-FM.

[23]  Qing Li,et al.  Challenges and opportunities in collaborative business process management: Overview of recent advances and introduction to the special issue , 2009, Inf. Syst. Frontiers.

[24]  Xiang Fu,et al.  Towards a Theory of Web Service Choreographies , 2007, WS-FM.

[25]  Munindar P. Singh Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language , 2011, AAMAS.

[26]  Santhosh Kumaran,et al.  Conversation support for business process integration , 2002, Proceedings. Sixth International Enterprise Distributed Object Computing.

[27]  Xiang Fu,et al.  Analysis of interacting BPEL web services , 2004, WWW '04.

[28]  Zahir Tari,et al.  On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE, OTM Confederated International Conferences, CoopIS, DOA, GADA, and ODBASE 2006, Montpellier, France, October 29 - November 3, 2006. Proceedings, Part I , 2006, OTM Conferences.