Proceedings of the Korean Operations and Management Science Society Conference (한국경영과학회:학술대회논문집)

The Korean Operations Research and Management Science Society (한국경영과학회)
권호 표지

A Verification Method for EJB Architecture

SPIN을 이용한 EJB 적합성 검증

  • 주운기 (선문대학교 지식정보산업공학과) ;
  • 김중배 (한국전자통신연구원 컴퓨터소프트웨어연구소)
  • Published : 2003.11.01
Download PDF
⟨ Previous Next ⟩

Abstract

This paper considers a verification problem on EJB(Enterprise JavaBeans). We select SPIN as a automatic verification tool and consider an instance management specification of CMP(Container Managed-Persistence) entity bean. By showing the verification procedure, we can conclude that SPH can be used to verify EJB systems.

Keywords