Modélisation et vérification formelles en B d’architectures logicielles à trois niveaux - Archive ouverte HAL Access content directly
Conference Papers Year :

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

(1) , (2) , (1) , (1) , (3)
1
2
3

Abstract

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.
Fichier principal
Vignette du fichier
CIEL14_hal-01244431.pdf (412.44 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01244431 , version 1 (01-06-2021)

Identifiers

  • HAL Id : hal-01244431 , version 1

Cite

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⟩
150 View
12 Download

Share

Gmail Facebook Twitter LinkedIn More