/image%2F0848720%2F20140803%2Fob_c0b6ea_589735-femme-faisant-une-structure-de.jpg)
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.
/image%2F0848720%2F20151014%2Fob_364921_tutoriel-ocl-uml-3.png)
Pour spécifier une classe d'association (Job ou Marriage dans le diagramme de classe UML) : context Person inv: self.Job[employer] On peut naviguer à partir de la classe d'association vers les objets participants : context Job inv: self.employer.numberOfEmployees...
/image%2F0848720%2F20150709%2Fob_a6173c_expression-des-besoins-agl-mega.png)
L'Atelier de Génie Logiciel (AGL) MEGA permet de mettre en place un référentiel d'exigences. La gestion des exigences est l’ensemble des activités qui permettent de s’assurer que les spécifications du client, c’est-à-dire les exigences, sont satisfaites....
/image%2F0848720%2F20150709%2Fob_5ca7d5_modelisation-expression-des-besoins.png)
L'ingénieur des exigences ( expression des besoins ) est rompu aux techniques pour les identifier et les formaliser. L'analyse des documentations diverses et variées, les techniques d'interview, l'animation de groupes de travail n'ont plus de secret pour...
/image%2F0848720%2F20150709%2Fob_3565fd_eriksson.gif)
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...
/image%2F0848720%2F20150705%2Fob_ef19e0_modelisation-de-systeme-gestion-de-con.png)
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...
/image%2F0848720%2F20150705%2Fob_0287fd_modelisation-de-systeme-verification-d.png)
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...
/image%2F0848720%2F20150705%2Fob_39dcd9_modelisation-de-systeme-verification-d.png)
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...
/image%2F0848720%2F20150705%2Fob_a5569a_modelisation-de-systeme-verification-d.png)
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...
/image%2F0848720%2F20150705%2Fob_53522a_modelisation-de-systeme-verification-d.png)
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....
/image%2F0848720%2F20150705%2Fob_72f07d_modelisation-de-systeme-verification-d.png)
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...
/https%3A%2F%2Fstatic.blog4ever.com%2F2014%2F08%2F780066%2F02-montmorency-chateau-de-la-chasse_9347040.jpg)
/https%3A%2F%2Fassets.over-blog-kiwi.com%2Ft%2Ffloating_posts%2Fimages%2Fcover.jpg)
/image%2F0848720%2F20151014%2Fob_dbb296_tutoriel-ocl-uml-5.png)