Etude d'un bus logiciel basé sur la réécriture
Identifieur interne : 000900 ( Crin/Checkpoint ); précédent : 000899; suivant : 000901Etude d'un bus logiciel basé sur la réécriture
Auteurs : Stéphane HionSource :
English descriptors
- KwdEn :
Abstract
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.
Links toward previous steps (curation, corpus...)
Links to Exploration step
CRIN:hion03aLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="fr" wicri:score="-356">Etude d'un bus logiciel basé sur la réécriture</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:hion03a</idno>
<date when="2003" year="2003">2003</date>
<idno type="wicri:Area/Crin/Corpus">003B77</idno>
<idno type="wicri:Area/Crin/Curation">003B77</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Curation">003B77</idno>
<idno type="wicri:Area/Crin/Checkpoint">000900</idno>
<idno type="wicri:explorRef" wicri:stream="Crin" wicri:step="Checkpoint">000900</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="fr">Etude d'un bus logiciel basé sur la réécriture</title>
<author><name sortKey="Hion, Stephane" sort="Hion, Stephane" uniqKey="Hion S" first="Stéphane" last="Hion">Stéphane Hion</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass><keywords scheme="KwdEn" xml:lang="en"><term>process algebra</term>
<term>rules</term>
<term>strategies</term>
</keywords>
</textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="fr" wicri:score="-2611">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.</div>
</front>
</TEI>
<BibTex type="techreport"><ref>hion03a</ref>
<crinnumber>A03-R-459</crinnumber>
<equipe>PROTHEO</equipe>
<author><e>Hion, Stéphane</e>
</author>
<title>Etude d'un bus logiciel basé sur la réécriture</title>
<year>2003</year>
<type>Stage de DEA</type>
<month>Jun</month>
<keywords><e>rules</e>
<e>strategies</e>
<e>process algebra</e>
</keywords>
<abstract>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.</abstract>
</BibTex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000900 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Checkpoint/biblio.hfd -nk 000900 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Crin |étape= Checkpoint |type= RBID |clé= CRIN:hion03a |texte= Etude d'un bus logiciel basé sur la réécriture }}
![]() | This area was generated with Dilib version V0.6.33. | ![]() |