Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC

Damien Cassou 1, 2 Charles Consel 1, 3 Emilie Balland 1 Julia Lawall 4
1 Phoenix - Programming Language Technology For Communication Services
LaBRI - Laboratoire Bordelais de Recherche en Informatique, Inria Bordeaux - Sud-Ouest, EA4136 - Handicap et système nerveux :Action, communication, interaction: rétablissement de la fonction et de la participation [Bordeaux]
Résumé : Une architecture logicielle décrit la structure d'un système informatique en spécifiant ses composants et leurs interactions. Projeter une architecture logicielle sur une implémentation est une tâche reconnue difficile. Un élément crucial de cette projection est la description architecturale des interactions entre les composants. La caractérisation de ces interactions peut être plutôt abstraite ou très concrète, fournissant plus ou moins de support de programmation et de possibilités de vérifications statiques. Nous explorons un point dans l'espace de conception entre les spécifications abstraites et concrètes des interactions de composants. Nous introduisons la notion de contrat d'interactions qui exprime les interactions autorisées. Cette déclaration architecturale permet la génération de support de programmation qui assure la conformité entre l'architecture et l'implémentation, et favorise diverses vérifications. Nous instancions notre approche sur un langage de description d'architectures pour les applications Sense/Compute/Control et décrivons les stratégies de compilation et de vérification associées.
Type de document :
Communication dans un congrès
GDR GPL'11: 3ème journées du Génie de la programmation et du logiciel, Jun 2011, Lille, France. pp.33--34, 2011, <http://gdr-gpl.cnrs.fr/index.php?option=com_docman&task=doc_download&gid=45&Itemid=37>
Liste complète des métadonnées

https://hal.inria.fr/inria-00602098
Contributeur : Damien Cassou <>
Soumis le : mardi 21 juin 2011 - 15:00:42
Dernière modification le : mercredi 14 décembre 2016 - 01:07:15
Document(s) archivé(s) le : jeudi 22 septembre 2011 - 02:25:32

Fichiers

icse-french.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00602098, version 1
  • ARXIV : 1106.4200

Collections

Citation

Damien Cassou, Charles Consel, Emilie Balland, Julia Lawall. Faire levier sur les architectures logicielles pour guider et vérifier le développement d'applications SCC. GDR GPL'11: 3ème journées du Génie de la programmation et du logiciel, Jun 2011, Lille, France. pp.33--34, 2011, <http://gdr-gpl.cnrs.fr/index.php?option=com_docman&task=doc_download&gid=45&Itemid=37>. <inria-00602098>

Partager

Métriques

Consultations de
la notice

267

Téléchargements du document

140