Réseaux FIFO Colorés Stricts pour la formalisation des applications de visualisation scientifique interactives - Archive ouverte HAL Access content directly
Journal Articles Revue des Nouvelles Technologies de l'Information Year : 2014

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

Abstract

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.
No file

Dates and versions

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

Identifiers

  • HAL Id : hal-00979716 , version 1

Cite

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 View
0 Download

Share

Gmail Facebook X LinkedIn More