Toward a Formal Model of Software Components - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2002

Toward a Formal Model of Software Components

Maritta Heisel
  • Fonction : Auteur
Thomas Santen
  • Fonction : Auteur
Jeanine Souquières
  • Fonction : Auteur
Development of specifications

Résumé

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.

Domaines

Autre [cs.OH]

Publications Loria  : Connectez-vous pour contacter le contributeur

https://inria.hal.science/inria-00100757

Soumis le : mardi 26 septembre 2006-14:50:18

Dernière modification le : vendredi 24 mars 2023-14:52:48

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : inria-00100757 , version 1

Citer

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⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

CNRS INRIA UNIV-LORRAINE LORIA
25 Consultations
0 Téléchargements

Partager

More