Using UML and OCL for representing multiobjective combinatorial optimization problems

Abstract

This paper describes the results of a preliminary feasibility study of an approach to representing Multiobjective Combinatorial Optimization Problems in UML (structural constraints) and OCL (procedural constraints) and then automatically translating the representations to a Constraint Satisfaction solving language (Oz) for execution. The paper presents two examples of the application of the approach-a job scheduling problem and a (fixture) design problem. The main goal of this paper is to investigate directions towards a standard, graphical language for representing combinatorial optimization problems. The paper shows that for the two selected problems it is easy to represent structural constraints in UML and that procedural constraints are representable in OCL. The results also show that a developed translator automatically converts the UML/OCL representations to Oz and that the resulting Oz program performs very reasonably, in some cases outperforming the handwritten benchmark programs.