Abstract
We are interested in specifying component models in a way that allows us to analyze the interplay of components in general, and to concisely specify individual components. As a starting point for coming up with a technique of specifying component models, we consider JavaBeans. We capture the JavaBean component model using UML class diagrams, Object-Z, and life sequence charts.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
A. Beugnard. Communication Services as Components for Telecommunication Applications. In Proc. 14th European Conference on Object-OrientedProgramming,ECOOP’2000. Sophia Antipolis et Cannes (F), 2000. http://www-info.enst-bretagne.fr/medium.
A. Brucker and B. Wolff. Testing distributed component based systems using UML/OCL. In M. Wirsing, editor, Workshop on Integrating Diagrammatic and Formal Specification Techniques, pages 17–23. LMU Munchen, 2001. http://www.pst.informatik.unimuenchen.de/GI2001/gi-band.pdf.
E. Cariou. Spécification de composants de Communication en UML. In Proc. Objets, Composants, Modèles (OCM’2000), 2000. http://www-info.enst-bretagne.fr/medium.
S. Cimato. A Methodology for the Specification of Java Components and Architectures. PhD thesis, University of Bologna, 1999. http://www.cs.unibo.it/~cimato/www/papers/sty.ps.gz.
S. Cimato. Specifying component-based Java applications. In P. Ciancarini, A. Fantechi, and R. Gorrieri, editors, Proc. 3rd Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), pages 105–112, 1999.
W. Damm and D. Harel. LSCs: Breathing life into message sequence charts. In Proc. 3rd Conf. on Formal Methods for Open Object-Based Distributed Systems (FMOODS), 1999.
D. Flanagan. Java in a Nutshell. O’Reilly, 1999.
E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: Elements of reusable object-oriented software. Addison-Wesley, 1995.
M. Heisel, T. Santen, and J. Souquières. On the specification of components-the JavaBeans example. Technical Report A02-R-025, LORIA, Nancy, France, 2002.
ITU-TS, Geneva. ITU-TS Recommendations Z.120: Message Sequence Chart (MSC), 1996.
J. Klose and H. Wittke. An automata based interpretation of live sequence charts. In T. Margaria and Wang Yi, editors, Proc. TACAS’2001, LNCS 2031, 2001.
Microsoft Corporation. The Component Object Model Specification, Version 0.9, 1995. http://www.microsoft.com/com/resources/comdocs.asp.
The Object Mangagement Group (OMG). The Common Object Request Broker: Architecture and Specification, Revision 2.2, February 1998. http://cgi.omg.org/library/corbaiiop.html.
J. Rumbaugh, I. Jacobsen, and G. Booch. Unified Modeling Language Reference Manual. Addison-Wesley, 1997.
G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 1999.
G. Smith, F. Kammüller, and T. Santen. Encoding Object-Z in Isabelle/HOL. In D. Bert, J. P. Bowen, M. C. Henson, and K. Robinson, editors, ZB2002: Formal Specification and Development in Z and B, LNCS 2272, pages 82–99. Springer-Verlag, 2002.
Sun Microsystems. JavaBeans Specification, Version 1.01, 1997. http://java.sun.com/products/javabeans/docs/spec.html.
Sun Microsystems. Enterprise JavaBeans Specification, Version 2.0, 2001. http://java.sun.com/products/ejb/docs.html.
Sun Microsystems. JavaBeans Tutorial, 2001. http://developer.java.sun.com/developer/on-lineTraining/Beans/beans02.
C. Szyperski. Component Software. ACM Press, Addison-Wesley, 1999.
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2002 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Heisel, M., Santen, T., Souquières, J. (2002). Toward a Formal Model of Software Components. In: George, C., Miao, H. (eds) Formal Methods and Software Engineering. ICFEM 2002. Lecture Notes in Computer Science, vol 2495. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-36103-0_8
Download citation
DOI: https://doi.org/10.1007/3-540-36103-0_8
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-00029-7
Online ISBN: 978-3-540-36103-9
eBook Packages: Springer Book Archive