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

Adel Ferdjoukh 1 Anne-Elisabeth Baert 2 Eric Bourreau 2 Annie Château 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.
Type de document :
Communication dans un congrès
MODELSWARD: Model-Driven Engineering and Software Development, Feb 2015, Angers, France. Proceedings of the third International Conference on Model Driven Engineering and Software Development, pp.213-222, 2015, 〈10.5220/0005231402130222〉
Liste complète des métadonnées

Littérature citée [12 références]  Voir  Masquer  Télécharger

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01232891
Contributeur : Clémentine Nebut <>
Soumis le : mardi 24 novembre 2015 - 12:07:57
Dernière modification le : vendredi 20 juillet 2018 - 19:58:02
Document(s) archivé(s) le : vendredi 28 avril 2017 - 23:14:09

Fichier

modelsward2015.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

Collections

Citation

Adel Ferdjoukh, Anne-Elisabeth Baert, Eric Bourreau, Annie Château, 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. Proceedings of the third International Conference on Model Driven Engineering and Software Development, pp.213-222, 2015, 〈10.5220/0005231402130222〉. 〈lirmm-01232891〉

Partager

Métriques

Consultations de la notice

180

Téléchargements de fichiers

217