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

국문 초록 (Abstract)

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

다국어 초록 (Multilingual Abstract)

Systematic paradigm and support are essentially required for current large-scale and complicated system development In this paper, we propose (1) an integrated editor which has user friendliness than other conventional structured editors for formal description, (2) a automatic translation function to LOTOS from the expression made by the proposed editor, and (3) a software reuse methodology in formal specification level
From these, as a result, user can generate formal specification based on LOTOS without enough knowledge and experience on a specific FDT only with the requirements of structural, behavioral and data Employing formal specification and the software reuse in the specification level cause the effectiveness of development by rapid feedback in the upper process of software development life cycle

목차 (Table of Contents)

• 요약
• ABSTRACT
• 1. 서론
• 2. 형식적 기술 기법(FDT)과 LOTOS
• 3. 제안 시스템
• 4. 시스템 구현 및 평가
• 5. 결론
• 참고문헌