One of the main problems confronted with linear programming (LP) model users is the frequent changes of models. When this situation is occurred, practitioners using LP models must reformulate the model repeatedly. Existing model management systems (MMS) are mainly concerned with model formulation and executability, not paying much attention to model modification.
The primary purpose of this thesis is to develope an MMS for 1) easy modification and formulation of LP models, and for 2) the management of LP models in reusable forms.
As a conceptural framework, structured modeling(SM) is used to represent LP models. We used a logic based executable modeling language LSM to represent and manipulate the LP models and extended it to be able to modify them. Three operations i.e., insert, delete and modify are used for the model modification of LP models.
We implemented a prototype LP/SM, a first-order logic based language, designed to support non-expert users for activities performed during the modification and formulation of LP models with the domain of production planning.
선형계획 모형의 사용자들이 직면하는 가장 큰 문제중의 하나는 사용하는 모형이 시간이 지남에 따라서 자꾸 변한다는 사실이다. 일단변화가 발생하면 실무자들은 모형을 다시 재구성해야 하는데 이것은 많은 시간과 경비를 필요로 하는 작업이다. 현재까지의 모형관리시스템은 이런 모형의 변화, 수정의 측면에는 관심을 기울이고 있지 않고 주로 모형의 생성과 실행 가능성에만 관심을 기울여 왔다.
이 논문의 주요한 목적은 1) 선형계획모형의 수정과 생성이 용이한 2) 모형을 재사용이 가능한 형태로 관리하는 모형관리 시스템을 개발하는데 있다.
개념적인 틀로써 구조적 모형화 기법을 이용하였고 선형계획 모형을 나타내고 다루기 위하여 논리 (logic) 에 기반을 둔 실행가능 언어인 LSM을 이용하여 그것을 수정이 가능하도록 확장하였다. 모형의 수정을 위해서 3가지의 절차 (insert, delete, modify) 를 이용하였다.
여기에서 제시된 접근 방법들은 first-order logic에 기반을 둔 LP/SM이라는 원형시스템으로 개발되었다. LP/SM은 생산계획 문제를 다루며 모형의 수정과 생성을 하는 동안의 여러가지 과정을 잘 알지 못하는 사람도 사용 할 수 있도록 고안이 되었다.
