Mathias Kleiner, Laurent Henocque
Beyond its usual industrial fields of application, a current body of research explores the use of constraint based configuration to address general AI problems, like for instance automatic composition of semantically enriched web services (SWS). A configuration request is naturally formulated as a fragment of the desired solution, that the configurator will attempt to complete according to constraints. We address here a case where the design of the configuration request may itself be the result of a configuration phase, that helps the user design the request by formulating it on more abstract grounds. Within this framework, the configurator is first used to complete an abstract request formulated in a specific formalism. Then a translation is performed from the goal model to the final model to yield the actual request sent to the second configuration phase. This research builds on previous experience showing the adequacy of using configuration to compose SWS, that raised further issues regarding the nature of queries.
Subjects: 15.2 Constraint Satisfaction; 1.6 Engineering And Science
Submitted: May 14, 2007