Projectable semantics for Statecharts 1
نویسندگان
چکیده
It has been proved that it is impossible to combine in one semantics for reactive systems the notions of modularity, causality and synchronous hypothesis. This limits bottom-up development of speciications. In this paper we introduce the notion of projectability, which is weaker than modularity, we deene a non global consistent semantics for Statecharts that enforces projectability, causality and synchronous hypothesis, and we prove that no global consistent semantics for Statecharts can enforce these three notions.
منابع مشابه
Projectable Semantics for Statecharts
Statecharts is a language for the speciication of reactive systems. Semantics of Statecharts enforcing causality and synchronous hypothesis cannot be modular, and therefore do not allow general bottom-up construction of speciication and reuse of components. In this paper we propose both a global-consistent and a non global-consistent semantics which, in contrast to the known ones, are projectab...
متن کاملSystem Model Semantics of Statecharts
In this report, semantics for Statecharts is defined based on a mathematical model of object systems called"system model". The semantics definition is detailed for UML/P Statecharts, a variant of Statecharts which restricts the use of a few methodologically and semantically difficult concepts. After transforming full UML/P Statecharts to simplified but semantically equivalent Statecharts, the s...
متن کاملStream Semantics for Mini-Statecharts
Statecharts are well accepted in industrial applications for specifying reactive, embedded systems. Unfortunately, until now, a reference semantics has not been developed and therefore the semantics of Statecharts is still of interest in the science community. This paper presents a compositional, denotational semantics, based on stream processing functions, for a special subclass of Statecharts...
متن کاملEquivalences of Statecharts
We present a new semantics of Statecharts that excludes failures and a compositional formulation of this semantics based on Labelled Transition Systems (LTS). We consider a hierarchy of LTS equivalences and we study their congruence properties w.r. to statechart operators. 1 I n t r o d u c t i o n Statecharts are a specification language for reactive systems, introduced originally in [4]. The ...
متن کاملStatecharts: From Visual Syntax to Model-Theoretic Semantics
This paper presents a novel model–theoretic account of Harel, Pnueli and Shalev’s original step semantics of the visual specification language Statecharts. The graphical syntax of a Statechart is read, directly and structurally, as a formula in propositional logic. This proposition captures all the logical constraints imposed by the diagram on the Statechart’s semantics, i.e., the possible sets...
متن کامل