A generalised theory of Interface Automata, component compatibility and error





Professorship/Faculty: 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
Issue: First Online: 17 April 2018
Pages: 1-33
Language(s): English
DOI: 10.1007/s00236-018-0319-8
URL: https://doi.org/10.1007/s00236-018-0319-8
Abstract: 
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.
Document Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/44798
Release Date: 16. November 2018