000K utf8 1100 $c2005 1500 eng 2050 urn:nbn:de:gbv:8:1-zs-00000145-a7 3000 Fecher, Harald 3010 Kyas, Marcel 3010 Schönborn, Jens 4000 Semantic Issues in UML 2.0 State Machines [Fecher, Harald] 4209 A precise semantics for the modeling language UML 2.0 is necessary for code generation and for formal verification of models during the early stages of design. We present a formal semantics of the firing of transitions in UML 2.0 state machines. In particular, we handle shallow/deep history pseudostates, final states, join/fork pseudostates, entry/exit actions and the different kinds of transition. Furthermore, our semantics captures all orderings of actions in a run-to-completion step. We point out ambiguities and uncertainties in the UML 2.0 standard, especially in the meaning of history pseudostates and priority between transitions. We discuss different attempts in resolving these. 4950 https://nbn-resolving.org/urn:nbn:de:gbv:8:1-zs-00000145-a7$xR$3Volltext$534 4961 https://macau.uni-kiel.de/receive/macau_mods_00001899 5051 004