A CSP Approach for Metamodel Instantiation

Adel Ferdjoukh 1, * Anne-Elisabeth Baert 2, * Annie Chateau 3, * Remi Coletta 4, * Clémentine Nebut 1, *
* Corresponding author
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 : This work is a contribution of Artificial Intelligence to Software Engineering. We present a comprehensive approach to metamodel instantiation using CSP. The generation of models which conform to a given metamodel is a crucial issue in Software Engineering, especially when it comes to produce a variate and large dataset of relevant models to test model transformations or to properly design new metamodels. We define an original constraint modeling of the problem of generating a model conform to a metamodel, also taking into account its additional OCL constraints. The generation process we describe appears to be quicker, more efficient and flexible than any other state-of-the-art approach.
Liste complète des métadonnées

https://hal-lirmm.ccsd.cnrs.fr/lirmm-01007571
Contributor : Annie Chateau <>
Submitted on : Monday, June 16, 2014 - 7:12:52 PM
Last modification on : Friday, March 15, 2019 - 5:02:19 PM

Identifiers

Collections

Citation

Adel Ferdjoukh, Anne-Elisabeth Baert, Annie Chateau, Remi Coletta, Clémentine Nebut. A CSP Approach for Metamodel Instantiation. ICTAI: International Conference on Tools with Artificial Intelligence, Nov 2013, Washington, United States. pp.1044-1051, ⟨10.1109/ICTAI.2013.156⟩. ⟨lirmm-01007571⟩

Share

Metrics

Record views

249