Description formelle du Déploiement d'Architectures AADL basée sur les Systèmes Réactifs Bigraphiques - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2011

Description formelle du Déploiement d'Architectures AADL basée sur les Systèmes Réactifs Bigraphiques

Résumé

Le déploiement constitue une phase importante dans le cycle de vie d?un logiciel, souvent construite de façon ad-hoc. Les préoccupations des architectes s?articulent autour de la définition d?un processus de déploiement générique permettant d?assembler et de distribuer correctement des applications logicielles quelle que soit leur technologie d?implémentation. Nous montrons dans ce travail la pertinence des systèmes réactifs bigraphiques (BRS) pour la description formelle de l?opération de déploiement d?une application logicielle dans un environnement cible. Le modèle formel proposé permet en particulier de définir d?une part, les deux structures d?une architecture spécifiées en AADL à savoir la plateforme et le scénario de l?application et d?autre part, l?opération d?installation correspondante décrite usuellement dans ce langage par un ensemble de propriétés. Nous montrons également la capacité du modèle proposé, une fois enrichi par des règles de réaction associées à un bigraphe, à prendre en charge la dynamique définie dans une spécification AADL.
Fichier non déposé

Dates et versions

hal-01126140 , version 1 (06-03-2015)

Identifiants

  • HAL Id : hal-01126140 , version 1

Citer

Nadira Benlahrache, Faiza Belala, Kamel Barkaoui. Description formelle du Déploiement d'Architectures AADL basée sur les Systèmes Réactifs Bigraphiques. CAL'2011, 5ème Conférence Francophone sur les Architectures Logicielles, June 2011, Jun 2011, Lille, France. pp.15-29. ⟨hal-01126140⟩
141 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More