Lüttgen, G. and Mendler, M. (2002) The intuitionism behind statecharts steps. ACM Transactions on Computational Logic, 3 (1). pp. 1-41. ISSN 1529-3785
Full text not available from this repository.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.
| Item Type: | Article |
|---|---|
| Academic Units: | The University of York > Computer Science (York) |
| Depositing User: | York RAE Import |
| Date Deposited: | 13 Aug 2009 10:19 |
| Last Modified: | 13 Aug 2009 10:19 |
| Published Version: | http://dx.doi.org/10.1145/504077.504078 |
| Status: | Published |
| Publisher: | ACM |
| Identification Number: | 10.1145/504077.504078 |
| URI: | http://eprints.whiterose.ac.uk/id/eprint/5514 |
Actions (login required)
 |
View Item |
