Restriktiv programmering kan definitivt ses som ett modelldrivet paradigm. Användarna skriver program för modellering problem. Dessa program är kartlagda till körbara modeller för att beräkna lösningarna. Detta dokument fokuserar på effektiv modellhantering (definition och omvandling). Ur den synvinkeln föreslår vi en översyn av utformningen av system för begränsningsprogrammering. En modelldriven arkitektur introduceras för att kartlägga lösningsoberoende begränsningsmodeller för att lösa beroende beslutsmodeller. Flera viktiga frågor undersöks, såsom behovet av ett visuellt högnivå modellering språk, och kvaliteten på metamodellering tekniker för att genomföra omvandlingarna. Ett viktigt resultat är S-COMMA-plattformen som effektivt implementerar kedjan från modellering till att lösa problem med begränsningar.
I REF diskuterar författarna behovet av ett visuellt högnivå modellering språk och kvaliteten på metamodellering tekniker för att genomföra omvandlingarna.
Model-Driven Constraint Programming
{'venue': 'International Conference on Principles and Practice of Declarative Programming, Valence : Spain (2008)', 'journal': None, 'mag_field_of_study': ['Computer Science']}