Cette thèse propose un environnement pour la spécification et l'analyse des processus parallèles communicants et décrit en détail la partie de cet environnement qui permet de spécifier chaque processus et de construire des réseaux de processus. Un langage permet de décrire l'activité de communication de chaque processus et des opérateurs décrivent les constructions de réseaux. De plus, toute description de processus ou de réseau peut être rangée dans une base de données et associées à une représentation graphique. Cette représentation peut être utilisée pour construire des réseaux et de telles constructions sont traduites sous forme d'expression utilisant les opérateurs de construction. Enfin, le calcul du processus résultant d'une construction est présenté et un algorithme d'optimisation est proposé
| Identifer | oai:union.ndltd.org:CCSD/oai:tel.archives-ouvertes.fr:tel-00311545 |
| Date | 05 July 1984 |
| Creators | Arkaxhiu, Eqerem |
| Source Sets | CCSD theses-EN-ligne, France |
| Language | French |
| Detected Language | French |
| Type | PhD thesis |
Page generated in 0.0021 seconds