Annual Conference of KIPS (한국정보처리학회:학술대회논문집)

  • 2002.04a
  • /
  • Pages.439-442
  • /
  • 2002
  • /
  • 2005-0011(pISSN)
  • /
  • 2671-7298(eISSN)
Korea Information Processing Society (한국정보처리학회)
권호 표지

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
Download PDF
⟨ Previous Next ⟩

Abstract

컴포넌트 명세는 컴포넌트와 클라이언트 사이의 계약으로 볼 수 있다. 하지만 현재의 컴포넌트 명세는 인터페이스 명세 언어(Interface Definition Language)와 정확성이 결여된 자연어로 작성된 명세에 의존하고 있다. 이러한 명세는 모호성, 불완전성, 모순등을 포함할 수 있다. 따라서 컴포넌트 명세는 이러한 점을 충분히 고려하여 진행되어야 하는데 본 연구에서는 EJB 컴포넌트의 코드 템플릿을 반영하여 요구사항을 Object-Z로 명세하고 이러한 명세로부터 컴포넌트를 구현하는 단계를 제시하였다.

Keywords