Book ChapterDOI
Bridging refinement of interface automata to forward simulation of I/O automata
Yanjun Wen,Ji Wang,Zhichang Qi +2 more
- pp 259-273
TLDR
It is proven that an interface automaton refines another if and only if there exists a special kind of forward simulation between their corresponding I/O automata, which shows the essential relation between interface automata and I/o automata on refinements.Abstract:
Interface automata is a formal model to be used for describing the temporal interface behaviors of software components. It adopts an alternating approach to design refinement, which is significantly different with the traditional use of automata. In this paper, it is proven that an interface automaton refines another if and only if there exists a special kind of forward simulation between their corresponding I/O automata, which shows the essential relation between interface automata and I/O automata on refinements.read more
Citations
More filters
Journal Article
Synchronous and bidirectional component interfaces
TL;DR: In this article, the authors present interface models that describe both the input assumptions of a component and its output behavior, and provide a compatibility check for component-based design, enabling us to check that the output behavior of the component satisfies the design specification only when the inputs assumptions of the specification are satisfied.
Modelling and Formal Analysis of Component-Based Systems in View of Component Interaction
TL;DR: In this paper, the authors define a formalism for Component-Interaction automaty, a definovane ekvivalenci mezi jednotlivými modely, prace navrhuje přistup k vývoji komponentových systemů garantujici spravnost z podstaty použitý-ch kroků v
Journal ArticleDOI
Generalized interface automata with multicast synchronization
TL;DR: In this article, the authors present multicast interface automata, which generalize the classic interfaces automata and accommodate multicast communication mechanism and endorse both bottom-up and top-down design methodologies.
Generalized interface automata with multicast synchronization
TL;DR: The multicast interface automata endorse both bottom-up and top-down design methodologies and theoretical results on compatibility and refinement are established for incremental design and independent implementability.
Journal ArticleDOI
Scenario-Based Consistency Verification of Component-Based Real-Time System Designs
TL;DR: An algorithm for checking the consistency between the real-time component-based designs and the timing scenario-based specifications is developed.
References
More filters
Proceedings ArticleDOI
Interface automata
TL;DR: This work presents a light-weight formalism that captures the temporal aspects of software component interfaces through an automata-based language that supports automatic compatability checks between interface models, and thus constitutes a type system for component interaction.
Journal Article
An introduction to input/output automata
Nancy Lynch,Mark R. Tuttle +1 more
TL;DR: This paper is intended to introduce researchers to the input output automaton model and examines several illustrative examples concerning candy vending machines and other uses of the model.
Journal ArticleDOI
A Theory of Communicating Sequential Processes
TL;DR: In this article, a mathematical model for communicating sequential processes is given, and a number of its interesting and useful properties are stated and proved, and the possibilities of nondetermimsm are fully taken into account.
Journal Article
A theory of communicating sequential processes
TL;DR: A mathematical model for communicating sequential processes is given, and a number of its interesting and useful properties are stated and proved.
Book ChapterDOI
Modelling recursive calls with UML state diagrams
Jennifer Tenzer,Perdita Stevens +1 more
TL;DR: It is shown that this can lead to anomalous behaviour, and in particular that it is not possible to model recursive calls, in which an object receives a second message whilst still in the process of reacting to the first.