A linear-time branching-time perspective on interface automata

Faculty/Professorship: Software Technologies  
Author(s): Vogler, Walter; Lüttgen, Gerald  
Publisher Information: Bamberg : Otto-Friedrich-Universität
Year of publication: 2022
Pages: 513-550
Source/Other editions: Acta Informatica, 57 (2020), 3, S. 513-550 - ISSN: 1432-0525
is version of: 10.1007/s00236-020-00369-4
Year of first publication: 2020
Language(s): English
Licence: Creative Commons - CC BY - Attribution 4.0 International 
URN: urn:nbn:de:bvb:473-irb-551700
Over the past two decades, de Alfaro and Henzinger’s interface automata (IA) have become a popular formal framework for the component-based specification of concurrent systems. IA’s parallel composition assumes that a component may wait on inputs but never on outputs, implying that an output must be consumed immediately or a communication error occurs. By now, the literature contains a number of semantics for IA: linear-time semantics based on traces observing communication errors, quiescence and/or divergence, as well as branching-time semantics based on alternating simulation. This article surveys these semantics from Rob van Glabbeek’s linear-time branching-time perspective, which does not consider settings with communication errors. We shed light onto the subtleties implied by IA’s pruning of all behaviour that might lead a component to autonomously enter an error state, and investigate when exactly de Alfaro and Henzinger’s restriction of input-determinism is needed. In addition, we introduce several new semantics for IA, in particular the linear-time ready semantics and the branching-time ready simulation.
GND Keywords: Mensch-Maschine-Schnittstelle; Semantik; Computersimulation; Constraint <Künstliche Intelligenz>; Framework <Informatik>
Keywords: interface automata, semantics, simulation, de Alfaro and Henzinger’s restriction, Glabbeek’s linear-time branching-time perspective
DDC Classification: 004 Computer science  
RVK Classification: ST 233   
Type: Article
URI: https://fis.uni-bamberg.de/handle/uniba/55170
Release Date: 12. September 2022

File SizeFormat  
fisba55170.pdf779.28 kBPDFView/Open