Talks and Poster Presentations (with Proceedings-Entry):
A. Falkner, I. Feinerer, G. Salzer, G. Schenner:
"Solving Practical Configuration Problems using UML";
Talk: ECAI 2008 Workshop on Configuration Systems,
- 2008-07-22; in: "Proceedings of ECAI 2008 Workshop on Configuration Systems",
In the past we have successfully specified configurations of complex systems in the railway domain using fragments of the Unified Modelling Language (UML). Java programs derived from such specifications check constraints and properties of those configurations in a semi-declarative manner.
The aim of this paper is to handle constraints completely declaratively and to use the reasoning component as a black box, avoiding the procedural aspects of Java. We describe the UML elements required for selected practical configuration problems and translate them to inequalities over integers. This approach not only provides a precise semantics but also allows us to perform reasoning tasks (like finding inconsistencies) efficiently. Finally we point out some open problems.
Electronic version of the publication:
Created from the Publication Database of the Vienna University of Technology.