improve the management of complex CP models transformation chains. Models can be qualified to determine their level of structure and to automatically choose the required refactoring steps according to the target language.

## References

1. M. Barbero, F. Jouault, and L. B´ezivin. Model driven management of complex systems: Impementing the macroscope's vision. In 15th International Conference on Engineering of Computer-Based Systems**, 2008.**
2. J. B´ezivin and F. Jouault. Using atl for checking models. In Proceedings of the International Workshop on Graph and Model Transformation (GraMoT)**, Tallinn,** Estonia, 2005.

3. S. Brand, G. J. Duck, J. Puchinger, and P. Stuckey. Flexible, rule-based constraint model linearisation. In P. Hudak and D. Warren, editors, Practical Aspects of Declarative Languages**, volume 4902 of** LNCS**, pages 68–83. Springer, 2008.**
4. R. Chenouard, L. Granvilliers, and R. Soto. Model-driven **constraint programming.**
In ACM SIGPLAN PPDP**, pages 236–246, Valencia, Spain, 2008.**
5. A. M. Frisch, M. Grum, C. Jefferson, B. Mart´ınez Hern´andez, and I. Miguel. The design of essence: A constraint language for specifying combinatorial problems. In IJCAI**, pages 80–87, 2007.**
6. A.M. Frisch, C. Jefferson, B. Martinez-Hernandez, and I. Miguel. The Rules of Constraint Modelling. In IJCAI 2005**, pages 109–116, Edinburgh, Scotland, 2005.**
7. M. Fritzsche, H. Bruneliere, B. Vanhooff, Y. Berbers, F. Jouault, and W. Gilani.

Applying megamodelling to model-driven performance engineering. In 16th Annual IEEE ECBS**, San Fransisco, USA. April 13-16, 2009.**
8. T. Fr¨uhwirth. Constraint Handling Rules**. Cambridge University Press, June 2009.**
to appear.

9. L. Granvilliers and F. Benhamou. Algorithm 852: Realpaver: an interval solver using constraint satisfaction techniques. ACM Trans. Math. Softw.**, 32(1):138–**
156, 2006.

10. F. Jouault, F. Allilaire, J. B´ezivin, and I. Kurtev. Atl: A model transformation tool. Science of Computer Programming**, 72(1-2):31 - 39, 2008. Special Issue on**
Second issue of experimental software and toolkits (EST).

11. F. Jouault, J. B´ezivin, and I. Kurtev. TCS: a DSL for the specification of textual concrete syntaxes in model engineering. In Conference on Generative Programming and Component Engineering (GPCE 2006)**, pages 249–254, 2006.**
12. F. Jouault and I. Kurtev. Transforming Models with ATL. In MoDELS Satellite Events 2005**, volume 3844 of** LNCS**, pages 128–138. Springer, 2005.**
13. N. Nethercote, P. J. Stuckey, R. Becket, S. Brand, G. J. Duck, and G. Tack. Minizinc: Towards a standard cp modelling language. In C. Bessi`ere, editor, 13th International CP Conference**, volume 4741 of** LNCS**, pages 529–543. Springer, 2007.**
14. OMG. Model Driven Architecture (MDA) Guide V1.0.1, 2003.

http://www.omg.org/cgi-bin/doc?omg/03-06-01.

15. J.F. Puget. Constraint programming next challenge: Simplicity of use. In CP 2004, LNCS 3258, pages 5–8, 2004.

16. R. Soto and L. Granvilliers. The design of comma: An extensible framework for mapping constrained objects to native solver models. In IEEE ICTAI 2007**, pages**
243–250, 2007.

17. M. Wallace, S. Novello, and J. Schimpf. Eclipse: A platform for constraint logic programming, 1997.