Creator:

Hnatkowska, Bogumiła ; Huzar, Zbigniew

Contributor:

Korbicz, Józef - red. ; Uciński, Dariusz - red.

Title:

Transformation of dynamic aspects of UML models into LOTOS behaviour expressions

Group publication title:

AMCS, volume 11 (2001)

Subject and Keywords:

statecharts ; UML ; LOTOS

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.

Publisher:

Zielona Góra: Uniwersytet Zielonogórski

Date:

2001

Resource Type:

artykuł

Pages:

537-556

Source:

AMCS, volume 11, number 2 (2001) ; click here to follow the link

Language:

eng

Rights:

Biblioteka Uniwersytetu Zielonogórskiego