Computing product configurations via UML and integer linear programming

Computing product configurations via UML and integer linear programming
复制标题

通过 UML 和整数线性规划计算产品配置

DOI：
--
复制
发表时间：
2010
期刊：
影响因子：
--
通讯作者：
Gottfried Schenner
Gottfried Schenner
中科院分区：
--
文献类型：
--
作者：
Andreas A. Falkner;Ingo Feinerer;G. Salzer;Gottfried Schenner

文献摘要

被引文献

相似文献

统一建模语言（UML）可用于指定复杂系统：组件类型被建模为类，相互依赖性被建模为与多重性和标签的关联。本文描述了如何在不增加复杂性的情况下将关联和多重性转换为整数上的不等式，从而以声明方式处理对关联性和多重性的约束。该方法提供了明确定义的语义，并允许使用高效的算法来执行推理任务，例如检测不一致。我们确定了使用类图进行产品配置所带来的一些挑战，并针对其中一些问题提出了解决方案。本文最后讨论了一个源自铁路领域实际配置问题的示例。
The Unified Modelling 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 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.