Team Automata@Work: On Safe Communication
- 10 June 2020
- book chapter
- conference paper
- Published by Springer Science and Business Media LLC
- Vol. 12134, 77-85
- https://doi.org/10.1007/978-3-030-50029-0_5
Abstract
We study requirements for safe communication in systems of reactive components in which components communicate via synchronised execution of common actions. These systems are modelled in the framework of team automata in which any number of components can participate—as a sender or as a receiver—in the execution of a communication action. Moreover, there is no fixed synchronisation policy as these policies in general depend on the application. In this short paper, we reconsider the concept of safe communication in terms of reception and responsiveness requirements, originally defined for synchronisation policies determined by a synchronisation type. Illustrated by a motivating example, we propose three extensions. First, compliance, i.e. satisfaction of communication requirements, does not have to be immediate. Second, the synchronisation type (and hence the communication requirements) no longer has to be uniform, but can be specified per action. Third, we introduce final states to be able to distinguish between possible and guaranteed executions of actions.Keywords
This publication has 15 references indexed in Scilit:
- Compatibility in a multi-component environmentTheoretical Computer Science, 2013
- A generic framework for n-protocol compatibility checkingScience of Computer Programming, 2012
- On Weak Modal Compatibility, Refinement, and the MIO WorkbenchLecture Notes in Computer Science, 2010
- Modal I/O Automata for Interface and Product Line TheoriesLecture Notes in Computer Science, 2007
- Modularity for teams of I/O automataInformation Processing Letters, 2005
- Component-interaction automata as a verification-oriented component-based system specificationACM SIGSOFT Software Engineering Notes, 2005
- Team Automata Satisfying CompositionalityPublished by Springer Science and Business Media LLC ,2003
- Synchronizations in Team Automata for Groupware SystemsComputer Supported Cooperative Work (CSCW), 2003
- Input/Output Compatibility of Reactive SystemsLecture Notes in Computer Science, 2002
- Compositional specification and verification of distributed systemsACM Transactions on Programming Languages and Systems, 1994