Time in OCL

Time in OCL

From: Irfan Hamid ^lt;Irfan.Hamid@enst.fr>
Date: Fri 28 Oct 2005 - 12:59:35 BST
Message-ID: <436212A7.3080208@enst.fr>

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.


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
Received on Fri Oct 28 12:59:43 2005