On the Specification of Components - the JavaBeans Example - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport Année : 2002

On the Specification of Components - the JavaBeans Example

Maritta Heisel
  • Fonction : Auteur
Thomas Santen
  • Fonction : Auteur

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
A02-R-025.pdf (130.22 Ko) Télécharger le fichier
Loading...

Dates et versions

inria-00107634 , version 1 (19-10-2006)

Identifiants

  • HAL Id : inria-00107634 , version 1

Citer

Maritta Heisel, Thomas Santen, Jeanine Souquières. On the Specification of Components - the JavaBeans Example. [Intern report] A02-R-025 || heisel02a, 2002, 20 p. ⟨inria-00107634⟩
110 Consultations
335 Téléchargements

Partager

Gmail Facebook X LinkedIn More