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]
@inproceedings{AutiliRSI14,
title = {Synthesizing an Automata-based Representation of BPMN2 Choreography Diagrams},
author = {Marco Autili and Davide Di Ruscio and Amleto Di Salle and Paola Inverardi},
year = {2014},
url = {http://ceur-ws.org/Vol-1281/7.pdf},
researchr = {https://researchr.org/publication/AutiliRSI14},
cites = {0},
citedby = {0},
pages = {67-77},
booktitle = {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},
editor = {Federico Ciccozzi and Massimo Tivoli and Jan Carlson},
volume = {1281},
series = {CEUR Workshop Proceedings},
publisher = {CEUR-WS.org},
}