Options
A generalised theory of Interface Automata, component compatibility and error
Fendrich, Sascha; Lüttgen, Gerald (2018): A generalised theory of Interface Automata, component compatibility and error, in: Acta Informatica, Berlin ; Heidelberg [u.a.]: Springer, Jg. 56, Nr. 4, S. 287–319, doi: 10.1007/s00236-018-0319-8.
Faculty/Chair:
Author:
Title of the Journal:
Acta Informatica
ISSN:
1432-0525
Publisher Information:
Year of publication:
2018
Volume:
56
Issue:
4
Pages:
Language:
English
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.
Type:
Article
Activation date:
November 16, 2018
Permalink
https://fis.uni-bamberg.de/handle/uniba/44798