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]
Abstract : A software architecture describes the structure of a computing system by specifying software components and their interactions. Mapping a software architecture to an implementation is a well known challenge. A key element of this mapping is the architecture's description of the data and control-flow interactions between components. The characterization of these interactions can be rather abstract or very concrete, providing more or less implementation guidance, programming support, and static verification. In this paper, we explore one point in the design space between abstract and concrete component interaction specifications. We introduce a notion of interaction contract that expresses allowed interactions between components, describing both data and control-flow constraints. This declaration is part of the architecture description, allows generation of extensive programming support, and enables various verifications. We instantiate our approach in an architecture description language for Sense/Compute/Control applications, and describe associated compilation and verification strategies.
Document type :
Conference papers
Complete list of metadatas

https://hal.inria.fr/inria-00602098
Contributor : Damien Cassou <>
Submitted on : Tuesday, June 21, 2011 - 3:00:42 PM
Last modification on : Tuesday, April 2, 2019 - 1:45:42 AM
Long-term archiving on : Thursday, September 22, 2011 - 2:25:32 AM

Files

icse-french.pdf
Files produced by the author(s)

Identifiers

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

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. ⟨inria-00602098⟩

Share

Metrics

Record views

364

Files downloads

250