Hnatkowska, Bogumiła ; Huzar, Zbigniew
Korbicz, Józef - red. ; Uciński, Dariusz - red.
Transformation of dynamic aspects of UML models into LOTOS behaviour expressions
Group publication title:
Subject and Keywords:
statecharts ; UML ; LOTOS
The lack of formal semantics for the UML creates many ambiguity problems, especially when real-time systems are specified. The paper proposes an approach to a formal definition of UML statecharts. Main features of the UML statecharts are described, and next, a transformation of the UML statecharts into LOTOS is defined.
Zielona Góra: Uniwersytet Zielonogórski
AMCS, volume 11, number 2 (2001) ; click here to follow the link