A Model-Driven Engineering Framework for Constrained Model Search

Mathias Kleiner 1
1 ATLANMOD - Modeling Technologies for Software Production, Operation, and Evolution
LINA - Laboratoire d'Informatique de Nantes Atlantique, Département informatique - EMN, Inria Rennes – Bretagne Atlantique
Abstract : This document describes a formalization, a solver-independant methodology and implementation alternatives for realizing constrained model search in a model-driven engineering framework. The proposed approach combines model-driven engineering tools ((meta)model transformations, models to text, text to models) and constraint programming techniques. Based on previous research, motivations to model search are first introduced together with objectives and background context. A theory of model search is then presented, and a methodology is proposed that details the different involved tasks. Concerning implementation, three constraint programming paradigms are envisionned and discussed. An open-source implementation based on the relationnal language Alloy is described and available for download.
Type de document :
Pré-publication, Document de travail
RR-6982. 2009
Liste complète des métadonnées

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

https://hal.inria.fr/inria-00402142
Contributeur : Mathias Kleiner <>
Soumis le : lundi 6 juillet 2009 - 17:07:29
Dernière modification le : vendredi 22 juin 2018 - 09:34:00
Document(s) archivé(s) le : mardi 15 juin 2010 - 19:33:44

Fichier

RR-6982.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00402142, version 1

Citation

Mathias Kleiner. A Model-Driven Engineering Framework for Constrained Model Search. RR-6982. 2009. 〈inria-00402142〉

Partager

Métriques

Consultations de la notice

232

Téléchargements de fichiers

246