한국정보과학회:학술대회논문집 (Proceedings of the Korean Information Science Society Conference)
- 한국정보과학회 2005년도 가을 학술발표논문집 Vol.32 No.2 (2)
- /
- Pages.955-957
- /
- 2005
- /
- 1598-5164(pISSN)
Ada와 Statemate를 이용한 소프트웨어 설계모듈의 재사용
Reuse Of Software Design Module Using Ada and 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)
- 발행 : 2005.11.01
초록
Ada 언어의 일반화(Generic) 메커니즘은 복잡한 대형 시스템의 설계에 있어 소프트웨어의 재사용성을 높이기 위한 효과적인 방편으로 사용되어 왔다. 일반화 모듈은 기능 또는 알고리즘은 정의되었으나 파라미터의 구체적인 속성이 아직 정해지지 않은 한 개의 소프트웨어 모듈을 다양한 파라미터를 적용하여 여러 곳에서 반복적으로 사용할 수 있도록 한 개념이다. 정형이론 및 구조적 설계기법에 기반한 설계도구인 Stalemate 또한 설계 모듈의 반복적인 재사용을 위해 일반화 차트(Generic Chart)를 제공하고 있다. ATCS(Air Traffic Control System) 설계 모듈에 적용한 결과 두 가지 모두 소프트웨어의 재사용과 설계의 효율성 향상을 위한 도구로 활용할 수 있으며 Statemate의 경우 일반화 차트를 다양한 자료형으로 실례화(Instantiation)할 수 있다면 보다 효과적인 설계모듈의 재사용이 가능할 것이다.
키워드