One of the essential issues in Model Management System(MMS) is how to facilitate good management of key resources, namely data, model, solvers, and knowledge. Current MMSs address the problems of managing the key resources. However, little efforts can be found for the management of solvers.
To manage solvers like model and data as a key resources of organization, solvers must be integrated with modeling environment in a formal way. In this paper, an extensible solver integration approach is proposed. The main idea is to separate the embedded solver-related knowledge from implementation codes for data structures, input descriptions, output handlings, etc. In this thesis, the extensible solver integration scheme is suggested which includes the constructs of data structures, solver input file structure description language, and output manipulation language. Integration of solvers for optimization is used as an illustration example. The extensible solver integration approach makes it possible to control the interaction between modeling system and solver, and to add a new solver into modeling environment. It may leads to a way for solver base construction and management of solvers and related knowledge.
모형관리시스템 분야에서, 핵심적인 자원들인 데이타, 모형, Solver 그리고 지식들의 관리 및 운영을 어떻게 촉진시킬것인가 하는 문제는 필수적인 논점중의 하나이다. 현재의 모형관리시스템들은 핵심적 자원의 관리문제를 역점을 두어 말하고 있지만 Solver의 관리에 대한 노력은 찾아보기가 힘들다.
Solver를 조직의 중요한 자원의 하나로써 데이타나 모형처럼 관리하기 위해서는 먼저 Solver는 좀더 공식적인 방식으로 모형화 환경과 통합되어야 한다. 이 논문에서는 Solver 통합에 대한 확장적인 접근방식을 제안 하였다. 이 연구의 핵심적인 아이디어는 데이타 구조, 입력 자료의 구조 명세, 출력 자료의 처리 방법등과 같은 Solver와 관련된 내재된 지식들을 구현된 코드로부터 분리해내는 것이다. 이 논문에서는 표준 자료구조, Solver의 입력 화일 구조 명세 언어, Solver의 출력 화일 조작 언어를 가지는 확장적인 Solver 통합의 틀을 제안하였다. 최적화 문제에 대한 Solver의 통합을 이 논문에서는 예제로써 이용하였다. 화장적인 Solver 통합 접근방식은 Solver를 모형화 환경과 통합시키기 위하여 모형화 시스템과 Solver사이의 상호작용을 제어할수 있게 하였고 새로운 Solver를 모형화 환경에 추가할수 있게하였다. 그럼으로써 Solver 베이스 구축 및 Solver와 관련된 지식들의 관리를 가능케 하였다.
