Abstract
In Service-Oriented Architectures (SOA), services are composed by coordinating their communications into a flow of interactions. Coloured Petri nets (CPN) offer a formal yet easy tool for modelling interactions in SOAs, however mapping abstract SOAs into executable ones requires a non-trivial and time-costly analysis. Here, we propose a methodology that maps CPN-modelled SOAs into Jolie SOAs (our target language), exploiting a collection of recurring control-flow patterns, called Workflow Patterns, as composable blocks of the translation. We validate our approach with a realistic use case. In addition, we pragmatically asses the expressiveness of Jolie wrt the considered WPs.
Original language | English |
---|---|
Title of host publication | Distributed Computing and Artificial Intelligence : 11th International Conference, DCAI 2014, Salamanca, Spain, June 4-6, 2014 |
Editors | Sigeru Omatu et al. |
Number of pages | 9 |
Publisher | Springer |
Publication date | 2014 |
Pages | 131-139 |
ISBN (Print) | 978-3-319-07592-1 |
ISBN (Electronic) | 978-3-319-07593-8 |
DOIs | |
Publication status | Published - 2014 |
Event | 11th International Symposium on Distributed Computing and Artificial Intelligence - Salamanca, Spain Duration: 4. Jun 2014 → 6. Jun 2014 Conference number: 11 |
Conference
Conference | 11th International Symposium on Distributed Computing and Artificial Intelligence |
---|---|
Number | 11 |
Country/Territory | Spain |
City | Salamanca |
Period | 04/06/2014 → 06/06/2014 |
Series | Advances in Intelligent Systems and Computing |
---|---|
Volume | 290 |
ISSN | 2194-5357 |