TY - GEN
T1 - High-level modeling of component-based CSPs
AU - Chenouard, Raphaël
AU - Granvilliers, Laurent
AU - Soto, Ricardo
PY - 2010
Y1 - 2010
N2 - 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.
AB - 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.
UR - http://www.scopus.com/inward/record.url?scp=78649951804&partnerID=8YFLogxK
U2 - 10.1007/978-3-642-16138-4_24
DO - 10.1007/978-3-642-16138-4_24
M3 - Conference contribution
AN - SCOPUS:78649951804
SN - 3642161375
SN - 9783642161377
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 233
EP - 242
BT - Advances in Artificial Intelligence, SBIA 2010 - 20th Brazilian Symposium on Artificial Intelligence, Proceedings
T2 - 20th Brazilian Symposium on Artificial Intelligence, SBIA 2010
Y2 - 23 October 2010 through 28 October 2010
ER -