Proceedings of the Korean Information Science Society Conference (한국정보과학회:학술대회논문집)

  • 2005.11b
  • /
  • Pages.955-957
  • /
  • 2005
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Reuse Of Software Design Module Using Ada and Statemate

Ada와 Statemate를 이용한 소프트웨어 설계모듈의 재사용

  • Kim Changjin (Computer Theory & Formal Method Lab, Department of Computer Science, Korea University) ;
  • Choi Jin-Young (Computer Theory & Formal Method Lab, Department of Computer Science, Korea University)
  • 김창진 (고려대학교 컴퓨터학과 컴퓨터이론 및 정형기법 연구실) ;
  • 최진영 (고려대학교 컴퓨터학과 컴퓨터이론 및 정형기법 연구실)
  • Published : 2005.11.01
Download PDF
⟨ Previous Next ⟩

Abstract

Ada 언어의 일반화(Generic) 메커니즘은 복잡한 대형 시스템의 설계에 있어 소프트웨어의 재사용성을 높이기 위한 효과적인 방편으로 사용되어 왔다. 일반화 모듈은 기능 또는 알고리즘은 정의되었으나 파라미터의 구체적인 속성이 아직 정해지지 않은 한 개의 소프트웨어 모듈을 다양한 파라미터를 적용하여 여러 곳에서 반복적으로 사용할 수 있도록 한 개념이다. 정형이론 및 구조적 설계기법에 기반한 설계도구인 Stalemate 또한 설계 모듈의 반복적인 재사용을 위해 일반화 차트(Generic Chart)를 제공하고 있다. ATCS(Air Traffic Control System) 설계 모듈에 적용한 결과 두 가지 모두 소프트웨어의 재사용과 설계의 효율성 향상을 위한 도구로 활용할 수 있으며 Statemate의 경우 일반화 차트를 다양한 자료형으로 실례화(Instantiation)할 수 있다면 보다 효과적인 설계모듈의 재사용이 가능할 것이다.

Keywords