Abstract
A main trend in CP is to define a standard modeling language. This challenge is not a minor matter whose success may depend on many years of experimental steps. Several concerns must be studied such as the simplicity, the level of expressiveness and a suitable solver-independent architecture. In this paper we introduce the s-COMMA modeling language and its execution platform. In this approach a constraint language including extension mechanisms has been carefully fused with object-oriented capabilities in order to provide a considerable level of expressiveness and simplicity. The system is supported by a solver-independent three-layered architecture where models can be mapped to many solvers. We believe the work done on s-COMMA represents a concrete step on the pursuit of a standard constraint modeling language.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
ANTLR Reference Manual, http://www.antlr.org
Gecode System, http://www.gecode.org
s-COMMA System, http://www.inf.ucv.cl/~rsoto/s-comma
Bisschop, J.J., Meeraus, A.: On the Development of a General Algebraic Modeling System in a Strategic Planning Environment. Mathematical Programming Studies 20, 1–29 (1982)
Diaz, D., Codognet, P.: The gnu prolog system and its implementation. In: SAC (2), pp. 728–732 (2000)
Frisch, A.M., et al.: The design of essence: A constraint language for specifying combinatorial problems. In: IJCAI, pp. 80–87 (2007)
Wallace, M., et al.: Eclipse: A platform for constraint logic programming (1997)
Nethercote, N., et al.: Minizinc: Towards a standard cp modelling language. In: Bessière, C. (ed.) CP 2007. LNCS, vol. 4741, pp. 529–543. Springer, Heidelberg (2007)
Rafeh, R., et al.: From zinc to design model. In: Hanus, M. (ed.) PADL 2007. LNCS, vol. 4354, pp. 215–229. Springer, Heidelberg (2006)
Benhamou, F., et al.: Trends in Constraint Programming. ISTE (2007)
Fourer, R., Gay, D.M., Kernighan, B.W.: A Modeling Language for Mathematical Programming. Management Science 36, 519–554 (1990)
Gelle, E., Faltings, B.: Solving mixed and conditional constraint satisfaction problems. Constraints 8(2), 107–141 (2003)
Granvilliers, L., Benhamou, F.: Algorithm 852: Realpaver: an interval solver using constraint satisfaction techniques. ACM Trans. Math. Softw. 32(1), 138–156 (2006)
Puget, J.F.: A C++ implementation of CLP. In: SCIS, Singapore (1994)
Puget, J.F.: Constraint programming next challenge: Simplicity of use. In: Wallace, M. (ed.) CP 2004. LNCS, vol. 3258, pp. 5–8. Springer, Heidelberg (2004)
Soto, R., Granvilliers, L.: An extensible framework for mapping constrained objects to native solver models. In: IEEE ICTAI (1) 2007, pp. 243–250 (2007)
Van Hentenryck, P.: The OPL Language. The MIT Press, Cambridge (1999)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this chapter
Cite this chapter
Soto, R., Granvilliers, L. (2008). On the Pursuit of a Standard Language for Object-Oriented Constraint Modeling. In: Nguyen, N.T., Katarzyniak, R. (eds) New Challenges in Applied Intelligence Technologies. Studies in Computational Intelligence, vol 134. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-79355-7_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-79355-7_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-79354-0
Online ISBN: 978-3-540-79355-7
eBook Packages: EngineeringEngineering (R0)