Composition of choreography automata

07/14/2021
by   Franco Barbanera, et al.
0

Choreography automata are an automata-based model of choreographies, that we show to be a compositional one. Choreography automata represent global views of choreographies (and rely on the well-known model of communicating finite-state machines to model local behaviours). The projections of well-formed global views are live as well as lock- and deadlock-free. In the class of choreography automata we define an internal operation of composition, which connects two global views via roles acting as interfaces. We show that under mild conditions the composition of well-formed choreography automata is well-formed. The composition operation enables for a flexible modular mechanism at the design level.

READ FULL TEXT
POST COMMENT

Comments

There are no comments yet.

Authors

page 1

page 2

page 3

page 4

01/23/2018

Higher-dimensional automata modeling shared-variable systems

The purpose of this paper is to provide a construction to model shared-v...
09/09/2019

Compositional Liveness-Preserving Conformance Testing of Timed I/O Automata -- Technical Report

I/O conformance testing theories (e.g., ioco) are concerned with formall...
08/11/2021

Composition Machines: Programming Self-Organising Software Models for the Emergence of Sequential Program Spaces

We are entering a new era in which software systems are becoming more an...
10/22/2017

Timed Concurrent State Machines

Timed Concurrent State Machines are an application of Alur's Timed Autom...
10/30/2018

Domain and range for angelic and demonic compositions

We give finite axiomatizations for the varieties generated by representa...
05/31/2021

Composing Networks of Automated Market Makers

Automated market makers (AMMs) are automata that trade electronic assets...
06/26/2018

A Compositional Approach for Schedulability Analysis of Distributed Avionics Systems

This work presents a compositional approach for schedulability analysis ...
This week in AI

Get the week's most popular data science and artificial intelligence research sent straight to your inbox every Saturday.