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.
Les modèles constituent le socle de l'architecture pilotée par les modèles ( Model Driven Architecture MDA ). Dans le model driven engineering, un modèle est défini selon la sémantique d'un modèle de modèles appelé métamodèle. Un modèle respectant la...
Une des bonnes pratiques pour un projet de réalisation d'une application informatique est de modéliser les aspects métiers, les besoins, l'analyse et la conception et pourquoi pas aller jusqu'aux modèles de code afin de le générer. Pour disposer d'un...
Réfléchissez à comment vous allez gérer vos differentes versions de modèles dans l'AGL que vous avez choisi pour vos projet. Ne faites pas comme dans ce projet ou MEGA était utilisé sans gestion de version. Au fil des itérations et des évolutions, il...
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...