Nondeterministic Modal Interfaces

Faculty/Professorship: Software Technologies  
Author(s): Bujtor, Ferenc; Fendrich, Sascha; Lüttgen, Gerald  ; Vogler, Walter
Title of the compilation: SOFSEM 2015: theory and practice of computer science 41th International Conference on Current Trends in Theory and Practice of Computer Science, Pec pod Sněžkou, Czech Republic, January 24 - 29, 2015 ; proceedings
Corporate Body: SOFSEM <41., 2015, Pec pod Sněžkou>
Publisher Information: Heidelberg [u.a.] : Springer
Year of publication: 2015
Pages: 152-163
ISBN: 978-3-662-46078-8
Series ; Volume: Lecture Notes in Computer Science ; 8939
Language(s): English
DOI: 10.1007/978-3-662-46078-8_13
Interface theories are employed in the component-based design of concurrent systems. They often emerge as combinations of Interface Automata (IA) and Modal Transition Systems (MTS), e.g., Nyman et al.’s IOMTS, Bauer et al.’s MIO, Raclet et al.’s MI or our MIA. In this paper, we generalise MI to nondeterministic interfaces, for which we resolve the longstanding conflict between unspecified inputs being allowed in IA but forbidden in MTS. With this solution we achieve, in contrast to related work, an associative parallel composition, a compositional preorder, a conjunction on interfaces with dissimilar alphabets supporting perspective-based specifications, and a quotienting operator for decomposing nondeterministic specifications in a single theory.
Type: Conferenceobject
Year of publication: 16. July 2015