Structured Modeling is a modeling technique to provide a formal framework for conceiving and representing wide variety of models. Structured modeling aims to do model-based works with greater productivity and acceptance by even non-specialist to modeling. It use the notion of a definitional system to represent a model.
In this thesis, a Computerized system called Structured Modeling Support System (SMSS) is developed. It supports users for the design, analysis and solving of a mathematical model based on structured modeling concepts. It provides a nonprocedural language, called Structured Modeling Specification Language (SMSL), for describing a model in natural terminology. It also defines rules that a structured model should keep to be solved and provides checking processors for these rules. With this language and rule checking processors, the user can easily express a model, get various reports for the model schema and check logical errors of the model. A solver for finance models is also developed and users can solve financial planning problems with the support of the SMSS.
모델을 통한 의사 결정 지원은 경영 과학 분야에서 중요한 연구 분야 인데, 현재 까지의 연구는 현실로 부터 모형을 설계해 내는 과정 보다는 일단 설계된 모형을 토대로 문제를 분석, 해결 하는 과정에 더 치중하여 왔다. 구조적 모형화 (Structured Modeling) 기법은 현실로 부터 모형을 설계하는 과정 까지 포함하는, 모형을 통한 의사 결정의 전 단계를 지원 하기 위한 것으로서 개념적 모형화 (Conceptual Modeling), 단계적 설계 (Top-down Design) 및 고급 모형화 언어(High-level Modeling Language) 등의 개념에 바탕을 둔 것이다.
본 논문의 목적은 구조적 모형화 기법을 실질적으로 모형을 통한 의사 결정 과정에 사용할 수 있게 해주는 지원 시스템을 설계, 구현 하는 것이다. 이 지원 시스템 (Structured Modeling Support System) 은 모형의 기술을 위한 명세 언어 (Structured Modeling Specification Language) 부분, 모형의 정확성 을 검증하는 프로그램 부분 및 재무 모형을 풀기 위한 프로그램 부분 등으로 이루어져 있다.
이 지원 시스템을 이용 함으로써, 모형의 표현을 보다 자연어에 가깝게하여 모형의 이해 및 모형을 통한 의사 소통이 쉽게 되며, 모형의 검증, 수정 및 문서화가 용이해 진다. 재무 모형을 대상 으로 하는 경우에는 모형의 해결 과정에 대해서도 도움을 받을 수있다.
현재의 지원 시스템은 앞으로 개선을 통해 보다 완전한 시스템이 될 수 있으며, 현재 상태로도 구조적 모형화 기법의 실제 적용을 위한 구체적 도구로서 가치가 있다 하겠다.
