한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2000년도 제13회 춘계학술대회 및 임시총회 학술발표 논문집
- /
- Pages.1007-1012
- /
- 2000
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
Z를 이용한 컴포넌트 명세 전략 및 방법
Component Specification Method using Z
- Jang, Jong-Pyo (Dept of Computer Science, Chonnam National University) ;
- Kim, Byung-Ki (Dept of Computer Science, Chonnam National University)
- 발행 : 2000.04.14
초록
CBSE를 이루는 관련 기술들 중 하나인 소프트웨어 아키텍처는 시스템의 구조적 기술로서 시스템을 구성하는 컴포넌트와 그 컴포넌트들 사이의 상호작용을 기술한 것이다. 소프트웨어 아키텍처는 CBSE에서의 컴포넌트 사이의 조합에 대한 기술 및 방법론을 제공함을써, CBSE의 핵심 기술 중 하나로 자리잡고 있다. 본 논문에서는 컴포넌트 명세를 위해서 Formal methods와 ADL이 가지고 있는 장단점을 상호보완하하기 위하여 Z언어를 이용하여 컴포넌트, 커넥터, 전체 시스템 구성을 기술하는 3가지 전략과 이 전략을 기반으로 컴포넌트를 명세하는 방법을 제안한다.
키워드