Easy, adaptable and high-quality Modelling with domain-specific Constraint Patterns
This work addresses the challenge of efficient and correct modeling in constraint programming for domain experts, though it appears incremental as it builds on existing pattern-based approaches.
The paper tackles the complexity of modeling in constraint programming by introducing domain-specific constraint patterns, analogous to software design patterns, to simplify and improve the modeling process for recurring problems like job shop and flow shop, resulting in models that are easier to adapt and of higher quality.
Domain-specific constraint patterns are introduced, which form the counterpart to design patterns in software engineering for the constraint programming setting. These patterns describe the expert knowledge and best-practice solution to recurring problems and include example implementations. We aim to reach a stage where, for common problems, the modelling process consists of simply picking the applicable patterns from a library of patterns and combining them in a model. This vastly simplifies the modelling process and makes the models simple to adapt. By making the patterns domain-specific we can further include problem-specific modelling ideas, including specific global constraints and search strategies that are known for the problem, into the pattern description. This ensures that the model we obtain from patterns is not only correct but also of high quality. We introduce domain-specific constraint patterns on the example of job shop and flow shop, discuss their advantages and show how the occurrence of patterns can automatically be checked in an event log.