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.

Résumé des informations

Titre: Transformation des diagrammes d‘états-transitions vers Maude
Année de publication: 2011
Pages: 241
N° de catalogue: V919556
ISBN (ebook): 9783346311962
Langue: français
mots-clé: Université de M‘sila des diagrammes d‘états-transitions Maude

Transformation des diagrammes d‘états-transitions vers Maude

Résumé des informations