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. © Springer International Publishing Switzerland 2014.
CITATION STYLE
Gabbrielli, M., Giallorenzo, S., & Montesi, F. (2014). Service-Oriented Architectures: From design to production exploiting workflow patterns. In Advances in Intelligent Systems and Computing (Vol. 290, pp. 131–139). Springer Verlag. https://doi.org/10.1007/978-3-319-07593-8_17
Mendeley helps you to discover research relevant for your work.