Toward a formal model of software components

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 2495, Issue , 2002, Pages 57-68

  Heisel, Maritta ^a   Santen, Thomas ^b   Souquières, Jeanine ^c  

^a ILMENAU UNIVERSITY OF TECHNOLOGY   (Germany)

^b TECHNISCHE UNIVERSITÄT BERLIN   (Germany)

^c LORIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

COMPONENT MODEL; FORMAL MODEL; INDIVIDUAL COMPONENTS; JAVA BEANS; OBJECT Z; SEQUENCE CHARTS; SOFTWARE COMPONENT; UML CLASS DIAGRAMS;

FORMAL METHODS;

EID: 33746753145     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-36103-0_8     Document Type: Conference Paper

References (20)

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.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 München, 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.
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. 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.
10. ITU-TS, Geneva. ITU-TS Recommendations Z.120: Message Sequence Chart (MSC), 1996.
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.
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 ModelingLang uage Reference Manual. Addison-Wesley, 1997.
15. G. Smith. The Object-Z Specification Language. Kluwer Academic Publishers, 1999.
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.
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/onlineTraining/Beans/beans02.
20. C. Szyperski. Component Software. ACM Press, Addison-Wesley, 1999.