Toward a Formal Model of Software Components - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2002

Toward a Formal Model of Software Components

Maritta Heisel
  • Function : Author
Thomas Santen
  • Function : Author

Abstract

We are interested in specifying component modesl 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.

Domains

Other [cs.OH]
Not file

Dates and versions

inria-00100757 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00100757 , version 1

Cite

Maritta Heisel, Thomas Santen, Jeanine Souquières. Toward a Formal Model of Software Components. 4th International Conference on Formal Engineering Methods - ICFEM'02, 2002, Shangaï, China, 12 p. ⟨inria-00100757⟩
22 View
0 Download

Share

Gmail Facebook Twitter LinkedIn More