latest OCL definition



latest OCL definition

From: Daniel Jackson ^lt;dnj@mit.edu>
Date: Thu 09 Jun 2005 - 16:22:33 BST
Message-Id: <2c4cd1018ab79566600ca8b9cac01614@mit.edu>
dear puml'ers:

i completing a manuscript of a book that will be published by MIT Press 
on software modelling. the book uses the Alloy language and analyzer. i 
am currently working on an appendix that relates Alloy to other 
languages, and explains how to adapt the approach to them. i'd like to 
include OCL.

can someone point me to the latest definition of OCL, preferably 
online? i need to know the details (eg, the meaning of bad type casts, 
the difference between undefined terms and the empty set, etc), but i 
don't need anything formal.

/daniel
Received on Thu Jun 09 16:22:44 2005