Flexible Generation of Optimization Systems
Our main goal within the subproject can be summarized as to enable the flexible generation of optimization-based decision support systems with the aid of CRC 901- and C3-Techniques. To that end we envision the realization of the following process visualized in the Figure above. The process starts with an abstract optimization model to be generated for the problem situation at hand. The model can be created or reused in a typical Algebraic Modeling Language (AML) such as AMPL, GAMS or AIMMS. With the C3-Techniques of AML Reengineering and Ontology Optimization Models it will be possible to transfer the model into a representation that captures the necessary semantics. The ontology representation also serves as an intermediate layer before the generation of a model instantiation service, see also the second Figure.
With the ontology representation of the optimization model it is possible to edit and manipulate the model easily, even for machines. In addition to that, the representation is based on reusing conceptualizations for goals and constraints independent of data models. Changes of data models or constraint formulations, e.g., when using a smoothed reformulation for NLP optimization, are manipulations of the ontology graph and can in the most simple case only consist of a single type change. With the straight-forward generation of a SSL-Service Description (subproject B1), a model service is described for the automated composition with other services such as solvers and preprocessors. Before the execution of the system, the semi-automated generation of required adaptor services is supported by the approach due to the specification of data semantics in ontologies.
The flexible generation of optimization systems can now be performed by CRC 901 techniques such as matching and composition, and the whole design allows to reconfigure the system in case of a failing composition or unsatisfactory execution. Thereby, the reconfiguration is highly automatable due to the usage of an ontology model representation.