Réinitialiser mot de passe
E-mail
Password
RNTI

MODULAD
Une nouvelle méthode graphique pour interroger et vérifier des diagrammes de classes UML
In AEGC 2005, vol. RNTI-E-5, pp.7-12
Résumé
UML est le langage graphique de référence dans l'industrie
pour la modélisation objet. Cependant UML reste un langage, et ne fournit
aucun moyen de vérification ou d'interrogation de ses schémas. Il existe
aujourd'hui des outils de vérification, mais ils se comportent comme des
boîtes noires où l'utilisateur ne peut accéder. Nous proposons une méthode
graphique de vérification et d'interrogation de diagrammes de classes
UML. L'aspect intuitif et dessinable de notre méthode offre à l'utilisateur
la possibilité d'interroger le contenu de diagrammes de classes, ainsi
que de définir et d'adapter ses propres critères de vérification. Le modèle
calculatoire de notre approche est celui des graphes conceptuels