Formal modeling of the enterprise javabeans™component integration framework

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1709, Issue , 1999, Pages 1281-1300

  Sousa, João Pedro ^a   Garlan, David ^a  

^a Carnegie Mellon University ^*  (United States)

Author keywords

Component integration standards; Component based software; Enterprise JavaBeans; Software architecture; Software frameworks

Indexed keywords

OBJECT ORIENTED PROGRAMMING; SOFTWARE ARCHITECTURE;

ACCOUNT MANAGEMENT; ARCHITECTURAL DESCRIPTION LANGUAGES; COMPONENT BASED SOFTWARE; COMPONENT INTEGRATION; EMERGING TRENDS; ENTERPRISE JAVABEANS; SOFTWARE FRAMEWORKS; SUN MICROSYSTEMS;

FORMAL METHODS;

EID: 33749009717     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-48118-4_18     Document Type: Conference Paper

References (18)

1. Robert Allen and David Garlan. A formal basis for architectural connection. In ACM Trans. On Software Engineering and Methodology, July 1997.
2. 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.
3. Robert Allen. A Formal Approach to Software Architecture. PhD thesis, CMU, School of Computer Science, January 1997. CMU/SCS Report CMU-CS-97-144.
4. 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.
5. Edmund Clarke et al. Verification Tools for Finite-State Concurrent Systems. A Decade of concurrency - Reflections and Perspectives. Springer Verlag LNCS 803, 1994.
6. Vlada Matena, Mark Hapner, Enterprise JavaBeans™, Sun Microsystems Inc., Palo Alto, California, 1998.
7. Failures Divergence Refinement: User Manual and Tutorial, 1.2/3.FormalSystems (Europe) Ltd., Oxford, England, 1992.
8. David Garlan, Robert Allen, and John Ockerbloom. Architectural mismatch: Why reuse is so hard. IEEE Software, November 1995.
9. C.A.R. Hoare. Communicating Sequential Processes. Prentice Hall, 1985.
10. Gerald J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
11. David C Luckham, et al. Specification and analysis of system architecture using Rapide. In IEEE Trans. On Software Engineering, April 1995.
12. Nancy A. Lynch and Mark R. Tuttle. An introduction to input/output automata. Technical Report MIT/LCS/TM-373, MIT LCS, 1988.
13. J. Magee, N. Dulay, S. Eisenbach, and J. Kramer. Specifying distributed software architectures. In Proceedings ESEC'95, Sept. 1995.
14. M. Moriconi, X. Qian, and R. Riemenschneider. Correct architecture refinement. In IEEE Trans. On Software Engineering, April 1995.
15. J.L. Peterson. Petri nets. ACM Computing Surveys, September 1977.
16. A. W. Roscoe. The Theory and Practice of Concurrency. Prentice Hall, 1998.
17. Mary Shaw, et al. Abstractions for software architecture and tools to support them. In IEEE Trans. On Software Engineering, April 1995.
18. 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.