Abstract
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.
in the following, terms “method” and “service” will be used interchangeably.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
L. G. DeMichiel, L. Ümit Yalçinalp, and S. Krishna. Enterprise JavaBeansTM Specification, Version 2.0. On-line at <http://java.sun.com/products/ejb/ docs.html>, year2001.
G. J. Holzmann. Design and Validation of Computer Protocols. Prentice Hall, 1991.
P. Inverardi, F. Mancinelli, H. Muccini, and P. Pelliccione. An Experience in Architectural Extensions: Active Objects in J2EE. In Technical Report, University of L’Aquila, year 2002. On-line at <http://www.henrymuccini.com/publications.htm>.
P. Inverardi, H. Muccini, and P. Pelliccione. Automated Check of Architectural Models Consistency using SPIN. In the Automated Software Engineering Conference Proceedings (ASE 2001). San Diego, California, November 2001.
P. Inverardi, H. Muccini, and P. Pelliccione. Checking Consistency Between Architectural Models Using SPIN. In TR 02/01, University of L’Aquila. On-line at <http://www.henrymuccini.com/publications.htm>, year 2001.
P. Inverardi, H. Muccini, and P. Pelliccione. Checking Consistency Between Architectural Models Using SPIN. In Proc. the First Int. Workshop From Software Requirements to Architectures (STRAW’01), year 2001.
T. Jenkinson. The Active Object Design Paradigm. On-line at <http://www.cs.ncl.ac.uk/people/t.j.jenkinson/home.formal/activeobjects.html>.
N. Kassem and the Enterprise Team. Designing Enterprise Applications with the JavaTM 2 Platform, Enterprise Edition. On-line at <http://java.sun.com/j2ee/download.html>, year 2000.
R. Kazman, L. Bass, G. Abowd, and M. Web. Saam: A method for analyzing the properties of software architectures. Proceedings of ICSE 16, Sorrento, Italy:81–90, May 1994.
R. G. Lavender and D. C. Schmidt. Active Object-An Object Behavioral Pattern for Concurrent Programming. Proceeding fo the Second Pattern Languages of Programming conference, Monticello, Illinois, 1995.
V. Matena and M. Hapner. Enterprise JavaBeansTM Specification, v 1.1. On-line at <http://java.sun.com/products/ejb/docs.html>, year1999.
J. Ryser and M. Glinz. A Practical Approach to Validating and Testing Software Systems Using Scenarios. QWE’99: Third International Software Quality Week Europe, Brussels, Nov 1999.
B. Shannon. Java 2 Platform Enterprise Edition Specification, v1.3. On-line at <http://java.sun.com/ j2ee/>, year 2001.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Inverardi, P., Mancinelli, F., Muccini, H., Pelliccione, P. (2003). An Experience in Architectural Extensions: Active Objects in J2EE. In: Guelfi, N., Astesiano, E., Reggio, G. (eds) Scientific Engineering for Distributed Java Applications. FIDJI 2002. Lecture Notes in Computer Science, vol 2604. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36520-6_8
Download citation
DOI: https://doi.org/10.1007/3-540-36520-6_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00679-4
Online ISBN: 978-3-540-36520-4
eBook Packages: Springer Book Archive