Re: Time in OCL

Re: Time in OCL

From: Steffen Zschaler ^lt;>
Date: Fri 28 Oct 2005 - 13:20:29 BST
Message-ID: <>
Dear Irfan,

OCL per se does not support such constraints. There is some limited 
support for timing constraints in the UML, though (I think in the area 
of sequence diagrams). Other than that, you may want to check out the 
"UML Profile for Scheduling, Performance, and Time Specification" if 
your interest is mainly in performance engineering, or languages like 
QML or CQML (and CQML+) if your interest lies more in the area of 
guaranteed real-time properties.

Best wishes,


Irfan Hamid wrote:

> 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.

Dipl.-Inf. Steffen Zschaler
Research Assistant

Technische Universität Dresden
Department of Computer Science

Phone +49 351 463 38555
Fax   +49 351 463 38459
Received on Fri Oct 28 13:20:37 2005