Skip to Main content Skip to Navigation
Conference papers

Modélisation et vérification formelles en B d’architectures logicielles à trois niveaux

Résumé : La réutilisation est une notion centrale dans le développement à base de composants. Elle permet de construire des logiciels à grande échelle de meilleure qualité et à moindre coût. Afin d’intensifier la réutilisation dans les processus de développement, un ADL à trois dimensions, nommé Dedal, a été proposé. Dedal permet de décrire la spécification, l’implémentation et le déploiement d’une architecture. Chaque définition doit être cohérente, complète et, réutilisant la définition de niveau supérieur, conforme à celle-ci. Cet article présente des règles formelles permettant de préserver et de vérifier ces trois propriétés dans des définitions d’architectures décrites en Dedal. Les règles sont exprimées avec le langage formel B afin d’automatiser leur vérification.
Document type :
Conference papers
Complete list of metadata

https://hal.archives-ouvertes.fr/hal-01244431
Contributor : Christelle Urtado Connect in order to contact the contributor
Submitted on : Tuesday, June 1, 2021 - 2:28:33 PM
Last modification on : Tuesday, September 6, 2022 - 4:57:54 PM
Long-term archiving on: : Thursday, September 2, 2021 - 7:15:52 PM

File

CIEL14_hal-01244431.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-01244431, version 1

Citation

Abderrahman Mokni, Marianne Huchard, Christelle Urtado, Sylvain Vauttier, Huaxi Yulin Zhang. Modélisation et vérification formelles en B d’architectures logicielles à trois niveaux. CIEL: Conférence en IngénieriE du Logiciel, Jun 2014, Paris, France. pp.71-77. ⟨hal-01244431⟩

Share

Metrics

Record views

150

Files downloads

9