Nous travaillerons avec l'outil MODELIO qui est gratuit.

Pour charger MODELIO : https://www.modelio.org/

A l'IUT vous le trouverez sous Ce PC>Applications (R) … Attention long à charger !!!**

Il est possible que vous ayez besoin du composant : http://store.modelio.org/58-model-components.html

2016-08-12_creattionduprojet.swf

2016-08-12_creationdiagramme.swf http://forge.modelio.org/projects/modelio3-usermanual-english-350/wiki/Modeler-_modeler_diagrams_creating_diagram

• Voir sur le site d'Isabelle

2016-08-12-uc.swf

https://github.com/iblasquez/tuto_ModelisationUML/blob/master/Modelio/Modelio_UseCase.md#changer-lapparence-propriétés-graphiques-

(Ne fonctionne pas bien… choisir structured)

Pour les préconditions, postconditions, description, … au choix dans l'onglet Notes and Constraints compléter

Autres approches : https://github.com/iblasquez/tuto_ModelisationUML/blob/master/Modelio/Modelio_UseCase.md#annoter-un-élément–

2016-08-12_dc.swf

Créer une enumeration puis lui ajouter des enumeration Literal

Explications pas à pas sur le site d'Isabelle 2016-08-12_seq1.swf

2016-08-12_seq2.swf

Vous devez ajouter si ce n'est pas fait le module “Java designer” à votre projet.

1. Sélectionner modules
2. Ajouter un module
3. Ajouter Java designer en demandant son déploiement dans le projet

Pour préciser le répertoire de génération :

2016-08-12_generationcode.swf

Pour sélectionner la structure de liste :

configurerpour_ge_ne_rer2016-08-14_2211.swf

Le .jar dont vous avez besoin pour les codes générés : javadesigner.jar

{{ http://forge.modelio.org/projects/javadesigner-documentation/wiki/javadesigner-_javadeveloper_generating_java_code_java_code_generation_functions