DresdenOCL

INF3143
Modélisation et spécification
formelles des logiciels
Hiver 2017
Alexandre Terrasa
Département d’informatique, UQÀM

OCL
Avec Java et DresdenOCL
2

DresdenOCL
3
http://www.dresden-ocl.org/
Une suite d’outils pour OCL / Java
● Éditeur OCL
● Parseur et interpréteur de contraintes
● Visualisation des contraintes
● Génération de code
Basé sur Eclipse EMF
https://eclipse.org/modeling/emf

Pré-requis
● JDK 1.7
● Eclipse Luna + Eclipse Modeling Tools
○https://eclipse.org/downloads/packages/eclipse-mod
eling-tools/lunasr2
● EMF Text
○https://marketplace.eclipse.org/content/emftext
● Eclipse AspectJ Development Tools (AJDT)
○http://www.eclipse.org/ajdt/
4

Installation
via Eclipse Marketplace
● Via le Eclipse Marketplace
○https://marketplace.eclipse.org/content/dresden-ocl
5