A Model-Driven Engineering Framework for Constrained Model Search - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year :

A Model-Driven Engineering Framework for Constrained Model Search

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.
Fichier principal
Vignette du fichier
RR-6982.pdf (485.68 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

inria-00402142 , version 1 (06-07-2009)

Identifiers

  • HAL Id : inria-00402142 , version 1

Cite

Mathias Kleiner. A Model-Driven Engineering Framework for Constrained Model Search. 2009. ⟨inria-00402142⟩
113 View
210 Download

Share

Gmail Facebook Twitter LinkedIn More