Realisability of Global Models of Interaction

Beek, Maurice H. ter ; Hennicker, Rolf und Proença, José (2023): Realisability of Global Models of Interaction. 20th International Colloquium on Theoretical Aspects of Computing (ICTAC), Lima, Peru, 04 - 08 December 2023. Ábrahám, Erika; Dubslaff, Clemens und Tapia Tarifa, Silvia Lizeth (eds.) : In: Theoretical Aspects of Computing – ICTAC 2023, Lecture Notes in Computer Science Vol. 14446 Cham: Springer. pp. 236-255

Abstract

We consider global models of communicating agents specified as transition systems labelled by interactions in which multiple senders and receivers can participate. A realisation of such a model is a set of local transition systems—one per agent—which are executed concurrently using synchronous communication. Our core challenge is how to check whether a global model is realisable and, if it is, how to synthesise a realisation. We identify and compare two variants to realise global interaction models, both relying on bisimulation equivalence. Then we investigate, for both variants, realisability conditions to be checked on global models. We propose a synthesis method for the construction of realisations by grouping locally indistinguishable states. The paper is accompanied by a tool that implements realisability checks and synthesises realisations.

• Item Type: Conference or Workshop Item (Paper)
• Faculties: Mathematics, Computer Science and Statistics > Computer Science
• Subjects: 000 Computer science, information and general works > 004 Data processing computer science
• ISBN: 978-3-031-47962-5 ; 978-3-031-47963-2
• ISSN: 0302-9743
• Place of Publication: Cham
• Language: English