Coll. ATL : Regular paper session - ATL in use
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.