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

Authors:
Ji-Hyun Lee;Cheol-Jung Yoo;Ok-Bae Chang
Affiliations:
Chonbuk National University, Korea;Chonbuk National University, Korea;Chonbuk National University, Korea
Venue:
ACM SIGPLAN Notices
Year:
2002

Citing 9
Cited 0

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
Analysis of a Conflict between Aggregation and Interface Negotiation in Microsoft's Component Object Model

IEEE Transactions on Software Engineering
Mastering enterprise JavaBeans and the Java 2 platform, enterprise edition

Mastering enterprise JavaBeans and the Java 2 platform, enterprise edition
An Introduction to Formal Specification and Z

An Introduction to Formal Specification and Z
Formal Specification: Techniques and Applications

Formal Specification: Techniques and Applications
Ten Commandments of Formal Methods

Computer
Seven More Myths of Formal Methods

IEEE Software
Constructing Formal Specifications from Informal Requirements

STEP '97 Proceedings of the 8th International Workshop on Software Technology and Engineering Practice (STEP '97) (including CASE '97)
Formal Specification of CORBA Services using Object-Z

ICFEM '98 Proceedings of the Second IEEE International Conference on Formal Engineering Methods

Quantified Score

Hi-index	0.00

Visualization

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.