Temporal Constraint Support for OCL

Bilal Kanso (1) , Safouan Taha (1)

1 E3S - Supélec Sciences des Systèmes

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.

Mots clés: Formal Methods; Model-Driven Engineering; Eclipse/MDT; Temporal constraints; Object-oriented Programming; OCL

Domaines: Génie logiciel [cs.SE]

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