Composition parallele et synchronisation de systemes a evenements discrets

par WOJCIECH FRACZAK

Thèse de doctorat en Sciences appliquées

Sous la direction de E. PELZ.

Soutenue en 1996

à Paris 11 .

    mots clés mots clés


  • Résumé

    Cette these concerne la specification et la modelisation de systemes reactifs. Elle s'organise autour de deux themes principaux: les primitives de communication, a l'aide desquelles les systemes interagissent, et les operations de base, utilisees pour la composition de systemes reactifs. Nous proposons une nouvelle approche pour la definition des operations liees a la composition parallele. Cette approche est fondee sur les structures de synchronisation, une classe de structures relationnelles sur l'ensemble des actions, qui decrivent de maniere formelle et uniforme la capacite de synchronisation de chaque action. Parmi diverses applications de cette approche, nous proposons une extension de la definition de la composition parallele pour l'algebre des petri-box (pbc). Nous proposons aussi une nouvelle algebre de processus (appelee mapa), permettant d'integrer la dependance de simultaneite grace a l'utilisation des multi-actions (actions composees d'un ensemble d'envois et/ou de receptions simultanees de signaux simples). La presence des multi-actions dans mapa a permis de se passer du choix comme operateur primitif sans perte d'expressivite de l'algebre. L'absence du choix presente l'avantage que meme l'equivalence faible est une congruence


  • Pas de résumé disponible.

Consulter en bibliothèque

La version de soutenance existe sous forme papier

Informations

  • Détails : 173 P.
  • Annexes : 81 REF.

Où se trouve cette thèse ?

  • Bibliothèque : Université Paris-Sud (Orsay, Essonne). Service Commun de la Documentation. Section Sciences.
  • Accessible pour le PEB
  • Bibliothèque : Centre Technique du Livre de l'Enseignement supérieur (Marne-la-Vallée, Seine-et-Marne).
  • Disponible pour le PEB
  • Cote : TH2014-012690
Voir dans le Sudoc, catalogue collectif des bibliothèques de l'enseignement supérieur et de la recherche.