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

Adel Ferdjoukh 1 Anne-Elisabeth Baert 2 Eric Bourreau 2 Annie Chateau 3 Remi Coletta 4 Clémentine Nebut 1
1 MAREL - Models And Reuse Engineering, Languages
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
2 MAORE - Méthodes Algorithmes pour l'Ordonnancement et les Réseaux
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
3 MAB - Méthodes et Algorithmes pour la Bioinformatique
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
4 COCONUT - Agents, Apprentissage, Contraintes
LIRMM - Laboratoire d'Informatique de Robotique et de Microélectronique de Montpellier
Abstract : 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.
Document type :
Conference papers
Complete list of metadatas

Cited literature [12 references]  Display  Hide  Download

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01232891
Contributor : Clémentine Nebut <>
Submitted on : Tuesday, November 24, 2015 - 12:07:57 PM
Last modification on : Thursday, July 11, 2019 - 3:40:39 PM
Long-term archiving on : Friday, April 28, 2017 - 11:14:09 PM

File

modelsward2015.pdf
Files produced by the author(s)

Identifiers

Collections

Citation

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⟩

Share

Metrics

Record views

340

Files downloads

529