Ingénierie Dirigée par les Modèles - Page de Xavier Crégut - Enseeiht
Exemple : Exprimer que le nb de pages d'un livre est positif en OCL : context
Livre inv: nbPages > 0 .... Syntaxe concrète des réseaux de Petri pour Tina. Eté.
Un extrait du document