English Español français rss
> Accueil > Programme > Colloque ATL

Coll. ATL : Regular paper session - ATL in use

Intervenant(s) :Raphael Chenouard, Laurent Granvilliers, Ricardo Soto, Vanea Chiprianov, Yvon Kermarrec
Type d'événement :Conférence
Niveau :Confirmé
Date :Mercredi 8 juillet 2009
Horaire :10h00
Durée :60 minutes
Langue :English
Lieu :Ecole des Mines de Nantes

Using ATL to define advanced and flexible constraint model transformations by Raphael Chenouard, Laurent Granvilliers and Ricardo Soto

Transforming constraint models is an important task in recent constraint programming systems. User-understandable models are defined during the modeling phase but rewriting or tuning them is mandatory to get solving-efficient models. We propose a new architecture allowing 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 definition of transformations as concepted-oriented rules, i.e. based on types of model elements where the types are organized into a hierarchy called a metamodel.

An Approach for Constructing a Domain Definition Metamodel with ATL by Vanea Chiprianov and Yvon Kermarrec

Present day Telecommunications competitive market requires a rapid definition process of new services. To ensure this, we propose to replace the current paper-based process with a computer-aided one. Central to this later process is an information model that captures domain specific knowledge. We approach its construction by defining model querying and model transformation rules in ATL over existing network abstraction layers. We also report on the way we used ATL to define these rules and the benefits of doing so, and pinpoint issues that may be addressed in future ATL releases.