TY - JOUR
T1 - Syntax extensions for a constrained-object language via dynamic parser cooperation
AU - Soto, Ricardo
AU - Crawford, Broderick
AU - Monfroy, Eric
AU - Paredes, Fernando
PY - 2012/3
Y1 - 2012/3
N2 - 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.
AB - 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.
KW - Constraint programming
KW - Modeling languages
KW - Programming languages
UR - http://www.scopus.com/inward/record.url?scp=84866611388&partnerID=8YFLogxK
U2 - 10.24846/v21i1y201205
DO - 10.24846/v21i1y201205
M3 - Article
AN - SCOPUS:84866611388
VL - 21
SP - 41
EP - 48
JO - Studies in Informatics and Control
JF - Studies in Informatics and Control
SN - 1220-1766
IS - 1
ER -