Résumé ou Introduction
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.
- Citation du texte
- Anonyme, 2011, Transformation des diagrammes d‘états-transitions vers Maude, Munich, GRIN Verlag, https://www.grin.com/document/919556
Textes similaires
Devenir un auteur
Commentaires