Mathematical modeling is a time-consuming and error-prone task. To reduce modeler's burden, many modeling methods for mathematical programming have been developed. However, most of the modeling methods are concerned little about the real world entities involved in mathematical models and do not support conceptual modularity such as hierarchical problem definition, buttom-up model construction from submodels, piecemeal approach to problem definition. To overcome the limitations, IMF(Integrated Modeling Framework) has been suggested, which provides a multi-facetted integrated modeling framework. The purpose of this thesis is to develop a methodology for representing and manipulating mathematical models in IMF. It provides subscriptfree indexing and factorable functions in order to enhance the simplicity and understandability in model construction and manipulation. Based on these ideas, a hypertext-based modeling environment called HyDSS is implemented, where models, data, and solvers are separated.
경영과학 분야에서 수리 모형은 매우 복잡한 수리 관계를 포함하고 있기 때문에, 새로운 모형을 만들고 또는 기존에 존재하는 모형을 이해하는 데 많은 어려움이 있다. 이러한 어려움을 덜어주기 위하여 다양한 모형 표현 방법론들이 제시되었다. 그러나 대부분의 방법론들은 모형의 표현을 매우 추상화시키기 때문에 현실을 제대로 표현하는데 많은 한계성을 가지고 있다. 또한 대부분의 모형화 방법론들은 conceptual modularity 측면에서 많은 약점을 가지고 있다. 통합모형화 틀은 위에서 제시한 수리 모형 표현의 한계성을 극복할 수 있는 좋은 개념적 모형화 틀을 제시한다. 본 논문의 통합모형화 틀내에서 수리모형의 표현과 관리에 관한 것이다. 수리모형을 표현할때 첨자를 사용하지 않고, 복잡한 수리함수를 단지 몇개의 단위 함수를 가지고 표현함으로써 모형을 새로 만들고, 기존의 수리 모형을 이해할때 직면하게 되는 어려움들을 효과적으로 감소시킬 수 있다. 위에서 제시한 모형화 방법론은 하이퍼텍스트를 사용하여 구현되었다. 새로운 모형화 환경의 이름은 HyDSS인데, HyDSS의 가장 중요한 특징은 모형과 데이타와 솔버가 완전히 분리되어 있어서, 불필요한 모형화 구성요소가 제거될 수 있다는 것이다.