Autor:

Hnatkowska, Bogumiła ; Huzar, Zbigniew

Współtwórca:

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

Tytuł:

Transformation of dynamic aspects of UML models into LOTOS behaviour expressions

Tytuł publikacji grupowej:

AMCS, volume 11 (2001)

Temat i słowa kluczowe:

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.

Wydawca:

Zielona Góra: Uniwersytet Zielonogórski

Data wydania:

2001

Typ zasobu:

artykuł

Strony:

537-556

Źródło:

AMCS, volume 11, number 2 (2001) ; kliknij tutaj, żeby przejść

Jezyk:

eng

Licencja CC BY 4.0:

kliknij tutaj, żeby przejść

Prawa do dysponowania publikacją:

Biblioteka Uniwersytetu Zielonogórskiego