Log In Sign Up

Global Types for Open Systems

by   Franco Barbanera, et al.

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.


page 1

page 2

page 3

page 4


Open Multiparty Sessions

Multiparty sessions are systems of concurrent processes, which allow sev...

Deconfined Global Types for Asynchronous Sessions

Multiparty sessions with asynchronous communications and global types pl...

Haptic User Interfaces and Practice-based Learning for Minimally Invasive Surgical Training

Recent advances in haptic hardware and software technology have generate...

A Computational Framework for Adaptive Systems and its Verification

Modern computer systems are inherently distributed and feature autonomou...

Comprehensive Multiparty Session Types

Multiparty session types (MST) are a well-established type theory that d...

Generativity and Interactional Effects: an Overview

We propose a means to relate properties of an interconnected system to i...