ACS Applied Computer Science

  • Increase font size
  • Default font size
  • Decrease font size

CONSTRAINT-BASED SCHEDULING IN OZ/MOZART

Print
In this paper we present how scheduling problems can be solved in theĀ concurrent constraint programming (CCP) language Oz. Oz is the first highlevel constraint language, which offers programmable search, modularity, expressiveness and an interface to invent new constraints using C++. As an example of scheduling problem the job-shop scheduling problem with manpower resources representation was considered. The objective discussed here is the minimization of the makespan. Allocating manpower to the jobs is more complicated than allocating machines, as different jobs and operations require different manpower. This problem is strongly NP-hard. We proposed the constraint programming (CP) based approach to decision support in this environment. The most important features of CP are declarative problem modeling, allowing a clear separation between the problem statement (variables and constraints) and the resolution of the problem