International Journal of applied mathematics and computer science

online read us now

Paper details

Number 2 - June 2001
Volume 11 - 2001

Transformation of dynamic aspects of UML models into LOTOS behaviour expressions

Bogumiła Hnatkowska, Zbigniew Huzar

Abstract
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.

Keywords
statecharts, UML, LOTOS