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 thirdparty 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.
Acknowledgments
This research was supported by the US Defense Advanced Research Projects Agency and Rome Laboratory, USAF, under Cooperative Agreement F30602-97-2-0031, and by the US National Science Foundation under Grant CCR-9357792. Views and conclusions contained in this document are those of the authors and should not be interpreted as representing the official policies, either expressed or implied, of Rome Laboratory, the US Department of Defense, or the US National Science Foundation. The US Government is authorized to reproduce and distribute reprints for Government purposes, notwithstanding any copyright notation thereon.
Chapter PDF
Similar content being viewed by others
Keywords
References
Robert Allen and David Garlan. A formal basis for architectural connection. In ACM Trans. on Software Engineering and Methodology, July 1997.
Robert Allen, David Garlan, and James Ivers. Formal modeling and analysis of the HLA component integration standard. In Sixth Intl. Symposium on the Foundations of Software Engineering (FSE-6), Nov. 1998.
Robert Allen. A Formal Approach to Software Architecture. PhD thesis, CMU, School of Computer Science, January 1997. CMU/SCS Report CMU-CS-97-144.
Edmund Clarke et al. Automatic verification of finite state concurrent systems using temporal logic specifications. In ACM Trans. on Programming Languages and Systems, April 1986.
Edmund Clarke et al. Verification Tools for Finite-State Concurrent Systems. A Decade of concurrency-Reflections and Perspectives. Springer Verlag LNCS 803, 1994.
Vlada Matena, Mark Hapner, Enterprise JavaBeans™, Sun Microsystems Inc., Palo Alto, California, 1998.
Failures Divergence Refinement: User Manual and Tutorial, 1.2β. Formal Systems (Europe) Ltd., Oxford, England, 1992.
David Garlan, Robert Allen, and John Ockerbloom. Architectural mismatch: Why reuse is so hard. IEEE Software, November 1995.
C. A. R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
Gerald J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
David C Luckham, et al. Specification and analysis of system architecture using Rapide. In IEEE Trans. on Software Engineering, April 1995.
Nancy A. Lynch and Mark R. Tuttle. An introduction to input/output automata. Technical Report MIT/LCS/TM-373, MIT LCS, 1988.
J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proceedings ESEC’95, Sept. 1995.
M. Moriconi, X. Qian, and R. Riemenschneider. Correct architecture refinement. In IEEE Trans. on Software Engineering, April 1995.
J.L. Peterson. Petri nets. ACM Computing Surveys, September 1977.
A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
Mary Shaw, et al. Abstractions for software architecture and tools to support them. In IEEE Trans. on Software Engineering, April 1995.
K.J. Sullivan, J. Socha, and M. Marchukov. Using formal methods to reason about architectural standards. In 1997 Intl. Conf. on Software Engineering, May 1997.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 1999 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sousa, J.P., Garlan, D. (1999). Formal modeling of the enterprise javabeans™ component integration framework. In: Wing, J.M., Woodcock, J., Davies, J. (eds) FM’99 — Formal Methods. FM 1999. Lecture Notes in Computer Science, vol 1709. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-48118-4_18
Download citation
DOI: https://doi.org/10.1007/3-540-48118-4_18
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-66588-5
Online ISBN: 978-3-540-48118-8
eBook Packages: Springer Book Archive