Using ATL to define advanced and flexible constraint model transformations - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2009

Using ATL to define advanced and flexible constraint model transformations

Résumé

Transforming constraint models is an important task in re- cent constraint programming systems. User-understandable models are defined during the modeling phase but rewriting or tuning them is manda- tory to get solving-efficient models. We propose a new architecture al- lowing to define bridges between any (modeling or solver) languages and to implement model optimizations. This architecture follows a model- driven approach where the constraint modeling process is seen as a set of model transformations. Among others, an interesting feature is the def- inition of transformations as concept-oriented rules, i.e. based on types of model elements where the types are organized into a hierarchy called a metamodel.
Fichier principal
Vignette du fichier
cgs_atl_2009.pdf (386.71 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-00456940 , version 1 (16-02-2010)

Identifiants

Citer

Raphael Chenouard, Laurent Granvilliers, Ricardo Soto. Using ATL to define advanced and flexible constraint model transformations. MtATL2009, Jul 2009, Nantes, France. pp.102-118. ⟨hal-00456940⟩
81 Consultations
57 Téléchargements

Altmetric

Partager

Gmail Facebook X LinkedIn More