Re: latest OCL definition

Re: latest OCL definition

From: Joaquin Miller ^lt;>
Date: Thu 09 Jun 2005 - 17:44:26 BST
Message-Id: <>

Perfect timing.  The OCL spec has just been reported out of 
finalization.  What remains in the process is extremely unlikely to change 
the text at all.



At 08:22 AM 6/9/2005, you wrote:
>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.
Received on Thu Jun 09 17:45:44 2005