Abstract
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.
Supported in part by NSF grant IIS-0812578 and grants from IBM and Bosch.
Chapter PDF
References
Conversation protocols: a formalism for specification and verification of reactive electronic services. Theo. Comp. Sci. 328(1-2), 19–37 (2004)
Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: Proc. Int. Conf. on World Wide Web, WWW (2003)
Busi, N., Gorrieri, R., Guidi, C., Lucchi, R., Zavattaro, G.: Choreography and Orchestration Conformance for System Design. In: Ciancarini, P., Wiklicky, H. (eds.) COORDINATION 2006. LNCS, vol. 4038, pp. 63–81. Springer, Heidelberg (2006)
Carbone, M., Honda, K., Yoshida, N., Milner, R., Brown, G., Ross-Talbot, S.: A theoretical basis of communication-centred concurrent programming (2006)
Cattell, R., Barry, D.: The Object Data Standard: ODMG 3.0. Morgan Kaufmann (2000)
Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: Extending BPEL for Modeling Choreographies. In: Proc. 5th Int. Conf. on Web Services, ICWS (2007)
Fu, X., Bultan, T., Su, J.: Analysis of interacting BPEL web services. In: Proc. Int. Conf. on World Wide Web, WWW (2004)
Hammer, M., Champy, J.: Reengineering the Corporation: A Menifesto for Business Revolution. Harper Business Press, New York (1993)
Hanson, J., Nandi, P., Kumaran, S.: Conversation support for business process integration. In: Proc. Int. Conf. on Enterprise Distributed Object Computing, EDOC (2002)
Hull, R., Llirbat, F., Simon, E., Su, J., Dong, G., Kumar, B., Zhou, G.: Declarative Workflows that Support Easy Modification and Dynamic Browsing. In: Proc. Int. Joint Conf. on Work Activities Coordination and Collaboration, WACC (1999)
Katila, R., Mang, P.Y.: Exploiting technological oppurtonities: The timing of collaborations. Research Policy 32(2), 317–332 (2003)
Kopp, O., Engler, L., van Lessen, T., Leymann, F., Nitzsche, J.: Interaction Choreography Models in BPEL: Choreographies on the Enterprise Service Bus. In: Fleischmann, A., Schmidt, W., Singer, R., Seese, D. (eds.) S-BPM ONE 2010. CCIS, vol. 138, pp. 36–53. Springer, Heidelberg (2011)
Liu, C., Li, Q., Zhao, X.: Challenges and opportunities in collaborative business process management: Overview of recent advances and introduction to the special issue. Information Systems Frontiers 11(3), 201–209 (2009)
Lohmann, N., Wolf, K.: Artifact-Centric Choreographies. In: Maglio, P.P., Weske, M., Yang, J., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6470, pp. 32–46. Springer, Heidelberg (2010)
Lohmann, N., Wolf, K.: Realizability Is Controllability. In: Laneve, C., Su, J. (eds.) WS-FM 2009. LNCS, vol. 6194, pp. 110–127. Springer, Heidelberg (2010)
Lohmann, N., Wolf, K.: Decidability Results for Choreography Realization. In: Kappel, G., Maamar, Z., Motahari-Nezhad, H.R. (eds.) ICSOC 2011. LNCS, vol. 7084, pp. 92–107. Springer, Heidelberg (2011)
Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal 42(3), 428–445 (2003)
Pfitzner, K., Decker, G., Kopp, O., Leymann, F.: Web Service Choreography Configurations for BPMN. In: Di Nitto, E., Ripeanu, M. (eds.) ICSOC 2007. LNCS, vol. 4907, pp. 401–412. Springer, Heidelberg (2009)
Singh, M.: Information-driven interaction-oriented programming: BSPL, the blindingly simple protocol language. In: Proc. Int. Conf. on Autonomous Agents and Multiagent Systems (AAMAS), pp. 491–498 (2011)
Singh, M.: LoST: Local state transfer. In: Proc. Int. Conf. on Web Services, ICWS (2011)
Su, J., Bultan, T., Fu, X., Zhao, X.: Towards a Theory of Web Service Choreographies. In: Dumas, M., Heckel, R. (eds.) WS-FM 2007. LNCS, vol. 4937, pp. 1–16. Springer, Heidelberg (2008)
van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a Truly Declarative Service Flow Language. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1–23. Springer, Heidelberg (2006)
Vardi, M., Wolper, P.: Reasoning About Infinite Computations. Inf. Comput. 115(1) (1994)
Zaha, J.M., Barros, A., Dumas, M., ter Hofstede, A.: Let’s Dance: A Language for Service Behavior Modeling. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 145–162. Springer, Heidelberg (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2012 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sun, Y., Xu, W., Su, J. (2012). Declarative Choreographies for Artifacts. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds) Service-Oriented Computing. ICSOC 2012. Lecture Notes in Computer Science, vol 7636. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34321-6_28
Download citation
DOI: https://doi.org/10.1007/978-3-642-34321-6_28
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34320-9
Online ISBN: 978-3-642-34321-6
eBook Packages: Computer ScienceComputer Science (R0)