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.
Type de document :
Article dans une revue
Revue des Nouvelles Technologies de l'Information, Hermann, 2014, pp.1
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-00979716
Contributeur : Sophie Robert <>
Soumis le : mercredi 16 avril 2014 - 16:07:53
Dernière modification le : jeudi 7 février 2019 - 14:22:12

Identifiants

  • HAL Id : hal-00979716, version 1

Collections

Citation

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, Hermann, 2014, pp.1. 〈hal-00979716〉

Partager

Métriques

Consultations de la notice

352