Installation d'Eclipse et de DresdenOCL

Les concepts du cours seront illustrés en utilisant Dresden OCL qui est un composant Eclipse. Cette page résume les étapes d'installation.

• Il est tout d'abord nécessaire d'avoir une version à jour de Java. Si ce n'est pas déjà le cas, vous pouvez installer le Java Development Kit (JDK).
• Installez Eclipse Modeling Tools.
  • Il s'agit d'une archive zip que vous devez extraire dans un répertoire (par exemple Eclipse dans 'mes Documents').
• Pour installer Dresden OCL :
  • Démarrez le programme 'eclipse' du répertoire du même nom.
  • Démarrez le Eclipse Marketplace Client dans le menu help de Eclipse.
  • Cherchez "Dresden OCL" dans le champ de recherche et faites "go" et installez tout "Dresden OCL".
  • S'il y a des problèmes de dépendances, voir Problems While Installing Dresden OCL.

Si nécessaire, le manuel Dresden OCL explique la procédure d'installation en détail avec des figures. Vous pouvez vérifier que tout est bien installé si après avoir démarré Eclipse (programme du même nom dans le répertoire du même nom !), vous avez accès au menu Dresden OCL.

Si vous avez des difficultés, n'hésitez pas à communiquer avec moi .