Global Types for Open Systems

Franco Barbanera
(Dipartimento di Matematica e Informatica, University of Catania)
Ugo de'Liguoro
(Dipartimento di Informatica, University of Torino)
Rolf Hennicker
(Institute of Informatics, LMU Munich)

Global-type formalisms enable to describe the overall behaviour of distributed systems and at the same time to enforce safety properties for communications between system components. Our goal is that of amending a weakness of such formalisms: the difficulty in describing open systems, i.e. systems which can be connected and interact with other open systems. We parametrically extend, with the notion of interface role and interface connection, the syntax of global-type formalisms. Semantically, global types with interface roles denote open systems of communicating finite state machines connected by means of gateways obtained from compatible interfaces. We show that safety properties are preserved when open systems are connected that way.

In Massimo Bartoletti and Sophia Knight: Proceedings 11th Interaction and Concurrency Experience (ICE 2018), Madrid, Spain, June 20-21, 2018, Electronic Proceedings in Theoretical Computer Science 279, pp. 4–20.
Published: 4th October 2018.

ArXived at: http://dx.doi.org/10.4204/EPTCS.279.4 bibtex PDF

Comments and questions to: eptcs@eptcs.org
For website issues: webmaster@eptcs.org