- Tytuł:
- Transformation of Dynamic Aspects of Uml Models Into Lotos Behaviour Expressions
- Autorzy:
-
Hnatkowska, B.
Huzar, Z. - Powiązania:
- https://bibliotekanauki.pl/articles/908339.pdf
- Data publikacji:
- 2001
- Wydawca:
- Uniwersytet Zielonogórski. Oficyna Wydawnicza
- Tematy:
-
informatyka
programowanie
statecharts
UML
LOTOS - Opis:
- 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.
- Źródło:
-
International Journal of Applied Mathematics and Computer Science; 2001, 11, 2; 537-556
1641-876X
2083-8492 - Pojawia się w:
- International Journal of Applied Mathematics and Computer Science
- Dostawca treści:
- Biblioteka Nauki
Artykuł