Analysis of object interaction during the enterprise javabeans lifecycle using formal specification technique

ABSTRACT

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.

REFERENCES

• 1: Detlef Kreuz, Formal Specification of CORBA Services using Object-Z, The University of Hamburg-Harburg Telematics Group 21073 Hamburg, Germany, 1999.
• 2: Kevin J. Sullivan , Mark Marchukov , John Socha, Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model, IEEE Transactions on Software Engineering, v.25 n.4, p.584-599, July 1999 [doi>10.1109/32.799960]
• 3: Joao Pedro Sousa and David Garlan, Formal Modeling of the Enterprise JavaBeans™ Component Integration Framework, School of Computer Science Carnegie Mellin University Pittsburgh, PA 15213 USA, 1999.
• 4: Ed Roman, Mastering enterprise JavaBeans and the Java 2 platform, enterprise edition, John Wiley & Sons, Inc., New York, NY, 1999
• 5: Nismal Nissanke , Nimal Nissanke, Formal Specification: Techniques and Applications, Springer-Verlag, London, 1999
• 6: Ben Potter , David Till , Jane Sinclair, An Introduction to Formal Specification and Z, Prentice Hall PTR, Upper Saddle River, NJ, 1996
• 7: Robert France, A problem-oriented analysis of basic UML static requirements modeling concepts, Proceedings of the 14th ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, p.57-69, November 01-05, 1999, Denver, Colorado, United States
• 8: Enterprise JavaBeans™ Specification, v1.1, Sun Microsystems, Inc., 1999.
• 9: Robert G. Clark, Ana M. D. Moreira, Constructing Formal Specifications from Informal Requirements, IEEE, 1997.
• 10: Jonathan P. Bowen , Michael G. Hinchey, Ten Commandments of Formal Methods, Computer, v.28 n.4, p.56-63, April 1995 [doi>10.1109/2.375178]
• 11: Jonathan P. Bowen , Michael G. Hinchey, Seven More Myths of Formal Methods, IEEE Software, v.12 n.4, p.34-41, July 1995 [doi>10.1109/52.391826]