×

An experience in architectural extensions: Active objects in J2EE. (English) Zbl 1025.68566

Guelfi, Nicolas (ed.) et al., Scientific engineering for distributed Java applications. International workshop, FIDJI 2002, Luxembourg-Kirchberg, Luxembourg, November 28-29, 2002. Revised papers. Berlin: Springer. Lect. Notes Comput. Sci. 2604, 87-98 (2003).
Summary: In this paper we present an experience in architectural extension. The goal of our project was to provide Active Objects in the Java 2 Enterprise Edition (J2EE) reference architecture by suitable extensions that should not violate the architectural J2EE principles. Our approach to the problem was rather formal. We first formalized the notion of Active Object, the basic characteristics of the J2EE model and its component model Enterprise JavaBeans (EJB). Then, driven by the peculiar characteristics of an Active Object, we investigated several possible architectural extensions. The solutions were formalized as well and their consistency with the J2EE model was validated by using model checking techniques. In this way we discovered that only one of them was acceptable. The whole formalization and validation has been carried out by using the Charmy environment, where the architectural formalization makes use of diagrammatic notations, Scenarios and State Diagrams, and SPIN is the target model checking engine.
For the entire collection see [Zbl 1015.68867].

MSC:

68U99 Computing methodologies and applications
68N19 Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.)

Software:

Charmy; SPIN
PDFBibTeX XMLCite
Full Text: Link