PUMA
Istituto di Scienza e Tecnologie dell'Informazione     
Ter Beek M. H., Carmona J., Hennicker R., Kleijn J. Communication requirements for team automata. In: COORDINATION 2017 - Coordination Models and Languages. 19th IFIP WG 6.1 International Conference. Held as Part of the 12th International Federated Conference on Distributed Computing Techniques, DisCoTec 2017 (Neuchâtel, Switzerland, 19-22 June 2017). Proceedings, pp. 256 - 277. J.M. Jacquet, M. Massink (eds.). (Lecture Notes in Computer Science, vol. 10319). Springer, 2017.
 
 
Abstract
(English)
Compatibility of components is an important issue in the quest for systems of systems that guarantee successful communications, free from message loss and indefinite waiting for inputs. In this paper, we investigate compatibility in the context of systems consisting of reactive components which may communicate through the synchronised execution of common actions. We model such systems in the team automata framework, which does not impose any a priori restrictions on the synchronisation policy followed to combine the components. We identify a family of representative synchronisation types based on the number of sending and receiving components participating in synchronisations. Then, we provide a generic procedure to derive, for each synchronisation type, requirements for receptiveness and for responsiveness of team automata that prevent that outputs are not accepted and inputs are not provided, respectively. Due to the genericity of our approach w.r.t. synchronisation policies, we can capture compatibility notions for various multi-component system models known from the literature.
URL: http://https://link.springer.com/chapter/10.1007%2F978-3-319-59746-1_14
DOI: 10.1007/978-3-319-59746-1_14
Subject Team automata
Multi-component systems
Compatibility
Communication Requirements
Synchronisation types
Receptiveness
Responsiveness
F.1.1 COMPUTATION BY ABSTRACT DEVICES. Models of Computation. Automata
F.1.2 COMPUTATION BY ABSTRACT DEVICES. Modes of Computation. Parallelism and concurrency
H.3.4 INFORMATION STORAGE AND RETRIEVAL . Systems and Software. Distributed systems
E.4 CODING AND INFORMATION THEORY. Coding and Information Theory. Formal models of communication


Icona documento 1) Download Document PDF


Icona documento Open access Icona documento Restricted Icona documento Private

 


Per ulteriori informazioni, contattare: Librarian http://puma.isti.cnr.it

Valid HTML 4.0 Transitional