한국경영과학회:학술대회논문집 (Proceedings of the Korean Operations and Management Science Society Conference)
- 한국경영과학회 2003년도 추계학술대회 및 정기총회
- /
- Pages.135-138
- /
- 2003
SPIN을 이용한 EJB 적합성 검증
A Verification Method for EJB Architecture
초록
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.
키워드