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
Journal articles

Specification of temporal properties with OCL

Abstract : The Object Constraint Language (OCL) is widely used to express static constraints on models and object-oriented systems. However, the notion of dynamic constraints, controlling the system behavior over time, has not been natively supported. Such dynamic constraints are necessary to handle temporal and real-time properties of systems. In this paper, we first add a temporal layer to the OCL language, based syntactically on Dwyer et al.'s specification patterns. We enrich it with formal scenario-based semantics and integrate it into the current Eclipse OCL plug-in. Second, we translate, with a compositional approach, OCL temporal properties into finite-state automata and we connect our framework to automatic test generators. This way, we create a bridge linking model driven engineering and usual formal methods.
Complete list of metadata

https://hal-supelec.archives-ouvertes.fr/hal-01103375
Contributor : Elodie Dubrac Connect in order to contact the contributor
Submitted on : Wednesday, January 14, 2015 - 3:43:31 PM
Last modification on : Monday, December 14, 2020 - 12:38:07 PM

Links full text

Identifiers

Collections

Citation

Bilal Kanso, Safouan Taha. Specification of temporal properties with OCL. Science of Computer Programming, Elsevier, 2014, 96 (4), pp.527-551. ⟨10.1016/j.scico.2014.02.029⟩. ⟨hal-01103375⟩

Share

Metrics

Record views

28