Temporal Constraint Support for OCL - CentraleSupélec Access content directly
Conference Papers Year : 2013

Temporal Constraint Support for OCL

Safouan Taha


The Object Constraint Language is widely used to express precise and unambiguous constraints on models and object oriented programs. However, the notion of temporal constraints, controlling the system behavior over time, has not been natively supported. Such temporal constraints are necessary to model reactive and real-time systems. Although there are works addressing temporal extensions of OCL, they only bring syntactic extensions without any concrete implementation conforming to the OCL standard. On top of that, all of them are based on temporal logics that require particular skills to be used in practice. In this paper, we propose to fill in both gaps. We first enrich OCL by a pattern-based temporal layer which is then integrated into the current Eclipse's OCL plug-in. Moreover, the temporal constraint support for OCL, that we define using formal scenario-based semantics, connects to automatic test generators and forms the first step towards creating a bridge linking model driven engineering and usual formal methods.
Fichier principal
Vignette du fichier
sle12-paper29-preproceedings.pdf (638.34 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-00762150 , version 1 (06-12-2012)


  • HAL Id : hal-00762150 , version 1


Bilal Kanso, Safouan Taha. Temporal Constraint Support for OCL. SLE2012, Sep 2012, Dresden, Germany. pp.83-103. ⟨hal-00762150⟩
107 View
801 Download


Gmail Facebook X LinkedIn More