Etude d'un bus logiciel basé sur la réécriture

Stéphane Hion 1
1 PROTHEO - Constraints, automatic deduction and software properties proofs
INRIA Lorraine, LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications
Résumé : Nous avons pu poser les bases d'un bus logiciel basé sur la réécriture. En effet, à partir de l'étude d'un bus logiciel existant, nous avons élaboré un système de réécriture qui permet de modéliser l'algèbre des processus communicants. Ce système a été montré terminant et confluent. L'utilisation des stratégies sur les règles de ce système a permis de mieux contrôler les étapes de la réduction et de pouvoir orienter celle-ci selon le résultat des actions associées aux atomes, cela a également contribué à gagner en efficacité. Nous avons également contribué à l'étude du passage de spécification ELAN à un programme TOM et la traduction des stratégies lorsque l'on passe du premier au second. Les méthodes employées pour cette opération peuvent constituer une première réflexion sur la compilation de programme ELAN vers un programme TOM. Nous avons pu alors réaliser une implémentation plus bas-niveau qui permet de mieux aborder l'aspect communication entre des applications hétérogènes.
Type de document :
Rapport
[Stage] A03-R-459 || hion03a, 2003, 34 p
Liste complète des métadonnées

https://hal.inria.fr/inria-00099709
Contributeur : Publications Loria <>
Soumis le : mardi 26 septembre 2006 - 09:40:30
Dernière modification le : jeudi 11 janvier 2018 - 06:19:58

Identifiants

  • HAL Id : inria-00099709, version 1

Collections

Citation

Stéphane Hion. Etude d'un bus logiciel basé sur la réécriture. [Stage] A03-R-459 || hion03a, 2003, 34 p. 〈inria-00099709〉

Partager

Métriques

Consultations de la notice

50