Alfaro and Henzinger use alternating simulation in a two player game as a refinement for interface automata [1]. We show that interface automata correspond to a subset of modal transition systems of Larsen and Thomsen [2], on which alternating simulation coincides with modal refinement. As a consequence a more expressive interface theory may be built, by a simple generalization from interface automata to modal automata. We define modal I/O automata, an extension of interface automata with modality. Our interface theory that follows can express liveness properties, disallowing trivial implementations of interfaces, a problem that exists for theories build around simulation preorders. In order to further exemplify the usefulness of modal I/O automata, we construct a behavioral variability theory for product line development. © Springer-Verlag Berlin Heidelberg 2007.
CITATION STYLE
Larsen, K. G., Nyman, U., & Wa̧sowski, A. (2007). Modal I/O automata for interface and product line theories. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 4421 LNCS, pp. 64–79). Springer Verlag. https://doi.org/10.1007/978-3-540-71316-6_6
Mendeley helps you to discover research relevant for your work.