University of Leicester
Browse
1602.03597v1.pdf (130.01 kB)

Communicating machines as a dynamic binding mechanism of services

Download (130.01 kB)
journal contribution
posted 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.

History

Citation

Electronic Proceedings in Theoretical Computer Science (EPTCS) 203, 2016, pp. 85-98, 2016

Author affiliation

/Organisation/COLLEGE OF SCIENCE AND ENGINEERING/Department of Computer Science

Source

Eighth International Workshop on Programming Language Approaches to Concurrency- and Communication-cEntric Software, London, UK, 18th April 2015

Version

  • VoR (Version of Record)

Published in

Electronic Proceedings in Theoretical Computer Science (EPTCS) 203

Publisher

Open Publishing Association

issn

2075-2180

Copyright date

2016

Available date

2016-04-07

Publisher version

http://eptcs.web.cse.unsw.edu.au/paper.cgi?PLACES2015.7

Language

en

Usage metrics

    University of Leicester Publications

    Categories

    Keywords

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC