Access the full text.
Sign up today, get DeepDyve free for 14 days.
Loading next page...
/lp/association-for-computing-machinery/the-intuitionism-behind-statecharts-steps-IQouqbZGie
References (30)
-
G. Berry (2000)
The foundations of Esterel -
D. Harel, A. Pnueli, Jeanette Schmidt, R. Sherman (1987)
On the Formal Semantics of Statecharts (Extended Abstract) -
M. Beeck (2000)
A Concise Compositionalj Statecharts Semantics Definition -
N. Leveson, M. Heimdahl, Holly Hildreth, J. Reese (1994)
Requirements Specification for Process-Control SystemsIEEE Trans. Software Eng., 20
-
W. Roever, Michael Mendler (2000)
The Intuitionism Behind Statecharts StepsLecture Notes in Computer Science
-
G. Berry (1996)
The constructive semantics of pure esterel -
A. Simons (2000)
On the Compositional Properties of UML Statechart Diagrams -
Lecture Notes in Computer Science -
C. Huizing, R. Gerth, W. Roever (1988)
Modeling Statecharts Behaviour in a Fully Abstract Way -
G. Berry, E. Sentovich (2000)
An Implementation of Constructive Synchronous Programs in POLISFormal Methods in System Design, 17
-
G. Booch, J. Rumbaugh, I. Jacobson (1998)
The Unified Modeling Language User GuideJ. Database Manag., 10
-
D. Harel (1987)
Statecharts: A Visual Formalism for Complex SystemsSci. Comput. Program., 8
-
Munich Univ. of Tech -
(2000)
ACM Transactions on Computational Logic -
J. Lint, C. Huizing, K. Hee, R. Gerth (1991)
Semantics of reactive systems : comparison and full abstraction -
D. Harel, A. Naamad (1996)
The STATEMATE semantics of statechartsACM Trans. Softw. Eng. Methodol., 5
-
A. Uselton, S. Smolka (1994)
A Compositional Semantics for Statecharts using Labeled Transition Systems -
G. Berry, Georges Gonthier (1992)
The Esterel Synchronous Programming Language: Design, Semantics, ImplementationSci. Comput. Program., 19
-
M. Broy (1997)
Abstract Semantics of Synchronous Languages: The Example Esterel -
R. Alur, Sampath Kannan, M. Yannakakis (1999)
Communicating Hierarchical State Machines -
M. Beeck (1994)
A Comparison of Statecharts Variants -
W. Damm, B. Josko, H. Hungar, A. Pnueli (1997)
A Compositional Real-Time Semantics of STATEMATE Designs -
F. Maraninchi (1992)
Operational and Compositional Semantics of Synchronous Automaton Compositions -
Francesca Levi (1997)
Verification of Temporal and Real-Time Properties of Statecharts -
Gerald Lüttgen, Michael Beeck, Gerald Uttgen, Michael Z
Statecharts via Process Algebra Statecharts via Process Algebra ࣿ -
(1986)
Intuitionistic logic. In Handbook of Philosophical Logic -
Gerald Lüttgen, M. Beeck, R. Cleaveland (2000)
A compositional approach to statecharts semantics -
A. Pnueli, M. Shalev (1991)
What is in a Step: On the Semantics of Statecharts -
(2000)
Received June -
A. Maggiolo-Schettini, A. Peron, S. Tini (1996)
Equivalences of Statecharts
- Publisher
- Association for Computing Machinery
- Copyright
- Copyright © 2002 by ACM Inc.
- ISSN
- 1529-3785
- DOI
- 10.1145/504077.504078
- Publisher site
- See Article on Publisher Site
Abstract
The semantics of Statecharts macro steps, as introduced by Pnueli and Shalev 1991, lacks compositionality. This article first analyzes the compositionality problem and traces it back to the invalidity of the Law of the Excluded Middle. It then characterizes the semantics via a particular class of linear intuitionistic Kripke models. This yields, for the first time in the literature, a simple fully abstract semantics that interprets Pnueli and Shalev's concept of failure naturally. The results not only give insight into the semantic subtleties of Statecharts, but also provide a basis for an implementation, for developing algebraic theories for macro steps, and for comparing different Statecharts variants.
Journal
ACM Transactions on Computational Logic (TOCL) – Association for Computing Machinery
Published: Jan 1, 2002