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 of transitions that can be taken together to perform a valid Statecharts step, and their effects on...
%0 Conference Paper
%1 luttgen_01_statecharts
%A Lüttgen, Gerald
%A Mendler, Michael
%B GI Jahrestagung (1)
%D 2001
%K semantics statecharts 2001
%P 615--621
%T Statecharts: From Visual Syntax to Model-Theoretic Semantics
%U http://citeseer.ist.psu.edu/646898.html
%X 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 of transitions that can be taken together to perform a valid Statecharts step, and their effects on...
@inproceedings{luttgen_01_statecharts,
abstract = {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 of transitions that can be taken together to perform a valid Statecharts step, and their effects on...},
added-at = {2009-02-12T11:38:56.000+0100},
author = {L"{u}ttgen, Gerald and Mendler, Michael},
biburl = {https://www.bibsonomy.org/bibtex/234f83a4f97863cf87010a67fbb83caed/leonardo},
booktitle = {GI Jahrestagung (1)},
citeulike-article-id = {2286074},
interhash = {6d6f8e74dc730125540beb927d3c80fe},
intrahash = {34f83a4f97863cf87010a67fbb83caed},
keywords = {semantics statecharts 2001},
pages = {615--621},
posted-at = {2008-01-24 21:37:56},
priority = {2},
timestamp = {2009-02-12T11:38:56.000+0100},
title = {Statecharts: From Visual Syntax to Model-Theoretic Semantics},
url = {http://citeseer.ist.psu.edu/646898.html},
year = 2001
}