Transformation des diagrammes d‘états-transitions vers Maude


Thèse de Master, 2011

241 Pages

Anonyme


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.

Résumé des informations

Titre
Transformation des diagrammes d‘états-transitions vers Maude
Année
2011
Pages
241
N° de catalogue
V919556
Langue
Français
mots-clé
Université de M‘sila, des diagrammes d‘états-transitions Maude
Citation du texte
Anonyme, 2011, Transformation des diagrammes d‘états-transitions vers Maude, Munich, GRIN Verlag, https://www.grin.com/document/919556

Commentaires

  • Pas encore de commentaires.
Lire l'ebook
Titre: Transformation des diagrammes d‘états-transitions vers Maude



Télécharger textes

Votre devoir / mémoire:

- Publication en tant qu'eBook et livre
- Honoraires élevés sur les ventes
- Pour vous complètement gratuit - avec ISBN
- Cela dure que 5 minutes
- Chaque œuvre trouve des lecteurs

Devenir un auteur