The paper outlines different approaches found in literature that
integrate temporal operators to the Object Constraint Language (OCL).
Most of these approaches have formal verification by model checking in
mind, such that they usually provide a mapping of temporal OCL
expressions to a corresponding semantic foundation by means of
(time-annotated) temporal logics.
In our own work, we focus on a temporal OCL extension with real-time
annotation for state-based property specification that is mapped
to Clocked Computation Tree Logic (CCTL), a branching-time temporal
logics with real-time operators.
While our work is basically completed w.r.t. specification and
verification of state-based real-time constraints, many issues are not
resolved
w.r.t. control the validity of constraints during system execution, in
particular when distributed objects are regarded.