Rechercher

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

Conférence Nationale avec comité de lecture : CAL'2011, 5ème Conférence Francophone sur les Architectures Logicielles, June 2011, , June 2011, pp.15-29,
motcle:
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.

Equipe: vespa
Collaboration: LIRE , LIRE

BibTeX

@inproceedings {
BBBc11,
title="{Description formelle du Déploiement d'Architectures AADL basée sur les Systèmes Réactifs Bigraphiques }",
author=" N. Benlahrache and F. Belala and K. Barkaoui ",
booktitle="{CAL'2011, 5ème Conférence Francophone sur les Architectures Logicielles, June 2011, }",
year=2011,
month="June",
pages="15-29",
}