Geodesic
Transformation of Dynamic Aspects of Uml Models Into Lotos Behaviour Expressions
International Journal of Applied Mathematics and Computer Science, Tome 11 (2001) no. 2, pp. 537-556.

Voir la notice de l'article provenant de la source Library of Science

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
Mots-clés : informatyka, programowanie 
@article{IJAMCS_2001_11_2_a11,
     author = {Hnatkowska, B. and Huzar, Z.},
     title = {Transformation of {Dynamic} {Aspects} of {Uml} {Models} {Into} {Lotos} {Behaviour} {Expressions}},
     journal = {International Journal of Applied Mathematics and Computer Science},
     pages = {537--556},
     publisher = {mathdoc},
     volume = {11},
     number = {2},
     year = {2001},
     language = {en},
     url = {http://geodesic.mathdoc.fr/item/IJAMCS_2001_11_2_a11/}
}
TY  - JOUR
AU  - Hnatkowska, B.
AU  - Huzar, Z.
TI  - Transformation of Dynamic Aspects of Uml Models Into Lotos Behaviour Expressions
JO  - International Journal of Applied Mathematics and Computer Science
PY  - 2001
SP  - 537
EP  - 556
VL  - 11
IS  - 2
PB  - mathdoc
UR  - http://geodesic.mathdoc.fr/item/IJAMCS_2001_11_2_a11/
LA  - en
ID  - IJAMCS_2001_11_2_a11
ER  - 
%0 Journal Article
%A Hnatkowska, B.
%A Huzar, Z.
%T Transformation of Dynamic Aspects of Uml Models Into Lotos Behaviour Expressions
%J International Journal of Applied Mathematics and Computer Science
%D 2001
%P 537-556
%V 11
%N 2
%I mathdoc
%U http://geodesic.mathdoc.fr/item/IJAMCS_2001_11_2_a11/
%G en
%F IJAMCS_2001_11_2_a11
Hnatkowska, B.; Huzar, Z. Transformation of Dynamic Aspects of Uml Models Into Lotos Behaviour Expressions. International Journal of Applied Mathematics and Computer Science, Tome 11 (2001) no. 2, pp. 537-556. http://geodesic.mathdoc.fr/item/IJAMCS_2001_11_2_a11/