A Design Method of UI System based on Formal System Specification

시스템 형식론에 의한 사용자 인터페이스 시스템 설계 방법

본 논문에서는 소프트웨어 시스템의 설계 및 구현 과정에서 있을 수 있는 설계 변경 및 이에 따른 다른 변경 요인들을 정확하게 파악하고, 구현상의 변경으로 인한 전체 시스템이 영향 등을 체계적으로 정립하는 소프트웨어 설계 방법론을 특정 공정의 사용자 인터페이스 시스템을 통해 제시하였다. 대상 시스템, 즉 인터페이스 시스템을 시스템 이론(System theory)에서 정의하는 구조적 입출력 시스템 레벨(Structural I/O System level)의 요소들로 표현하고 다시 구조적 입출력 시스템 레벨을 입출력 시스템 레벨(I/O System level)로 변환하였다. 이를 다시 DEVS 모델로 재구성하여 DEVS(Discrete EVent system Specification) 시뮬레이션 환경에서 제공하는 시뮬레이터를 통하여 대상 시스템의 중요한 동적 특성을 소프트웨어 초기설계 시 또는 설계 변경 후 미리 파악할 수 있도록 하였다.