Discussion :

[shyrize]

Bonjour tout le monde,
je veux modéliser des contraintes, des pré et post conditions, des évenements etc. je sais que OCL permet de le faire, y'a-t-il d'autres langages qui permettent de le faire??

Merci

[slim]

D'autres langages, surement ! mais comme tu es sur le forum UML, je ne parle que de ce langage.

Tu peux exprimer tes contraintes à travers le diagramme de séquence et d'états transitions. Puisque tu parle de "près et post-conditions", le diagramme d'états transitions te conviendrait.