Skip to main content
SpringerLink
Log in

Toward a Formal Model of Software Components

  • Conference paper
  • First Online:
Formal Methods and Software Engineering (ICFEM 2002)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 2495))

Included in the following conference series:

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 84.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 109.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 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.

  2. 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.

  3. 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.

  4. 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.

  5. 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.

    Google Scholar 

  6. 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.

    Google Scholar 

  7. D. Flanagan. Java in a Nutshell. O’Reilly, 1999.

    Google Scholar 

  8. E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: Elements of reusable object-oriented software. Addison-Wesley, 1995.

    Google Scholar 

  9. 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.

    Google Scholar 

  10. ITU-TS, Geneva. ITU-TS Recommendations Z.120: Message Sequence Chart (MSC), 1996.

    Google Scholar 

  11. 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.

    Google Scholar 

  12. Microsoft Corporation. The Component Object Model Specification, Version 0.9, 1995. http://www.microsoft.com/com/resources/comdocs.asp.

  13. 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.

  14. J. Rumbaugh, I. Jacobsen, and G. Booch. Unified Modeling Language Reference Manual. Addison-Wesley, 1997.

    Google Scholar 

  15. G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 1999.

    Google Scholar 

  16. 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.

    Chapter  Google Scholar 

  17. Sun Microsystems. JavaBeans Specification, Version 1.01, 1997. http://java.sun.com/products/javabeans/docs/spec.html.

  18. Sun Microsystems. Enterprise JavaBeans Specification, Version 2.0, 2001. http://java.sun.com/products/ejb/docs.html.

  19. Sun Microsystems. JavaBeans Tutorial, 2001. http://developer.java.sun.com/developer/on-lineTraining/Beans/beans02.

  20. C. Szyperski. Component Software. ACM Press, Addison-Wesley, 1999.

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Technische Universität Ilmenau, Germany

    Maritta Heisel

  2. Technische Universität Berlin, Germany

    Thomas Santen

  3. LORIA-Université, Nancy2, France

    Jeanine Souquières

Authors
  1. Maritta Heisel
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Thomas Santen
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Jeanine Souquières
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. International Institute for Software Technology, United Nations University, Casa Silva Mendes, Est. do Engenheiro Trigo No. 4, P.O. Box 3058, Macao

    Chris George

  2. School of Computer Engineering and Science, Shanghai University, 149 Yanchang Road, Shanghai, 200072, P.R. China

    Huaikou Miao

Rights and permissions

Reprints 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

Publish with us

Policies and ethics

Search

Navigation