Fwd: Re: latest OCL definition



Fwd: Re: latest OCL definition

From: Joaquin Miller ^lt;jm-miller-at@sbcglobal.net>
Date: Fri 10 Jun 2005 - 18:17:14 BST
Message-Id: <6.2.1.2.0.20050610101631.036382f0@pop.sbcglobal.yahoo.com>
Andreas message, to which i replied:

>Date: Thu, 9 Jun 2005 21:21:27 +0200
>From: Andreas Awenius <andreas.awenius@empowertec.de>
>To: joaquin.no.spam@acm.org
>Subject: Re: latest OCL definition
>
>Hello all,
>
> > 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
>
>This is the report of the FTF (Finalization Task Force) which states how all
>the open issues with the OCL specification are treated for the next official
>version.
>I think Daniel is better served with the official OCL 2.0 final adopted
>specification.
>http://www.omg.org/docs/ptc/03-10-14.pdf
>
>Best regards,
>Andreas
>
>
> > 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
>
>
>
>
> > To remove yourself from this list please mail
> > puml-list-request@cs.york.ac.uk
> > with a message containing the word "unsubscribe".
>
>
>--
>Andreas Awenius
>EmPowerTec AG
>http://www.empowertec.de
>Taubenweg 20
>85238 Petershausen, Germany
>Fon: +49 8137 80 98 81
>Fax: +49 8137 80 98 82
Received on Fri Jun 10 18:18:28 2005