%0 Conference Paper %1 prochnow_06_comfortable %A Prochnow, S. %A von Hanxleden, R. %D 2006 %J Design, Automation and Test in Europe, 2006. DATE '06. Proceedings %K _hardcopy 2006 reactive_systems semantics statecharts _no_doi %P 1--2 %T Comfortable Modeling of Complex Reactive Systems %U http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1656952 %V 1 %X Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications often results in very large and unmanageable graphics, severely compromising their readability and practical use. To overcome this, we present a methodology to support the easy development and understanding of complex Statecharts. Central to our approach is the definition of a Statechart Normal Form (SNF), which provides a standardized layout that is compact and makes systematic use of secondary notations to aid readability. This concept is extended to dynamic Statecharts.

@inproceedings{prochnow_06_comfortable, abstract = {Modeling systems based on semi-formal graphical formalisms, such as Statecharts, has become standard practice in the design of reactive embedded devices. However, the modeling of realistic applications often results in very large and unmanageable graphics, severely compromising their readability and practical use. To overcome this, we present a methodology to support the easy development and understanding of complex Statecharts. Central to our approach is the definition of a Statechart Normal Form (SNF), which provides a standardized layout that is compact and makes systematic use of secondary notations to aid readability. This concept is extended to dynamic Statecharts.}, added-at = {2009-02-11T20:58:37.000+0100}, author = {Prochnow, S. and von Hanxleden, R.}, biburl = {https://www.bibsonomy.org/bibtex/2a5bbbcc466175aa88cb472dec43eb488/leonardo}, citeulike-article-id = {1177316}, interhash = {cb4fab59ba517e56ebad4b7b20dada7e}, intrahash = {a5bbbcc466175aa88cb472dec43eb488}, journal = {Design, Automation and Test in Europe, 2006. DATE '06. Proceedings}, keywords = {_hardcopy 2006 reactive_systems semantics statecharts _no_doi}, pages = {1--2}, posted-at = {2007-03-20 12:32:27}, priority = {3}, timestamp = {2009-02-11T20:58:37.000+0100}, title = {Comfortable Modeling of Complex Reactive Systems}, url = {http://ieeexplore.ieee.org/xpls/abs_all.jsp?arnumber=1656952}, volume = 1, year = 2006 }