http://www.omg.org/cgi-bin/doc?formal/2006-05-01
[23] OMG - The Unified Modeling Language (UML) 2.1.1 Infrastructure Specification, 2007. http://www.omg.org/spec/UML/2.1.2/.

[24] OMG - Model Driven Architecture (MDA) Guide V1.0.1, 2003 http://www.omg.org/cgi-bin/doc?omg/03-06-01.

[25] M. Paltrinieri. A Visual Constraint-Programming Environment. In Proceedings of the 1st International Conference on Principles and Practice of Constraint Programming (CP 1995) 3(4). LNCS, vol. 976, pages 499–514, 1995.

[26] J.-F. Puget. A C++ implementation of CLP. In Proceedings of the Second Singapore International Conference on Intelligent Systems (SCIS 1994), 1994.

[27] R. Rafeh, M. J. Garc´ıa de la Banda, K. Marriott and M. Wallace.

From Zinc to Design Model. In Proceedings of the 9th Symposium on Practical Aspects of Declarative Languages (PADL 2007). LNCS, vol.

4354, pages 215–229, 2007.

[28] s-COMMA System, 2008. http://www.inf.ucv.cl/∼rsoto/s-comma.

[29] R. Soto and L. Granvilliers. The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models.

In Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence (ICTAI 2007), pages 243–250, 2007.

[30] P. Van Hentenryck. The OPL Language. MIT Press, 1999.

[31] M. Wallace, S. Novello and J. Schimpf. Technical report, IC-Parc, Imperial College, London, 1997.