Remember Me
Or use your Academic/Social account:


You have just completed your registration at OpenAire.

Before you can login to the site, you will need to activate your account. An e-mail will be sent to you with the proper instructions.


Please note that this site is currently undergoing Beta testing.
Any new content you create is not guaranteed to be present to the final version of the site upon release.

Thank you for your patience,
OpenAire Dev Team.

Close This Message


Verify Password:
Verify E-mail:
*All Fields Are Required.
Please Verify You Are Human:

OpenAIRE is about to release its new face with lots of new content and services.
During September, you may notice downtime in services, while some functionalities (e.g. user registration, login, validation, claiming) will be temporarily disabled.
We apologize for the inconvenience, please stay tuned!
For further information please contact helpdesk[at]openaire.eu

fbtwitterlinkedinvimeoflicker grey 14rssslideshare1
Heisel , Maritta; Santen , Thomas; Souquières , Jeanine (2002)
Publisher: HAL CCSD
Languages: English
Types: Report
Subjects: [ INFO.INFO-OH ] Computer Science [cs]/Other [cs.OH], spécification, component, composants, component model, modèle de composant
Rapport interne.; We specify the JavaBean component model and concrete beans using a combination of UML class diagrams, an extension of Object-Z, and life sequence charts. We extend Object-Z by keywords that allow one to concisely describe the interface of a bean by an Object-Z class specification. The component model specification provides specification templates consisting of class diagrams, Object-Z fragments, and life sequence charts that precisely capture the functional behavior of beans in general, including the interaction of beans that cooperate in a system. The new keywords used for specifying concrete beans translate to instances of the component model specification templates, showing that our extension of Object-Z is syntactical sugar only.
  • The results below are discovered through our pilot algorithms. Let us know how we are doing!

    • [1] A. Beugnard. Communication Services as Components for Telecommunication Applications. In Proc. 14th European Conference on Object-Oriented Programming,ECOOP'2000. Sophia Antipolis et Cannes (F), 2000. http://www.-info.enstbretagne.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 Mu¨nchen, 2001. http://www.pst.informatik.unimuenchen.de/GI2001/gi-band.pdf.
    • [3] E. Cariou. Spe´cification de composants de communication en UML. In Proc. Objets, Composants, Mode`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.
    • [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.
    • [7] D. Flanagan. Java in a Nutshell. O'Reilly, 1999.
    • [8] E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design patterns: Elements of reusable object-oriented software. Addison-Wesley, 1995.
    • [9] ITU-TS, Geneva. ITU-TS Recommendations Z.120: Message Sequence Chart (MSC), 1996.
    • [10] 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.
    • [11] Microsoft Corporation. The Component Object Model Specification, Version 0.9, 1995. http://www.microsoft.com/com/resources/comdocs.asp.
    • [12] 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.
    • [13] J. Rumbaugh, I. Jacobsen, and G. Booch. Unified Modeling Language Reference Manual. Addison-Wesley, 1997.
    • [14] G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 1999.
    • [15] G. Smith, F. Kammu¨ller, and T. Santen. Encoding Object-Z in Isabelle/HOL. In ZB2002, LNCS. Springer-Verlag, 2002. to appear.
    • [16] Sun Microsystems. JavaBeans Specification, Version 1.01, 1997. http://java.sun.com/products/javabeans/docs/spec.html.
    • [17] Sun Microsystems. Enterprise JavaBeans Specification, Version 2.0, 2001. http://java.sun.com/products/ejb/docs.html.
    • [18] Sun Microsystems. JavaBeans Tutorial, 2001. http://developer.java.sun.com/developer/onlineTraining/Beans/beans02.
    • [19] C. Szyperski. Component Software. ACM Press, Addison-Wesley, 1999.
    • [20] A. M. Zaremski and J. M. Wing. Specification matching of software components. In G. E. Kaiser, editor, Proc. of the Third ACM SIGSOFT Symposium on the Foundations of Software Engineering, Software Engineering Notes 20(4), pages 6-17. ACM Press, 1995.
  • No related research data.
  • Discovered through pilot similarity algorithms. Send us your feedback.

Share - Bookmark

Cite this article

Cookies make it easier for us to provide you with our services. With the usage of our services you permit us to use cookies.
More information Ok