Towards a Formal Framework for JavaBeans and Enterprise JavaBeans
Kwang Wu Lee
Department of Computer Science
University of Canterbury
Abstract
This project aims to provide a framework for the formal specification of JavaBeans and Enterprise JavaBeans (EJB), Sun Microsystems’ component technology. We develop a list of properties that distinguishes beans from a Java class. For example, we formalise the notion of session beans, home/remote interfaces, etc. We also briefly touch upon the use of JavaBeans/EJB technology in a particular application.