Name
Abstract | ||
|---|---|---|
Communicating Finite State Machines (CFSMs) are an established model for describing and analysing distributed systems whose concurrently running components communicate via FIFO-channels. Systems of CFSMs are usually considered as closed systems which do not provide access points for communication with the environment. In our study we relax this view such that certain components of a CFSM system can be looked at as describing the behaviour of the environment interacting with the system. They are considered as interfaces and if two systems posses compatible interfaces (according to a natural notion of compatibility) they can be connected. We propose a novel connection mechanism such that interface CFSMs are replaced by automatically generated “gateway” CFSMs, enabling messages to be exchanged between the systems. As a crucial outcome of our approach we prove that, under mild assumptions, if CFSM systems are connected in such a way a number of important communicating properties is preserved: deadlock-freeness, strong deadlock-freeness, orphan-message freeness, freeness of unspecified receptions, and progress. The communication properties we consider are those enjoyed by CFSM systems obtained by end-point projections of certain global type formalisms used in the field of asynchronous multiparty session types. To this end we introduce a parametric syntax to compose global types via interface roles. As a consequence of our preservation results we get for free that composed projected systems enjoy the communication properties. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1016/j.jlamp.2019.07.004 | Journal of Logical and Algebraic Methods in Programming |
Keywords | Field | DocType |
Communicating finite state machine,Communicating system,Composition of open systems,Communication properties,Global type with interface roles | Asynchronous communication,Finite-state machine,Theoretical computer science,Default gateway,Parametric statistics,Open system (systems theory),Syntax,Rotation formalisms in three dimensions,Mathematics | Journal |
Volume | ISSN | Citations |
109 | 2352-2208 | 0 |
PageRank | References | Authors |
0.34 | 0 | 3 |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Franco Barbanera | 1 | 357 | 35.14 |
| Ugo de'Liguoro | 2 | 0 | 0.34 |
| Rolf Hennicker | 3 | 832 | 83.55 |