Variations sur le style architectural Pipe and Filter - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2000

Variations sur le style architectural Pipe and Filter

Abstract

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.
Fichier principal
Vignette du fichier
A00-R-004.pdf (312.34 Ko) Télécharger le fichier

Dates and versions

inria-00099021 , version 1 (26-09-2006)

Identifiers

  • HAL Id : inria-00099021 , version 1

Cite

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. ⟨inria-00099021⟩
109 View
121 Download

Share

Gmail Facebook X LinkedIn More