%0 Book Section %1 kwon_00_rewrite %A Kwon, Gihwon %D 2000 %J «UML» 2000 �? The Unified Modeling Language %K model\_checking semantics statecharts \_pdf uml 2000 %P 528--540 %R http://dx.doi.org/10.1007/3-540-40011-7\_39 %T Rewrite Rules and Operational Semantics for Model Checking UML Statecharts %U http://dx.doi.org/10.1007/3-540-40011-7\_39 %X Model checking of UML statecharts is the main concern of this paper. To model check it, however, its description has to be translated into the input language of the model checker SMV. For the purpose of translating UML statecharts as closely as possible into SMV, we use rewrite rules and its operational semantics.

@incollection{kwon_00_rewrite, abstract = {Model checking of UML statecharts is the main concern of this paper. To model check it, however, its description has to be translated into the input language of the model checker SMV. For the purpose of translating UML statecharts as closely as possible into SMV, we use rewrite rules and its operational semantics.}, added-at = {2009-03-10T04:33:56.000+0100}, author = {Kwon, Gihwon}, biburl = {https://www.bibsonomy.org/bibtex/21169c61942b798f9e39973901a549391/leonardo}, citeulike-article-id = {2281494}, doi = {http://dx.doi.org/10.1007/3-540-40011-7\_39}, interhash = {dde1045d3ccc0d468f6ecfdc47e868f3}, intrahash = {1169c61942b798f9e39973901a549391}, journal = {\^{A}«UML\^{A}» 2000 \^{a}€�? The Unified Modeling Language}, keywords = {model\_checking semantics statecharts \_pdf uml 2000}, pages = {528--540}, posted-at = {2008-01-23 18:33:43}, priority = {4}, timestamp = {2009-03-10T04:33:56.000+0100}, title = {Rewrite Rules and Operational Semantics for Model Checking UML Statecharts}, url = {http://dx.doi.org/10.1007/3-540-40011-7\_39}, year = 2000 }