Please use this identifier to cite or link to this item:
Title: Communicating machines as a dynamic binding mechanism of services
Authors: Vissani, I.
Pombo, C. G. L.
Tuosto, Emilio
First Published: 10-Feb-2016
Presented at: Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, London, UK, 18th April 2015
Publisher: Open Publishing Association
Citation: Electronic Proceedings in Theoretical Computer Science (EPTCS) 203, 2016, pp. 85-98, 2016
Abstract: 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.
DOI Link: 10.4204/EPTCS.203.7
ISSN: 2075-2180
Version: Publisher Version
Status: Peer-reviewed
Type: Journal Article
Rights: Copyright © 2016, the authors.
Appears in Collections:Published Articles, Dept. of Computer Science

Files in This Item:
File Description SizeFormat 
1602.03597v1.pdfPublished (publisher PDF)130.01 kBAdobe PDFView/Open

Items in LRA are protected by copyright, with all rights reserved, unless otherwise indicated.