Abstract
A choreography models interoperation among multiple participants in a distributed environment. Existing choreography specification languages focus mostly on message sequences and are weak in modeling data shared by participants and used in sequence constraints. They further assume a fixed number of participants and make no distinction between participant types and participant instances. Artifact-centric business process models give equal considerations on modeling data and on control flow of activities. These models provide a solid foundation for choreography specification. Through a detailed exploration of an example, this paper introduces a choreography language for artifacts that is able to specify data conditions and the instance-level correlations among participants.
Supported in part by a grant from Bosch.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
References
Web Services Business Process Execution Language (BPEL), Version 2.0 (2007). http://docs.oasis-open.org/wsbpel/2.0/wsbpel-v2.0.html
Bultan, T., Fu, X., Hull, R., Su, J.: Conversation specification: a new approach to design and analysis of e-service composition. In: Proceedings of the 12th International Conference on World Wide Web, WWW, pp. 403–410 (2003)
Cattell, R., Barry, D.: The Object Data Standard: ODMG 3.0. Morgan Kaufmann, San Francisco (2000)
Decker, G., Kopp, O., Leymann, F., Weske, M.: BPEL4Chor: extending BPEL for modeling choreographies. In: Proceedings of the 5th International Conference on Web Services, ICWS (2007)
Hanson, J., Nandi, P., Kumaran, S.: Conversation support for business process integration. In: Proceedings Sixth International Enterprise Distributed Object Computing Conference, 2002, EDOC ’02, pp. 65–74 (2002)
Hull, R., Su, J.: Tools for composite web services: a short overview. SIGMOD Rec. 34(2), 86–95 (2005)
Hull, R., Su, J., VaculÃn, R.: Data management perspectives on business process management: tutorial overview. In: SIGMOD Conference, pp. 943–948 (2013)
Nigam, A., Caswell, N.S.: Business artifacts: an approach to operational specification. IBM Syst. J. 42(3), 428–445 (2003)
Peltz, C.: Web services orchestration and choreography. IEEE Comput. 36(10), 46–52 (2003)
Sun, Y., Xu, W., Su, J.: Declarative choreographies for artifacts. In: Liu, C., Ludwig, H., Toumani, F., Yu, Q. (eds.) ICSOC 2012. LNCS, vol. 7636, pp. 420–434. Springer, Heidelberg (2012)
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)
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
Corresponding authors
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2014 Science and Engineering Faculty
About this paper
Cite this paper
Su, J., Sun, Y. (2014). Choreography Revisited. In: Tuosto, E., Ouyang, C. (eds) Web Services and Formal Methods. WS-FM 2013. Lecture Notes in Computer Science(), vol 8379. Springer, Cham. https://doi.org/10.1007/978-3-319-08260-8_2
Download citation
DOI: https://doi.org/10.1007/978-3-319-08260-8_2
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-08259-2
Online ISBN: 978-3-319-08260-8
eBook Packages: Computer ScienceComputer Science (R0)