%0 Journal Article %1 pretschner_07_computing %A Pretschner, Alexander %A Prenninger, Wolfgang %D 2007 %J Software and Systems Modeling %K _hardcopy 2007 semantics statecharts refactoring %N 4 %P 381--399 %R 10.1007/s10270-006-0037-5 %T Computing refactorings of state machines %U http://dx.doi.org/10.1007/s10270-006-0037-5 %V 6 %X For behavior models expressed in statechart-like formalisms, we show how to compute semantically equivalent yet structurally different models. These refactorings are defined by user-provided logical predicates that partition the system^a€™s state space and that characterize coherent parts ^a€“ modes or control states^a€“of the behavior. We embed the refactorings into an incremental development process that uses a combination of both tables and graphically represented state machines for describing systems.

@article{pretschner_07_computing, abstract = {For behavior models expressed in statechart-like formalisms, we show how to compute semantically equivalent yet structurally different models. These refactorings are defined by user-provided logical predicates that partition the system^{a}€™s state space and that characterize coherent parts ^{a}€“ modes or control states^{a}€“of the behavior. We embed the refactorings into an incremental development process that uses a combination of both tables and graphically represented state machines for describing systems.}, added-at = {2009-02-11T20:53:27.000+0100}, author = {Pretschner, Alexander and Prenninger, Wolfgang}, biburl = {https://www.bibsonomy.org/bibtex/2ea6564dd6bb1712ed36f408928ee1b9a/leonardo}, citeulike-article-id = {1072077}, doi = {10.1007/s10270-006-0037-5}, interhash = {226b262674cfbbe92e1475330054ed64}, intrahash = {ea6564dd6bb1712ed36f408928ee1b9a}, journal = {Software and Systems Modeling}, keywords = {_hardcopy 2007 semantics statecharts refactoring}, month = {December}, number = 4, pages = {381--399}, posted-at = {2007-01-28 01:03:01}, priority = {5}, timestamp = {2009-02-11T20:53:27.000+0100}, title = {Computing refactorings of state machines}, url = {http://dx.doi.org/10.1007/s10270-006-0037-5}, volume = 6, year = 2007 }