Marco Autili, Davide Di Ruscio, Amleto Di Salle, Paola Inverardi. Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams. In Federico Ciccozzi, Massimo Tivoli, Jan Carlson, editors, Proceedings of the 1st International Workshop on Model-Driven Engineering for Component-Based Software Systems co-located with ACM/IEEE 17th International Conference on Model Driven Engineering Languages & Systems (MoDELS 2014), Valencia, Spain, September 29, 2014. Volume 1281 of CEUR Workshop Proceedings, pages 67-77, CEUR-WS.org, 2014. [doi]
Abstract is missing.