UML&OCL Modeling Languages

OCL Constraints: sample tool

d. Extend the model with invariant and pre-post condition:

constraints
context Person
	inv: (age>0) and (age<200)
context Person::birthday()
	post: age=age@pre+1

8 - 9

thiry laurent ensisa uha alsace mulhouse france unified modeling modelisation language constraint object objet UML OCL