Portal de Periódicos da CAPES

Formal modeling of the enterprise javabeans™ component integration framework

1999; Springer Science+Business Media; Linguagem: Inglês

10.1007/3-540-48118-4_18

1611-3349

João Pedro Sousa, David Garlan,

Business Process Modeling and Analysis

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.