Etude de la programmation logico-fonctionnelle concurrente

Résumé : La construction de programmes nécessite l'utilisation d'outils adaptés. Un outil particulier est le langage de programmation. Les langages logico-fonctionnels sont des langages de programmation dits déclaratifs qui se basent sur les notions mathématiques de fonction et de prédicat. Ce fondement théorique solide facilite à la fois la description d'un système à un niveau proche de la spécification ainsi que la validation de programmes. Néanmoins, les concepts sous-jacents aux langages logico-fonctionnels sont insuffisants pour la description aisée de systèmes complexes qui nécessitent l'interactivité, la concurrence et la distribution. Pour la modélisation de ces systèmes, la notion de processus a été introduite. Dans le contexte des algèbres de processus, un processus est caractérisé par les actions qu'il est capable d'exécuter. Cependant, les langages fondés uniquement sur les algèbres de processus doivent être étendus afin d'éviter le codage de fonctions et de prédicats en termes de processus. Dans cette thèse nous proposons un modèle de calcul qui intègre la programmation concurrente et déclarative. Nous suggérons de modéliser un système par un ensemble de composants. Chacun de ces composants comporte un programme déclaratif, appelé store, et un ensemble de processus interagissant par l'exécution d'actions. De plus, un composant peut contenir de nouvelles actions définissables par le programmeur. L'interaction entre composants est fondée sur le même principe, c.-à.-d. un processus peut exécuter des actions sur les stores des autres composants. Les différents composants d'un système peuvent utiliser des langages déclaratifs différents pour la description de leurs stores respectifs, ce qui nécessite la traduction des valeurs communiquées. Nous donnons une sémantique compositionnelle ainsi qu'une analyse de la confidentialité pour les processus d'un composant, et présentons les principes d'un prototype implanté
Type de document :
Thèse
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2002. Français
Liste complète des métadonnées

https://tel.archives-ouvertes.fr/tel-00004582
Contributeur : Thèses Imag <>
Soumis le : dimanche 8 février 2004 - 00:55:01
Dernière modification le : jeudi 11 janvier 2018 - 06:14:32
Document(s) archivé(s) le : vendredi 2 avril 2010 - 20:15:15

Identifiants

  • HAL Id : tel-00004582, version 1

Collections

IMAG | UGA

Citation

Wendelin Serwe. Etude de la programmation logico-fonctionnelle concurrente. Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2002. Français. 〈tel-00004582〉

Partager

Métriques

Consultations de la notice

439

Téléchargements de fichiers

601