Developing correct, distributed, adaptive software

Preda, Mila Dalla; Gabbrielli, Maurizio; Giallorenzo, Saverio; Lanese, Ivan; Mauro, Jacopo

doi:10.1016/j.scico.2013.11.019

Cited by 8 publications

(1 citation statement)

References 21 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…The distributed approach recalls that of choreography languages like WS-CDL [13]. Recent works [14,15] introduced automatic techniques to project executable services of an SOA from a choreographic specification. Following a similar approach in the distributed version of a WP we maintain a direct relation between transitions and services, imposing no restrictions on the scope of external input and output operations.…”

Section: From Coloured Petri Nets To Jolie Soasmentioning

confidence: 99%

Service-Oriented Architectures: from Design to Production exploiting Workflow Patterns

GIALLORENZO¹,

GABBRIELLI²,

Montesi³

2014

ADCAIJ

View full text Add to dashboard Cite

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.

show abstract

Section: From Coloured Petri Nets To Jolie Soasmentioning

confidence: 99%