Skip to Main content Skip to Navigation
Conference papers

Preuve de cohérence de composants Kmelia à l'aide de la méthode B

Résumé : Pour répondre aux objectifs de qualité dans la construction de systèmes à base de composants logiciels et améliorer la confiance dans les composants et leur assemblage, il est nécessaire de disposer d'un Kmelia est un modèle à composants multi-services dans lequel les composants sont abstraits et formels de façon à pouvoir y exprimer des propriétés et les vérifier. Dans cet article nous étudions l'automatisation de la vérification de cohérence des composants Kmelia et de leur assemblage en nous servant de la méthode \B. Pour ce faire, des machines \B sont extraites des composants Kmelia et vérifiées en utilisant l'Atelier B, établissant de fait les propriétés au niveau de Kmelia. La démarche est illustrée par un exemple de gestion de stock.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-00487359
Contributor : Coloss Lina Connect in order to contact the contributor
Submitted on : Friday, May 28, 2010 - 5:44:51 PM
Last modification on : Wednesday, April 27, 2022 - 3:49:20 AM

Identifiers

  • HAL Id : hal-00487359, version 1

Citation

Mohamed Messabihi, Pascal André, Christian Attiogbé. Preuve de cohérence de composants Kmelia à l'aide de la méthode B. 4e Conférence Francophone sur les Architectures Logicielles, Mar 2010, Pau, France. pp.113-126. ⟨hal-00487359⟩

Share

Metrics

Record views

71