UTILISER Créez vos diagrammes UML et non seulement avec cet outil.
Télécharger maintenant

UTILISER Classement & Résumé

UTILISER Mots clés

Créer Générateur produire créer un diagramme UML créer des diagrammes créer uml Langue de contrainte d'objet systèmes d'information validation créer des diagrammes d'ascendance

UTILISER La description

L'utilisation est un système pratique spécialement conçu pour la spécification et la validation des systèmes d'information basés sur un sous-ensemble de la langue de modélisation unifiée (UML) et du langage de contrainte d'objet (OCL). Les expressions écrites dans la langue de contrainte d'objet (OCL) sont utilisées pour spécifier des contraintes d'intégrité supplémentaires sur le modèle. Un modèle peut être animé pour valider la spécification contre les exigences non formelles. Les états système (instantanés d'un système d'exécution) peuvent être créés et manipulés lors d'une animation. Pour chaque instantané, les contraintes OCL sont automatiquement vérifiées. Les informations sur un état système sont données par des vues graphiques. Les expressions OCL peuvent être entrées et évaluées pour interroger des informations détaillées sur un état système.

UTILISER Logiciels associés