%0 Conference Paper %1 raghunathan_05_automated %A Raghunathan, B. %A Hartrum, T. C. %D 2005 %J Circuits and Systems, 2005. 48th Midwest Symposium on %K formal 2005 statecharts transformation %P 319--322 Vol. 1 %R 10.1109/MWSCAS.2005.1594103 %T The automated transformation of statecharts from a formal specification to object-oriented software %U http://dx.doi.org/10.1109/MWSCAS.2005.1594103 %X State transition models are frequently used in the specification and design of complex systems. The unified modeling language (UML) includes state transition models in the form of statecharts. State models have been around a long time and are used in many design paradigms from low-level hardware sequential circuit design to more complex finite state automata. The formalisms of state transition models are well known. However, formal techniques for transforming system-level state models into executable code, especially object-oriented code, are not as well developed, and as with most manual techniques are prone to errors. This paper describes an approach to automating this process.

@inproceedings{raghunathan_05_automated, abstract = {State transition models are frequently used in the specification and design of complex systems. The unified modeling language (UML) includes state transition models in the form of statecharts. State models have been around a long time and are used in many design paradigms from low-level hardware sequential circuit design to more complex finite state automata. The formalisms of state transition models are well known. However, formal techniques for transforming system-level state models into executable code, especially object-oriented code, are not as well developed, and as with most manual techniques are prone to errors. This paper describes an approach to automating this process.}, added-at = {2009-02-11T21:03:46.000+0100}, author = {Raghunathan, B. and Hartrum, T. C.}, biburl = {https://www.bibsonomy.org/bibtex/2dac613d3c1081d10ee53aa0914b2cbf6/leonardo}, citeulike-article-id = {1168623}, doi = {10.1109/MWSCAS.2005.1594103}, interhash = {775fb0853bd3fec766cc4574deed6b0c}, intrahash = {dac613d3c1081d10ee53aa0914b2cbf6}, journal = {Circuits and Systems, 2005. 48th Midwest Symposium on}, keywords = {formal 2005 statecharts transformation}, pages = {319--322 Vol. 1}, posted-at = {2007-03-17 13:29:47}, priority = {3}, timestamp = {2009-02-11T21:03:46.000+0100}, title = {The automated transformation of statecharts from a formal specification to object-oriented software}, url = {http://dx.doi.org/10.1109/MWSCAS.2005.1594103}, year = 2005 }