A Generalised Theory of Interface Automata, Component Compatibility and Error



Professorship/Faculty: Lehrstuhl für Praktische Informatik, insbesondere Softwaretechnik und Programmiersprachen 
Author(s): Fendrich, Sascha; Lüttgen, Gerald  
ISSN: 0937-3349
Publisher Information: Bamberg : opus
Year of publication: 2016
Pages / Size: 27 S. : Ill.
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
Document Type: Other
Abstract: 
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.
SWD Keywords: Softwareentwicklung ; Softwarekomponentenmodell ; Nebenläufigkeit ; Online-Publikation
Keywords: Interface Automata, Modal Transition Systems, Component-based Design, Concurrency, Error States
DDC Classification: 004 Computer science 
RVK Classification: ST 280   
URI: https://fis.uni-bamberg.de/handle/uniba/40287
Release Date: 16. March 2016

File SizeFormat  
BBWIAI98Emiak.pdf494.57 kBAdobe PDFView/Open