RE: Time in OCL



RE: Time in OCL

From: Richard Mitchell ^lt;richard@inferdata.com>
Date: Fri 28 Oct 2005 - 16:10:13 BST
Message-Id: <200510281509.j9SF9jJ26400@www.inferdata.com>
Hi Irfan,

You could introduce one or more classes to model the concept of time, just
as you introduce classes for other concepts in your problem domain.

For example, a class Time might offer a query time(), which models the idea
of asking the current time. Of course, the query time() won't have an OCL
specification :-)

Best wishes,
-- Richard

- - - - - - - - - - - - - - - - - - - - - - - - - - - -
Richard Mitchell

InferData Ltd
3D: Domain-Driven Development
Consulting, Training, Mentoring

richard@inferdata.com
www.inferdata.com

"By itself, logic says nothing about anything ..."


>-----Original Message-----
>From: puml-list-request@cs.york.ac.uk
>[mailto:puml-list-request@cs.york.ac.uk] On Behalf Of Irfan Hamid
>Sent: 28 October 2005 13:00
>To: puml-list@cs.york.ac.uk
>Subject: Time in OCL
>
>Hi,
>
>Is there a way to use time expressions in OCL? Like in the
>postcondition
>can I use an expression such as
>
>time@pre or time( )@pre
>
>I need this to be able to express real-time constraints on operations.
>
>Regards,
>Irfan.
>
>--
>Doctoral candidate
>Department of Computer Science and Networks
>Ecole Nationale Superieure des Telecommunications
>46, rue Barrault, Paris 75013
>Web: http://www.infres.enst.fr/~hamid
>Phone: +33 (0)1 45 81 75 79
>
>
>
>
>
>To remove yourself from this list please mail
>puml-list-request@cs.york.ac.uk
>with a message containing the word "unsubscribe".
>
Received on Fri Oct 28 16:12:13 2005