A generalised theory of Interface Automata, component compatibility and error

Faculty/Professorship: Software Technologies  
Author(s): Fendrich, Sascha; Lüttgen, Gerald  
Title of the Journal: Acta Informatica
ISSN: 1432-0525
Publisher Information: Berlin ; Heidelberg [u.a.] : Springer
Year of publication: 2018
Volume: 56
Issue: 4
Pages: 287-319
Language(s): English
DOI: 10.1007/s00236-018-0319-8
URL: https://doi.org/10.1007/s00236-018-0319-8
Interface theories allow system designers to reason about the composability and compatibility of concurrent system components. Such theories often extend both de Alfaro and Henzinger's Interface Automata and Larsen's Modal Transition Systems, which leads, however, to several issues that are undesirable in practice: an unintuitive treatment of specified unwanted behaviour, a binary compatibility concept that does not scale to multi-component assemblies, and compatibility guarantees that are insufficient for software product lines. In this article we show that communication mismatches are central to all these problems and, thus, the ability to represent such errors semantically is an important feature of an interface theory. Accordingly, we present the error-aware interface theory EMIA, where the above shortcomings are remedied by introducing explicit fatal error states. In addition, we prove via a Galois insertion that EMIA is a conservative generalisation of the established Modal Interface Automata theory.
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/44798
Year of publication: 16. November 2018