Variations sur le style architectural Pipe and Filter

Songsakdi Rongviriyapanish 1 Nicole Lévy 2
1 DEDALE - Development of specifications
LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : La formalisation des styles architecturaux permet une définition précise de la notion de variation ainsi que le contrôle du fait qu'une spécification soit conforme au style choisi. Dans cet article, nous proposons une formalisation du style "Pipe and Filter" ainsi que plusieurs variations sous forme des schémas paramétrés. Le langage de spécification formel LOTOS est utilisé comme langage de description d'architectures. Nous utilisons ce style et ses variations pour développer une étude de cas d'un produit de convolution. Différentes solutions équivalentes comportementalement sont étudiées et comparées à l'aide de l'environnement CADP.
Type de document :
Communication dans un congrès
Approches formelles dans l'assistance au développement de logiciels - AFADl'2000, 2000, Grenoble, France, 17 p, 2000
Liste complète des métadonnées

https://hal.inria.fr/inria-00099021
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 08:45:06
Dernière modification le : jeudi 11 janvier 2018 - 06:21:31
Document(s) archivé(s) le : mercredi 29 mars 2017 - 12:43:53

Fichiers

Identifiants

  • HAL Id : inria-00099021, version 1

Collections

Citation

Songsakdi Rongviriyapanish, Nicole Lévy. Variations sur le style architectural Pipe and Filter. Approches formelles dans l'assistance au développement de logiciels - AFADl'2000, 2000, Grenoble, France, 17 p, 2000. 〈inria-00099021〉

Partager

Métriques

Consultations de la notice

110

Téléchargements de fichiers

65