Zeitschriftenartikel:
A. Falkner, I. Feinerer, G. Salzer, G. Schenner:
"Computing Product Configurations via UML and Integer Linear Programming";
International Journal of Mass Customisation (eingeladen),
3
(2010),
4;
S. 351
- 367.
Kurzfassung englisch:
The Unified Modeling Language (UML) can be used to specify complex systems: Component types are modelled as classes, interdependencies as associations with multiplicities and labels. This paper describes how to handle constraints on associations and multiplicities declaratively by translating them to inequalities over integers without adding complexity. This method provides a well-defined semantics and allows for efficient algorithms for reasoning tasks like detecting inconsistencies. We identify some challenges arising from the use of class diagrams for product configuration, and propose solutions for some of them. The paper concludes with the discussion of an example derived from a real-world configuration problem in the railway domain.
Schlagworte:
product configuration, consistency, UML class diagrams, integer linear programming, light-weight formal methods
"Offizielle" elektronische Version der Publikation (entsprechend ihrem Digital Object Identifier - DOI)
http://dx.doi.org/10.1504/IJMASSC.2010.037650
Erstellt aus der Publikationsdatenbank der Technischen Universität Wien.