2016/02/11 by Ignacio Vissani, Carlos Gustavo Lopez Pombo, Emilio Tuosto
Computer Science · #cs.LO
paper · pdf · doi:10.4204/eptcs.203.7
published as EPTCS 203, 2016, pp. 85-98 · In Proceedings PLACES 2015, arXiv:1602.03254
arxiv created 2016/02/11 · arxiv updated 2016/02/12
Distributed software is becoming more and more dynamic to support applications able to respond and adapt to the changes of their execution environment. For instance, service-oriented computing (SOC) envisages applications as services running over globally available computational resources where discovery and binding between them is transparently performed by a middleware. Asynchronous Relational Networks (ARNs) is a well-known formal orchestration model, based on hypergraphs, for the description of service-oriented software artefacts. Choreography and orchestration are the two main design principles for the development of distributed software. In this work, we propose Communicating Relational Networks (CRNs), which is a variant of ARNs, but relies on choreographies for the characterisation of the communicational aspects of a software artefact, and for making their automated analysis more efficient.