Dérivation de programmes Ada par transformation de systèmes parallèles fondés sur la communication abstraite entre processus - Université de Lorraine Access content directly
Theses Year : 1990

Dérivation de programmes Ada par transformation de systèmes parallèles fondés sur la communication abstraite entre processus

Abder Koukam
  • Function : Author
  • PersonId : 756009
  • IdRef : 07000773X

Abstract

Not available
aLe travail présenté dans cette thèse s'inscrit dans le cadre d'une démarche méthodique pour la construction de systèmes parallèles. L'idée de base est de définir de tels systèmes comme un ensemble d'entités manipulant des suites de données, entre lesquelles des relations dites de communication sont spécifiées. Pour concevoir les solutions déduites de cette démarche, un langage d'expression de systèmes parallèles est proposé. Ce langage est caractérisé par : une expression abstraite des relations de communication en termes de types abstraits algébriques appelés types de communication. Une conception modulaire fondée sur la séparation de la description des communications de l'écriture de processus. Notre premier objectif est d'élaborer une démarche pour automatiser la transformation des types ce communication en programmes Ada. Mais la distance est grande entre cette expression abstraite et statique de la communication et le programme final dynamique et efficace. Aussi avons-nous été conduit à décomposer le processus de transformation en plusieurs étapes fondées sur des règles de transformation. Deux classes de règles sont ainsi mise en évidence : les règles
No file

Dates and versions

tel-01754241 , version 1 (30-03-2018)

Identifiers

  • HAL Id : tel-01754241 , version 1

Intranet access

Cite

Abder Koukam. Dérivation de programmes Ada par transformation de systèmes parallèles fondés sur la communication abstraite entre processus. Autre. Université Henri Poincaré - Nancy 1, 1990. Français. ⟨NNT : 1990NAN10481⟩. ⟨tel-01754241⟩
12 View
0 Download

Share

Gmail Facebook X LinkedIn More