On Message Specifications in OCL
Marcel Kyas, Frank S. de Boer · Electronic Notes in Theoretical Computer Science · 2004
The object constraint language (OCL) is the established language for specifying of properties of objects and object structures. Recently an extension of OCL has been proposed for the specification of messages sent between objects.