%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 }