The OPL optimization programming language
The OPL optimization programming language
Modeling Engineering Structures with Constrained Objects
PADL '02 Proceedings of the 4th International Symposium on Practical Aspects of Declarative Languages
The Design of COMMA: An Extensible Framework for Mapping Constrained Objects to Native Solver Models
ICTAI '07 Proceedings of the 19th IEEE International Conference on Tools with Artificial Intelligence - Volume 01
Model-driven constraint programming
Proceedings of the 10th international ACM SIGPLAN conference on Principles and practice of declarative programming
The Design of the Zinc Modelling Language
Constraints
Managing Conditional and Composite CSPs
CAI '07 Proceedings of the 20th conference of the Canadian Society for Computational Studies of Intelligence on Advances in Artificial Intelligence
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
MiniZinc: towards a standard CP modelling language
CP'07 Proceedings of the 13th international conference on Principles and practice of constraint programming
Hi-index | 0.00 |
Most of modern constraint modeling languages combine rich constraint languages with mathematical notations to tackle combinatorial optimization problems. Our purpose is to introduce new component-oriented language constructs to manipulate hierarchical problems, for instance for modeling engineering system architectures with conditional sub-problems. To this end, an object-oriented modeling language is associated with a powerful constraint language. It offers the possibility of defining conditional components to be activated at solving time, declaring polymorphic components whose concrete types have to be determined, and overriding model elements. We illustrate the benefits of this new approach in the modeling process of a difficult embodiment design problem having several architectural alternatives.