Dan Chiorean Using OCL Beyond Specifications. 57-68 2001 conf/uml/2001p pUML db/conf/uml/puml2001.html#Chiorean01