Abstract
Nowadays, software systems are often built by reusing and integrating existing services distributed over the Internet. Service choreography is a service engineering approach to compose together and coordinate services by specifying their external interactions in terms of flows of peer-to-peer message exchanges, given from a global perspective. BPMN2 offers a dedicated notation, called Choreography Diagrams, to specify service choreographies. However, BPMN2 specifications lack formal semantics causing some misinterpretations by practitioners and researchers. Colored Petri Net (CPN) is a formally proved notation with mathematical semantics and tool support for different analysis techniques. In this paper, we present a mapping to transform BPMN2 Choreography Diagrams into Colored Choreography Nets (CCNs). The latter is a CPN for enabling simulation and analysis of servicechoreographies.
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
Similar content being viewed by others
References
Autili, M., Di Ruscio, D., Di Salle, A., Perucci, A.: CHOReOSynt: enforcing choreography realizability in the future internet. In: Proceedings of the 22nd International Symposium on Foundations of Software Engineering, pp. 723–726 (2014)
Autili, M., Inverardi, P., Tivoli, M.: Automated synthesis of service choreographies. IEEE Softw. 32(1), 50–57 (2015)
Autili, M., Inverardi, P., Tivoli, M.: Choreography realizability enforcement through the automatic synthesis of distributed coordination delegates. Sci. Comput. Program. 160, 3–29 (2018)
Autili, M., Di Ruscio, D., Di Salle, A., Inverardi, P., Tivoli, M.: A model-based synthesis process for choreography realizability enforcement. In: Proceedings of the 16th FASE, pp. 37–52 (2013)
Autili, M., Di Salle, A., Perucci, A., Tivoli, M.: On the automated synthesis of enterprise integration patterns to adapt choreography-based distributed systems. In: Proceedings of the 14th International Workshop on Foundations of Coordination Languages and Self-Adaptive Systems, pp. 33–47 (2015)
Barker, A., Walton, C.D., Robertson, D.: Choreographing web services. IEEE TSC 2(2), 152–166 (2009)
Basu, S., Bultan, T.: Choreography conformance via synchronizability. In: Proceedings of the 20th International Conference on World Wide Web, pp. 795–804 (2011)
Basu, S., Bultan, T.: Automated choreography repair. In: Stevens, P., Wąsowski, A. (eds.) FASE 2016. LNCS, vol. 9633, pp. 13–30. Springer, Heidelberg (2016). https://doi.org/10.1007/978-3-662-49665-7_2
Basu, S., Bultan, T., Ouederni, M.: Deciding choreography realizability. In: Proceedings of the 39th Symposium on Principles of Programming Languages, pp. 191–202. ACM (2012)
Corradini, F., Morichetta, A., Polini, A., Re, B., Tiezzi, F.: Collaboration vs. choreography conformance in BPMN 2.0: from theory to practice. In: 22nd IEEE International Enterprise Distributed Object Computing Conference, pp. 95–104, October 2018
Dechsupa, C., Vatanawood, W., Thongtak, A.: Hierarchical verification for the BPMN design model using state space analysis. IEEE Access 7, 16795–16815 (2019)
Decker, G., Weske, M.: Local enforceability in interaction Petri nets. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 305–319. Springer, Heidelberg (2007). https://doi.org/10.1007/978-3-540-75183-0_22
Deng, X., Lin, Z., Cheng, W., Xiao, R., Fang, L., Li, L.: Modeling web service choreography and orchestration with colored Petri nets. In: Proceedings of the 8th International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel/Distributed Computing, vol. 2, pp. 838–843 (2007)
Gaur, M., Mandal, A.K., Sarkar, A., Debnath, N.C.: Interface driven service composition: a highlevel colored PetriNet based approach. In: 2017 International Conference on Recent Advances in Signal Processing, Telecommunications Computing, pp. 59–64, January 2017
Güdemann, M., Poizat, P., Salaün, G., Ye, L.: VerChor: a framework for the design and verification of choreographies. IEEE TSC 9(4), 647–660 (2016)
Jensen, K., Kristensen, L.M.: Coloured Petri Nets. Springer, Heidelberg (2009). https://doi.org/10.1007/b95112
Lemos, A.L., Daniel, F., Benatallah, B.: Web service composition: a survey of techniques and tools. ACM Comput. Surv. 48(3), 33:1–33:41 (2016)
Poizat, P., Salaün, G.: Checking the realizability of BPMN 2.0 choreographies. In: Proceedings of the 27th Annual ACM Symposium on Applied Computing, pp. 1927–1934. ACM (2012)
Ratzer, A.V., et al.: CPN tools for editing, simulating, and analysing coloured Petri nets. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 450–462. Springer, Heidelberg (2003). https://doi.org/10.1007/3-540-44919-1_28
Salaün, G., Bultan, T., Roohi, N.: Realizability of choreographies using process algebra encodings. IEEE TSC 5(3), 290–304 (2012)
Westergaard, M.: CPN tools 4: multi-formalism and extensibility. In: Colom, J.-M., Desel, J. (eds.) PETRI NETS 2013. LNCS, vol. 7927, pp. 400–409. Springer, Heidelberg (2013). https://doi.org/10.1007/978-3-642-38697-8_22
Acknowledgments
This work was supported by the following projects: (i) INCIPICT (INnovating CIty Planning through Information and Communication Technologies) – Italian MEF, cipe resolution n. 135/2012, (ii) GAUSS (Governing Adaptive and Unplanned Systems of Systems) – Italian MIUR, PRIN 2015 program, contract n. 2015KWREMX, and (iii) ConnectPA (Connect Public Administration) – Italian POR FESR Abruzzo 2014–2020 program, CAR n. 2617 - COR n. 538508.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2020 Springer Nature Switzerland AG
About this paper
Cite this paper
Najem, T., Perucci, A. (2020). Mapping BPMN2 Service Choreographies to Colored Petri Nets. In: Camara, J., Steffen, M. (eds) Software Engineering and Formal Methods. SEFM 2019. Lecture Notes in Computer Science(), vol 12226. Springer, Cham. https://doi.org/10.1007/978-3-030-57506-9_8
Download citation
DOI: https://doi.org/10.1007/978-3-030-57506-9_8
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-030-57505-2
Online ISBN: 978-3-030-57506-9
eBook Packages: Computer ScienceComputer Science (R0)