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.
Type de document :
Article dans une revue
Science of Computer Programming, Elsevier, 2014, 96 (4), pp.527-551. 〈10.1016/j.scico.2014.02.029〉
Liste complète des métadonnées

https://hal-supelec.archives-ouvertes.fr/hal-01103375
Contributeur : Elodie Dubrac <>
Soumis le : mercredi 14 janvier 2015 - 15:43:31
Dernière modification le : jeudi 29 mars 2018 - 11:06:05

Identifiants

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〉

Partager

Métriques

Consultations de la notice

79