Résumé: Les diagrammes d‟états-transitions d‟UML décrivent le comportement interne d‟un objet à l‟aide d‟un automate à états finis. Puisque UML est un lagunage semi formel, les diagrammes d‟états-transitions se distinguent par une syntaxe bien définie et une sémantique ambigüe et non précise. Cette approche propose une transformation des diagrammes d'état/Transition vers le langage de réécriture Maude. Cette approche est basée sur la transformation de modèles qui permet de générer du code automatiquement à partir d'un graphe, via une grammaire de Transformation proposée par un outil de multi-modélisation ATOM3. La motivation de cette transformation vers Maude est d‟enrichir la sémantique des diagrammes d‟états –transition.

M'sila:
Langue: Français
Collation: 239 p. ill. ;30 cm.
Diplôme: Magister
Etablissement de soutenance: M'sila, Université Mohamed Boudiaf. Faculté des Mathématiques et de l'Informatique

Note: Bibliogr.pp.224-238