A Method for Component-Based Software and System Development - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2006

A Method for Component-Based Software and System Development

Résumé

We propose a method for component-based software and system development, where the interoperability between the different components is given special consideration. The method uses existing notations and languages with their associated tools: context diagrams for analyzing and structuring the problem, composite structure diagrams for describing the overall system in terms of components and interfaces, sequence diagrams to describe the behavior of each component, and the formal method B for specifying the interfaces of the different components and for proving their interoperability. The method proposes to integrate these different notations; at the end of the process, the interoperability is guaranted by the use of the B method with its underlying concept of refinement, and its powerful tool support, the B prover.
Fichier principal
Vignette du fichier
euro.pdf (282.67 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00097571 , version 1 (30-10-2007)

Identifiants

  • HAL Id : hal-00097571 , version 1

Citer

Denis Hatebur, Maritta Heisel, Jeanine Souquières. A Method for Component-Based Software and System Development. 32nd Euromicro Conference on Software Engineering and Advanced Applications (SEAA), 2006, Croatia. ⟨hal-00097571⟩
104 Consultations
150 Téléchargements

Partager

Gmail Facebook X LinkedIn More