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 Microsystem's Enterprise JavaBeans(TM) (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.

Open PDF

Document Details

Document Type
Technical Report
Publication Date
Sep 01, 2000
Accession Number
ADA385126

Entities

People

  • David Garlan
  • Joao P. Sousa

Organizations

  • Carnegie Mellon University

Tags

DTIC Thesaurus Topics

  • Abstracts
  • Air Force
  • Alphabets
  • Application Software
  • Basic Programming Language
  • Case Studies
  • Client Server Systems
  • Computer Programming
  • Computer Programs
  • Computer Science
  • Graphical User Interface
  • Infrastructure
  • Language
  • Robotics
  • Software Development
  • Standards
  • User Interface

Fields of Study

  • Computer science
  • Engineering

Readers

  • Software Engineering.