형식적 방법론을 이용한 통신 소프트웨어 개발 지원 환경의 설계와 구현

Design and Implementation of a Support Environment for Communication Software Development based on Formal Methods

금후의 고도의 정보화 사회에서 발샐할 다양한 형태의 시스템 요구와 기대에 능동적이고도, 효과적으로 대처해 나가기 위해서는 보다 체계적인 컴퓨터 통신 소프트웨어 개발 방법론의 정비와 확립이 절실히 요구되고 있다. 본 논문에서는 (1)종래의 형식적 기술 기법보다 사용자 친화성(user-friendliness)이 높은 표현 기법으로 통합형 에디터의 제공, (2)(1)에서의 새로운 표현 기법으로부터 국제 표준의 형식적 기술 기법인 LOTOS로의 자동변환법의 제공, (3)형식사양 수준에서의 소프트웨어 재사용의 방법론을 제공한다. 그 결과, 사용자는 특정 FDT(Formal Description Technique)에 대한 깊은 지식이나 충분한 사용 경험이 없어도 시스템에 대한 깊은 지식이나 충분한 사용 경험이 없어도 시스템에 대한 구조적 요구와 동작요구, 데이터요구만 가지고 최종적으로 원하는 형식사양을 생성해 낼 수 있다. 이는 특정 FDT를 직접적으로 이용하는 것 보다 상대적으로 초기 학습의 부담이 적고 기술과 이해가 용이하다.