OCL Constraints: sample tool

7. The USE tool makes it possible the testing of OCL expressions (with a TUTORIAL).

a. First, define a class diagram (persons.use)

model persons

class Person
attributes
	age : Integer
operations
	birthday()
end

association genealogy between
	Person[0..2] role parents
	Person[0..*] role children
end

Load the file with ./bin/use -nr Person.use.