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.