%0 Book Section %1 fecher_07_uml %A Fecher, Harald %A Schönborn, Jens %B Lecture Notes in Computer Science %D 2007 %J Formal Methods: Applications and Technology %K 2007 semantics \_folder\_3 \_hardcopy statecharts uml20 \_pdf uml %P 244--260 %R http://dx.doi.org/10.1007/978-3-540-70952-7\_16 %T UML 2.0 State Machines: Complete Formal Semantics Via core state machine %U http://dx.doi.org/10.1007/978-3-540-70952-7\_16 %X UML has become the standard modeling language for object-oriented systems. The informal description of UML and its continuous extension cause many ambiguities. Therefore, a formal semantics for UML is necessary, especially for formal reasoning and tool development. We present a formal semantics of UML 2.0 state machines, which are used for modeling the reactive behavior of objects, by (i) deriving core state machines with fewer design features and a precise syntax, (ii) developing a formal semantics for core state machines, and (iii) presenting a complete transformation from UML 2.0 state machines to core state machines. Such a transformational approach provides the opportunity of easy adaption to future changes of the semantics of UML state machines.

@incollection{fecher_07_uml, abstract = {UML has become the standard modeling language for object-oriented systems. The informal description of UML and its continuous extension cause many ambiguities. Therefore, a formal semantics for UML is necessary, especially for formal reasoning and tool development. We present a formal semantics of UML 2.0 state machines, which are used for modeling the reactive behavior of objects, by (i) deriving core state machines with fewer design features and a precise syntax, (ii) developing a formal semantics for core state machines, and (iii) presenting a complete transformation from UML 2.0 state machines to core state machines. Such a transformational approach provides the opportunity of easy adaption to future changes of the semantics of UML state machines.}, added-at = {2009-03-10T04:39:41.000+0100}, author = {Fecher, Harald and Sch\"{o}nborn, Jens}, biburl = {https://www.bibsonomy.org/bibtex/2f9c23a77906dd24456ec1dcd2f1bb337/leonardo}, citeulike-article-id = {1419549}, doi = {http://dx.doi.org/10.1007/978-3-540-70952-7\_16}, interhash = {de4522de98ba68a3563637e5dd2399bd}, intrahash = {f9c23a77906dd24456ec1dcd2f1bb337}, journal = {Formal Methods: Applications and Technology}, keywords = {2007 semantics \_folder\_3 \_hardcopy statecharts uml20 \_pdf uml}, pages = {244--260}, posted-at = {2007-06-28 14:26:40}, priority = {4}, series = {Lecture Notes in Computer Science}, timestamp = {2009-03-10T04:39:41.000+0100}, title = {UML 2.0 State Machines: Complete Formal Semantics Via core state machine}, url = {http://dx.doi.org/10.1007/978-3-540-70952-7\_16}, year = 2007 }