A Generalised Theory of Interface Automata, Component Compatibility and Error

Faculty/Professorship: Software Technologies  
Author(s): Fendrich, Sascha; Lüttgen, Gerald  
Publisher Information: Bamberg : opus
Year of publication: 2016
Pages: 27 ; Illustrationen
Series ; Volume: Bamberger Beiträge zur Wirtschaftsinformatik und Angewandten Informatik ; 98 
Language(s): English
Licence: German Act on Copyright 
URN: urn:nbn:de:bvb:473-opus4-464051
Interface theories allow systems 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 paper 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 MIA (Modal Interface Automata) theory.
GND Keywords: Softwareentwicklung; Komponentenmodell <Software>; Nebenläufigkeit
Keywords: Interface Automata, Modal Transition Systems, Component-based Design, Concurrency, Error States
DDC Classification: 004 Computer science  
RVK Classification: ST 280   
Type: Other (Publication)
URI: https://fis.uni-bamberg.de/handle/uniba/40287
Year of publication: 21. April 2016

File SizeFormat  
BBWIAI98Emiak.pdf494.57 kBPDFView/Open