A modern feature of constraint languages is the ability of compiling a model into a set of solver languages. This allows one to model a problem in a single language and to execute it in a set of solver engines. The idea is to facilitate experimentation as well as model sharing. The common architecture to support this task is composed of three layers: an upper layer for the modeling language, a bottom layer for the solver language, and a middle one for performing the mapping process. However, this architecture has an important inconvenience: there is no mechanism for updating the modeling language. This paper addresses this concern by introducing a simple description language for extending the syntax of the modeling language. The goal is to make the architecture adaptable to further upgrades of the solver layer.
Constraint Programming, Programming Languages, Modeling Languages.
Ricardo Soto, Broderick Crawford, Eric Monfroy, Fernando Paredes, "Syntax Extensions for a Constrained-Object Language via Dynamic Parser Cooperation*", Studies in Informatics and Control, ISSN 1220-1766, vol. 21(1), pp. 41-48, 2012. https://doi.org/10.24846/v21i1y201205