Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives - Université d'Orléans Accéder directement au contenu
Article Dans Une Revue Revue des Nouvelles Technologies de l'Information Année : 2014

Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives

Résumé

La programmation par composants est devenue une approche essentielle et très utilisée en génie logiciel. En particulier, dans le cadre des applications de visualisation scientifique interactives, cette approche offre une architecture claire aux développeurs permettant de bien séparer les différentes parties fonctionnelles de l'application comme l'interaction, la simulation et la visualisation. La modélisation d'applications de visualisation scientifique interactive doit permettre la description des comportements de chaque composant et de l'assemblage de ces composants en une application. Cet assemblage s'exprime par un schéma de communications qui peut être très complexe avec la possibilité de perdre des messages pour gagner en performance. Nous proposons un modèle par composants spécifique pour ces applications, associé à une formalisation par des réseaux FIFO colorés. Le modèle a pour objectifs de décrire les différents comportements des composants et du réseau de communications en les formulant afin d'offrir des outils de vérifications.
Fichier non déposé

Dates et versions

hal-00979716 , version 1 (16-04-2014)

Identifiants

  • HAL Id : hal-00979716 , version 1

Citer

Abderrahim Ait Wakrime, Sébastien Limet, Sophie Robert. Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives. Revue des Nouvelles Technologies de l'Information, 2014, pp.1. ⟨hal-00979716⟩
192 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More