论文标题
简单，适应性和高质量的建模，具有特定领域的约束模式
Easy, adaptable and high-quality Modelling with domain-specific Constraint Patterns
论文作者
论文摘要
引入了特定于域的约束模式，这构成了针对约束编程设置设计软件工程模式的对应模式。这些模式描述了重复问题的专家知识和最佳实践解决方案，并包括实施示例。我们的目标是到达一个阶段，对于常见问题，建模过程包括简单地从模式库中挑选适用的模式并将其组合到模型中。这大大简化了建模过程，并使模型易于适应。通过制作模式域特异性，我们可以进一步包括特定于问题的建模思想，包括特定的全局约束和问题所知的搜索策略。这样可以确保我们从模式中获得的模型不仅正确，而且是高质量的。我们在车间和流店的示例中介绍了特定于域的约束模式，讨论他们的优势，并展示如何在事件日志中自动检查模式的发生。
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.
