Communicating machines as a dynamic binding mechanism of services

Ignacio Vissani
(Department of computing, School of Science, Universidad de Buenos Aires)
Carlos Gustavo Lopez Pombo
(Department of computing, School of Science, Universidad de Buenos Aires and Consejo Nacional de Investigaciones Científicas y Tecnológicas)
Emilio Tuosto
(Department of Computer Science, University of Leicester)

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.

In Simon Gay and Jade Alglave: Proceedings Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software (PLACES 2015), London, UK, 18th April 2015, Electronic Proceedings in Theoretical Computer Science 203, pp. 85–98.
Published: 10th February 2016.

ArXived at: http://dx.doi.org/10.4204/EPTCS.203.7 bibtex PDF
References in reconstructed bibtex, XML and HTML format (approximated).
Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org