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 metadatas

Cited literature [19 references]  Display  Hide  Download

https://hal-supelec.archives-ouvertes.fr/hal-00762150
Contributor : Evelyne Faivre <>
Submitted on : Thursday, December 6, 2012 - 3:18:59 PM
Last modification on : Saturday, March 31, 2018 - 1:14:08 AM
Long-term archiving on : Saturday, December 17, 2016 - 9:46:39 PM

File

sle12-paper29-preproceedings.p...
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00762150, version 1

Collections

Citation

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

Share

Metrics

Record views

563

Files downloads

474