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.
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....
Pour être exploitable concrètement, la vérification doit, au moins en partie, être automatisée. Pour cela, il faut définir formellement les règles et trouver un algorithme qui permette de les vérifier. Il faut aussi trouver des moyens de structuration,...
Il y a trois catégories de propriétés sur lesquelles peut porter Ia vérification : les propriétés du système, les propriétés de la spécification (des modèles) et les propriétés du processus. Les propriétés du système sont relatives aux trois aspects d'un...
La certification des produits (des résultats) du développement du logiciel est une question essentielle dans la bonne marche et dans I'acceptation du produit résultant. Elle peut se mesurer en termes de qualités des spécifications et du logiciel (fiabilité,...
Pour que tous les acteurs de l'urbanisation SI parle le même langage, il est nécessaire de définir les termes métier avec précision dans un glossaire qui assurera la traçabilité dans les différents vues de l'urbanisme SI. Voici quelques conseils pour...
En urbanisation SI, quand il s'agit de modéliser les processus métiers et par la suite quand on passera à la vue fonctionnelle puis applicative il est primordiale d'avoir constituer un glossaire dignement outillé et constamment mis à jour. La réalisation...
Comment justifier la modélisation ? Combien de fois au cours de diverses missions lorsque je présentais l'intérêt de la modélisation, le langage UML (Unified Modeling Language) et Enterprise Architect (AGL bien connu), j'entendais dire dans l'assistance...
Où en est-on sur la génération de code ? L'OMG (Object Management Group) a depuis plus de 10 ans spécifié des normes sur la transformation de modèles permettant en théorie de générer un modèle de code (PSM Plateform Specific Model) à partir d'un modèle...
Partir d'un modèle de concepts métier et transformer ce modèle en d'autres modèles s'affinant progressivement pour arriver finalement à un modèle de code source. En 2014 l'homme devra encore se plier à la machine. Depuis longtemps on nous promet pour...