Statecharts are a popular representation technique for conceptual models of the dynamics of a universe of discourse. However, designers are not supported in their work with dynamic models as well as they are for working with static models. We present a meta-model and a formalization of the semantics of a statechart language. Important results are the definition of the equivalence of statecharts and a sound and complete axiomatization of the equivalence. Based on this we define a set of basic...
%0 Conference Paper
%1 frank_00_equivalence
%A Frank, Heinz
%A Eder, Johann
%D 2000
%J Proc. 12th Int^a€™l Conf. on Software and Knowledge Eng.
%K _hardcopy refinement equivalence statecharts _no_doi 2000
%P 150--158
%T Equivalence Transformations on Statecharts
%U http://citeseer.ist.psu.edu/461907.html
%X Statecharts are a popular representation technique for conceptual models of the dynamics of a universe of discourse. However, designers are not supported in their work with dynamic models as well as they are for working with static models. We present a meta-model and a formalization of the semantics of a statechart language. Important results are the definition of the equivalence of statecharts and a sound and complete axiomatization of the equivalence. Based on this we define a set of basic...
@inproceedings{frank_00_equivalence,
abstract = {Statecharts are a popular representation technique for conceptual models of the dynamics of a universe of discourse. However, designers are not supported in their work with dynamic models as well as they are for working with static models. We present a meta-model and a formalization of the semantics of a statechart language. Important results are the definition of the equivalence of statecharts and a sound and complete axiomatization of the equivalence. Based on this we define a set of basic...},
added-at = {2009-02-11T22:25:43.000+0100},
author = {Frank, Heinz and Eder, Johann},
biburl = {https://www.bibsonomy.org/bibtex/20cc650ec2dccc282af14d5f64fc65527/leonardo},
citeulike-article-id = {743467},
interhash = {806f3ad402f4a7978b8fee0006454a6f},
intrahash = {0cc650ec2dccc282af14d5f64fc65527},
journal = {Proc. 12th Int^{a}€™l Conf. on Software and Knowledge Eng.},
keywords = {_hardcopy refinement equivalence statecharts _no_doi 2000},
month = {July},
pages = {150--158},
posted-at = {2006-07-07 00:48:51},
priority = {5},
timestamp = {2009-02-11T22:25:43.000+0100},
title = {Equivalence Transformations on Statecharts},
url = {http://citeseer.ist.psu.edu/461907.html},
year = 2000
}