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


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.


Other [cs.OH]
No file

Dates and versions

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


  • HAL Id : inria-00100757 , version 1


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


Gmail Facebook Twitter LinkedIn More