%0 Journal Article %1 jin_04_method %A Jin, Yan %A Esser, Robert %A Janneck, Jörn W. %D 2004 %J Software and Systems Modeling %K _hardcopy 2004 semantics statecharts _folder_3 uml %N 2 %P 150--163 %R 10.1007/s10270-003-0046-6 %T A method for describing the syntax and semantics of UML statecharts %U http://dx.doi.org/10.1007/s10270-003-0046-6 %V V3 %X In this article we present a method for describing the language of UML statecharts. Statecharts are syntactically defined as attributed graphs, with well-formedness rules specified by a set of first-order predicates over the abstract syntax of the graphs. The dynamic semantics of statecharts is defined by Abstract State Machines parameterized with syntactically-correct attributed graphs. The presented approach covers many important constructs of UML statecharts, including internal, completion, interlevel and compound transitions as well as history pseudostates. It also contains strategies to handle state entry/exit actions, state activities, synch states and choice pseudostates.

@article{jin_04_method, abstract = {In this article we present a method for describing the language of UML statecharts. Statecharts are syntactically defined as attributed graphs, with well-formedness rules specified by a set of first-order predicates over the abstract syntax of the graphs. The dynamic semantics of statecharts is defined by Abstract State Machines parameterized with syntactically-correct attributed graphs. The presented approach covers many important constructs of UML statecharts, including internal, completion, interlevel and compound transitions as well as history pseudostates. It also contains strategies to handle state entry/exit actions, state activities, synch states and choice pseudostates.}, added-at = {2009-02-12T11:31:38.000+0100}, author = {Jin, Yan and Esser, Robert and Janneck, J"{o}rn W.}, biburl = {https://www.bibsonomy.org/bibtex/2745fa9aa9eb86fc74c8d6608b9ef3ebe/leonardo}, citeulike-article-id = {887994}, doi = {10.1007/s10270-003-0046-6}, interhash = {3e27a3d068cb9538518b5db0e86c0e9e}, intrahash = {745fa9aa9eb86fc74c8d6608b9ef3ebe}, journal = {Software and Systems Modeling}, keywords = {_hardcopy 2004 semantics statecharts _folder_3 uml}, month = May, number = 2, pages = {150--163}, posted-at = {2006-10-07 02:03:34}, priority = {3}, timestamp = {2009-02-12T11:31:38.000+0100}, title = {A method for describing the syntax and semantics of UML statecharts}, url = {http://dx.doi.org/10.1007/s10270-003-0046-6}, volume = {V3}, year = 2004 }