1602.03597v1.pdf (130.01 kB)
Communicating machines as a dynamic binding mechanism of services
journal contributionposted on 2016-04-07, 09:08 authored by I. Vissani, C. G. L. Pombo, Emilio Tuosto
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.
CitationElectronic Proceedings in Theoretical Computer Science (EPTCS) 203, 2016, pp. 85-98, 2016
Author affiliation/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science
SourceEighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, London, UK, 18th April 2015
- VoR (Version of Record)