Communicating machines as a dynamic binding mechanism of services

TL;DR

This paper introduces Communicating Relational Networks (CRNs), a formal model that enhances the analysis of service-oriented software by using choreographies to improve communication and automation in dynamic distributed systems.

Contribution

It proposes CRNs, a novel variant of ARNs, leveraging choreographies to better characterize communication in distributed software and enable more efficient automated analysis.

Findings

CRNs improve the efficiency of analyzing service-oriented architectures.

CRNs provide a formal framework for modeling communication in dynamic distributed systems.

The approach enhances automation in the design and analysis of service choreography.

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.