MetaCartSign in to MyCiteSeer

Include Citations | Advanced Search | Help

Include Citations | Advanced Search | Help

  Fully-abstract Statecharts semantics via intuitionistic Kripke models (2000) [6 citations — 2 self]

Download:
Download as a PDF
by Gerald Luttgen, Michael Mendler
In ICALP 2000, volume 1853 of LNCS
http://www.icase.edu/~luettgen/publications/pdffiles/ICALP2000.pdf
Add To MetaCart

Abstract:

Abstract. The semantics of Statecharts macro steps, as introduced by Pnueli and Shalev, lacks compositionality. This paper rst 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, namely stabilization sequences. This yields, for the rst time in the literature, a simple fullyabstract semantics whichinterprets Pnueli and Shalev's concept of failure naturally. The results not only give insights into the semantic subtleties of Statecharts, but also provide a basis for developing algebraic theories for macro steps and for comparing di erent Statecharts variants. 1

Citations

1719 Statecharts: A Visual Formalism for Complex Systems – Harel - 1987
562 The Esterel synchronous programming language: design, semantics, implementation – Berry, Gonthier - 1992
441 A.: The STATEMATE semantics of statecharts – Harel, Naamad - 1996
281 E.: Executable object modeling with statecharts – Harel, Gery - 1997
91 Operational and Compositional Semantics of Synchronous Automaton Compositions – Maraninchi - 1992
85 What is in a step: On the semantics of Statecharts – Pnueli, Shalev - 1991
63 The constructive semantics of pure Esterel – Berry - 1999
60 Intuitionistic logic – Dalen
46 A.: A compositional real-time semantics of STATEMATE designs – Damm, Josko, et al. - 1998
40 A compositional semantics for Statecharts using labeled transition systems – Uselton, Smolka - 1994
35 Equivalences of Statecharts – Maggiolo-Schettini, Peron, et al. - 1996
27 Communicating hierarchical state machines – Alur, Kannan, et al. - 1999
22 Semantics of Reactive Systems: Comparison and Full Abstraction – Huizing - 1991
22 Modeling Statecharts behavior in a fully abstract way – Huizing, Gerth, et al. - 1988
18 Statecharts via process algebra – Luttgen, Beeck, et al. - 1999
6 Abstract semantics of synchronous languages: The example Esterel – Broy - 1997
1 What is in a step: A fully-abstract semantics for Statecharts macro steps via intuitionistic Kripke models – Luttgen, Mendler - 2000
View or Download | Add to My Collection | Correct Errors