Complete tutorial introducing the Object Constraint Language (OCL), covering syntax, semantics and tool support.