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