Raffinement et Refactoring de spécifications UML
Contribution à l'ingénierie des systèmes - Raffinement et Refactoring de spécifications UML
La spécification de systèmes complexes est une tâche difficile qui ne peut être accomplie en une seule étape.
Dans les méthodes formelles, le concept de raffinement a donné lieu à de nombreux travaux dans lesquels la preuve de la correction entre les différents états de spécifications joue un rôle important.
L'activité de refactoring consiste à restructurer un modèle en vue d'améliorer certains facteurs de qualité, tout en préservant la cohérence de ce modèle.Ce travail préconise l'utilisation de deux techniques de raffinement et de refactoring afin d'établir des modèles UML de qualité c'est-à-dire corrects par construction, extensibles, réutilisables et efficaces.
En outre, elle plaide en faveur de l'utilisation conjointe UML (semi-formel) et B et CSP (formels).
Les principales contributions de ce travail sont: proposition des patterns de raffinement de diagrammes de classes UML/OCL afin de guider le concepteur lors de la modélisation statique de son application et proposition des schémas de refactoring des modèles UML décrits par des diagrammes de classes, contraintes OCL et diagrammes d'états-transitions afin d'aider le concepteur lors de la restructuration des modèles UML.
Boulbaba Ben Ammar, docteur en informatique et Assistant à l'Université de Sfax, Tunisie.
Fiche technique
- Auteur
- Boulbaba Ben Ammar
- Langue
- Français
- Éditeur
- Éditions universitaires européennes
- Pages
- 184
- Pays
- Tunisie
30 autres produits dans la même catégorie :
Voir toutConception et réalisation d’une base de données pour la gestion
- Nouveau
Les Systèmes de Recommandation à Base de Filtrage Collaboratif
- Nouveau
Conception et réalisation d'une application de gestion des palmarès
- Nouveau
Mise en place d'un réseau informatique local avec connexion internet
- Nouveau
Répartition simultanée des nœuds dans un réseau de radio cognitive
- Nouveau
Vers une approche de monitoring des applications orientées services
- Nouveau
Le traitement des classes déséquilibrées par les méthodes ensemblistes
- Nouveau