Les projets informatiques nécessitent une méthode spécifique intégrant un ensemble de bonnes pratiques que l'on peut à loisir enrichir et adapter. Sans la mise en place d'une telle méthode, on s'expose à un gaspillage important de ressources voire faire couler le projet.
Automatisation de la vérification des modèles UML. En s'inspirant des techniques de compilation, la vérification dans le langage UML est découpée en deux parties : syntaxe et sémantique. La syntaxe abstraite (les structures réelles du langage, indépendamment...
Quels besoins en pratique ? La vérification repose sur des descriptions complètes des modèles, une liste exhaustive et cohérente de règles de vérification, un ordre d'application de ces règles. En pratique, elle repose aussi sur une automatisation du...
Vérification croisée des diagrammes de types et d'instances. Il faut bien noter que les diagrammes séquence sont des exemples d'interactions qui doivent respecter les spécifications des diagrammes de types. Tous les diagrammes d'interaction doivent être...
Vérification croisée des actions et des classes Dans un envoi de message, Ie receveur du message est la cible de I'action (msg.receiver = msg . action . target). Si le type de la cible est calculabie statiquement, alors ce type est une classe déclarée....
Vérification du diagramme de classes. Voici quelques exemples de règles à vérifier. Chaque élément de modélisation a un nom unique dans son espace de nommage. Une propriété d'instance ne peut de ce fait avoir le même nom qu'une propriété de classe. Deux...
La vérification du modèle logique est statique c'est-à-dire avant I'implantation du système. La vérification statique prend en compte les combinaisons licites d'éléments de modélisation et des propriétés de la spécification (cohérence, complétude). Elle...
Le niveau physique est basé sur les diagrammes de composants et de déploiement. La cohérence entre ces deux vues du niveau externe est basée simplement sur une association entre éléments et noeuds : un élément est rattaché à des noeuds. Comme pour Ie...
Le niveau externe inclut les diagrammes de cas d'utilisation et les scénarios rattachés à ces diagrammes. La cohérence entre ces deux vues du niveau externe est basée simplement sur une association entre cas d'utilisation (UC) et scénarios : un scénario...
Vérification inter domaine ou inter modèles. La vérification doit établir les correspondances entre éléments de modélisation de niveau (abstraction ou modèle) différent. Tout élément du niveau supérieur a pour cible au moins un élément du niveau inférieur....