Instantiation of meta-models constrained with OCL: A CSP approach - LIRMM - Laboratoire d’Informatique, de Robotique et de Microélectronique de Montpellier Access content directly
Conference Papers Year : 2015

Instantiation of meta-models constrained with OCL: A CSP approach


The automated generation of models that conform to a given meta-model is an important challenge in Model Driven Engineering, as well for model transformation testing, as for designing and exploring new meta-models. Amongst the main issues, we are mainly concerned by scalability, flexibility and a reasonable computing time. This paper presents an approach for model generation, which relies on Constraint Programming. After the translation of a meta-model into a CSP, our software generates models that conform to this meta-model, using a Constraint Solver. Our model also includes the most frequent types of OCL constraints. Since we are concerned by the relevance of the produced models, we describe a first attempt to improve them. We outperform the existing approaches from the mentioned point of view, and propose a configurable, easy-to-use and free-access tool, together with an on-line demonstrator.
Fichier principal
Vignette du fichier
modelsward2015.pdf (287.7 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

lirmm-01232891 , version 1 (24-11-2015)



Adel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Chateau, Remi Coletta, et al.. Instantiation of meta-models constrained with OCL: A CSP approach. MODELSWARD: Model-Driven Engineering and Software Development, Feb 2015, Angers, France. pp.213-222, ⟨10.5220/0005231402130222⟩. ⟨lirmm-01232891⟩
239 View
372 Download



Gmail Facebook X LinkedIn More