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