한국정보처리학회:학술대회논문집 (Proceedings of the Korea Information Processing Society Conference)
- 한국정보처리학회 2002년도 춘계학술발표논문집 (상)
- /
- Pages.439-442
- /
- 2002
- /
- 2005-0011(pISSN)
- /
- 2671-7298(eISSN)
Object-Z를 이용한 EJB 컴포넌트 정형명세
Formal Specification of EJB Component using Object-Z
- Park, Ki-Chang (Dept of Computer Science, Chonnam National University) ;
- Kim, Byung-Ki (Dept of Computer Science, Chonnam National University)
- 발행 : 2002.04.12
초록
컴포넌트 명세는 컴포넌트와 클라이언트 사이의 계약으로 볼 수 있다. 하지만 현재의 컴포넌트 명세는 인터페이스 명세 언어(Interface Definition Language)와 정확성이 결여된 자연어로 작성된 명세에 의존하고 있다. 이러한 명세는 모호성, 불완전성, 모순등을 포함할 수 있다. 따라서 컴포넌트 명세는 이러한 점을 충분히 고려하여 진행되어야 하는데 본 연구에서는 EJB 컴포넌트의 코드 템플릿을 반영하여 요구사항을 Object-Z로 명세하고 이러한 명세로부터 컴포넌트를 구현하는 단계를 제시하였다.
키워드