Analysis of object interaction during the enterprise javabeans lifecycle using formal specification technique
Ji-Hyun Lee, Cheol-Jung Yoo, Ok-Bae Chang · ACM SIGPLAN Notices · 2002
Today's many software projects are based on integration of independently designed software components that are acquired on the market, rather than developed within the projects as a whole. Such a component-based development is an architectural design that permits flexible composition of components into applications. EJB is a good example of these components architecture. Sometimes we misunderstand how EJB operates precisely, because EJB specification is documented in informal language. This paper presents a rigorous analysis of object interaction during the Enterprise JavaBeans lifecycle which is documented informally in EJB specification and shows how a formal specification language can be used to define this. There are a number of different formal languages for software specification including Z and VDM. We have chosen to use Z notation for the reasons that Z has a large variety of notation and it is based on the set theory that forms an adequate basis for building more complex data structures.