HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Conference papers

Temporal Constraint Support for OCL

Abstract : 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.
Document type :
Conference papers
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

Contributor : Evelyne Faivre Connect in order to contact the contributor
Submitted on : Thursday, December 6, 2012 - 3:18:59 PM
Last modification on : Monday, December 14, 2020 - 12:38:06 PM
Long-term archiving on: : Saturday, December 17, 2016 - 9:46:39 PM


Files produced by the author(s)


  • 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⟩



Record views


Files downloads