Re: latest OCL definition



Re: latest OCL definition

From: Joaquin Miller ^lt;jm-miller-at@sbcglobal.net>
Date: Thu 09 Jun 2005 - 17:44:26 BST
Message-Id: <6.2.1.2.0.20050609094125.035456e0@pop.sbcglobal.yahoo.com>
Daniel:

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.

http://www.omg.org/cgi-bin/doc?ptc/2005-06-05

Cordially,

Joaquin

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.
>
>/daniel
Received on Thu Jun 09 17:45:44 2005