HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
Preprints, Working Papers, ...

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.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [19 references]  Display  Hide  Download

https://hal.inria.fr/inria-00402142
Contributor : Mathias Kleiner Connect in order to contact the contributor
Submitted on : Monday, July 6, 2009 - 5:07:29 PM
Last modification on : Wednesday, April 27, 2022 - 3:50:08 AM
Long-term archiving on: : Tuesday, June 15, 2010 - 7:33:44 PM

File

RR-6982.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : inria-00402142, version 1

Collections

Citation

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

Share

Metrics

Record views

108

Files downloads

199