Formal modeling of the Enterprise JavaBeans(TM) component integration framework

Abstract An emerging trend in the engineering of complex systems is the use of component integration frameworks. Such a framework prescribes an architectural design that permits flexible composition of third-party components into applications. A good example is Sun Microsystems' Enterprise JavaBeans ™ (EJB) framework, which supports object-oriented, distributed, enterprise-level applications, such as account management systems. One problem with frameworks like EJB is that they are documented informally, making it difficult to understand precisely what is provided by the framework, and what is required to use it. We believe formal specification can help, and in this paper show how a formal architectural description language can be used to describe and provide insight into such frameworks.

[1]  Richard N. Taylor,et al.  A Component- and Message-Based Architectural Style for GUI Software , 1995, 1995 17th International Conference on Software Engineering.

[2]  David Garlan,et al.  A formal basis for architectural connection , 1997, TSEM.

[3]  C. A. R. Hoare,et al.  Communicating sequential processes , 1978, CACM.

[4]  David Garlan,et al.  Acme: architectural description of component-based systems , 2000 .

[5]  Gerard J. Holzmann,et al.  Design and validation of computer protocols , 1991 .

[6]  David Garlan,et al.  A Formal Approach to Software Architectures , 1992, IFIP Congress.

[7]  Nancy A. Lynch,et al.  An introduction to input/output automata , 1989 .

[8]  Robert J. Allen.  A formal approach to software architecture , 1997 .

[9]  Kevin J. Sullivan,et al.  Using Formal Methods to Reason about Architectural Standards , 1996, Proceedings of the (19th) International Conference on Software Engineering.

[10]  Edmund M. Clarke,et al.  Verification Tools for Finite-State Concurrent Systems , 1993, REX School/Symposium.

[11]  Naranker Dulay,et al.  Specifying Distributed Software Architectures , 1995, ESEC.

[12]  David Garlan,et al.  Formal Modeling of the Enterprise JavaBeansTM Component Integration Framework , 1999, World Congress on Formal Methods.

[13]  Mary Shaw,et al.  Abstractions for Software Architecture and Tools to Support Them , 1995, IEEE Trans. Software Eng..

[14]  David Garlan,et al.  Architectural Mismatch: Why Reuse Is So Hard , 1995, IEEE Softw..

[15]  C LuckhamDavid,et al.  Specification and Analysis of System Architecture Using Rapide , 1995 .

[16]  Andrew William Roscoe,et al.  The Theory and Practice of Concurrency , 1997 .

[17]  David Garlan,et al.  Formal modeling and analysis of the HLA component integration standard , 1998, SIGSOFT '98/FSE-6.

[18]  Murali Sitaraman,et al.  Foundations of component-based systems , 2000 .

[19]  Xiaolei Qian,et al.  Correct Architecture Refinement , 1995, IEEE Trans. Software Eng..

[20]  James L. Peterson,et al.  Petri Nets , 1977, CSUR.