High-level modeling of component-based CSPs

Raphaël Chenouard, Laurent Granvilliers, RICARDO JAVIER SOTO DE GIORGIS

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

5 Scopus citations

Abstract

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.

Original languageEnglish
Title of host publicationAdvances in Artificial Intelligence, SBIA 2010 - 20th Brazilian Symposium on Artificial Intelligence, Proceedings
Pages233-242
Number of pages10
DOIs
StatePublished - 14 Dec 2010
Event20th Brazilian Symposium on Artificial Intelligence, SBIA 2010 - Sao Bernardo do Campo, Brazil
Duration: 23 Oct 201028 Oct 2010

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume6404 LNAI
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference20th Brazilian Symposium on Artificial Intelligence, SBIA 2010
CountryBrazil
CitySao Bernardo do Campo
Period23/10/1028/10/10

Fingerprint Dive into the research topics of 'High-level modeling of component-based CSPs'. Together they form a unique fingerprint.

Cite this