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