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

  • 2006.06c
  • /
  • Pages.166-168
  • /
  • 2006
  • /
  • 1598-5164(pISSN)
Korean Institute of Information Scientists and Engineers (한국정보과학회)
권호 표지

Extension of Stalemate Generic Chart for the Reuse of Software Design Module

소프트웨어 설계 모듈의 재사용을 위한 Statemate 일반화 차트의 확장

  • Kim Chang-Jin (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 : 2006.06.01
Download PDF
⟨ Previous Next ⟩

Abstract

Stalemate는 정형이론 및 Statechart를 기반으로 하는 설계도구로서 시스템의 기능적, 구조적 분해를 통해 계층적으로 모듈화된 설계 단위를 작성할 수 있도록 한다. 또한 동일한 기능을 수행하는 설계모듈을 반복적으로 재사용하기 위한 일반화 차트 메커니즘을 지원하는데 본 논문에서는 Statemate가 지원하는 Ada 언어의 재사용 컴포넌트 개념을 적용하여 일반화 차트가 처리할 수 있는 형식매개변수의 자료형 제약을 완화시킨 확장된 개념의 재사용 설계모듈을 제시한다.

Keywords