Etude d'un bus logiciel basé sur la réécriture
Identifieur interne : 005269 ( Hal/Checkpoint ); précédent : 005268; suivant : 005270Etude d'un bus logiciel basé sur la réécriture
Auteurs : Stéphane Hion [France]Source :
Descripteurs français
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.
Url:
Links toward previous steps (curation, corpus...)
Links to Exploration step
Hal:inria-00099709Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><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><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2360" status="OLD"><idno type="RNSR">199221357D</idno><orgName>Constraints, automatic deduction and software properties proofs</orgName><orgName type="acronym">PROTHEO</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/protheo</ref></desc><listRelation><relation active="#struct-160" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-300291" type="indirect"></relation><relation active="#struct-300292" type="indirect"></relation><relation active="#struct-300293" type="indirect"></relation><relation active="#struct-2496" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-300291" type="direct"></relation><relation active="#struct-300292" type="direct"></relation><relation active="#struct-300293" type="direct"></relation></listRelation></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName><orgName type="acronym">UHP</orgName><date type="end">2011-12-31</date><desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName><date type="end">2011-12-31</date><desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName><orgName type="acronym">INPL</orgName><date type="end">2011-12-31</date><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université Nancy 2</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Institut national polytechnique de Lorraine</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:inria-00099709</idno><idno type="halId">inria-00099709</idno><idno type="halUri">https://hal.inria.fr/inria-00099709</idno><idno type="url">https://hal.inria.fr/inria-00099709</idno><date when="2003">2003</date><idno type="wicri:Area/Hal/Corpus">005B59</idno><idno type="wicri:Area/Hal/Curation">005B59</idno><idno type="wicri:Area/Hal/Checkpoint">005269</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">005269</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><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2360" status="OLD"><idno type="RNSR">199221357D</idno><orgName>Constraints, automatic deduction and software properties proofs</orgName><orgName type="acronym">PROTHEO</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.inria.fr/equipes/protheo</ref></desc><listRelation><relation active="#struct-160" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-300291" type="indirect"></relation><relation active="#struct-300292" type="indirect"></relation><relation active="#struct-300293" type="indirect"></relation><relation active="#struct-2496" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-160" type="direct"><org type="laboratory" xml:id="struct-160" status="OLD"><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><desc><address><addrLine>Campus Scientifique BP 239 54506 Vandoeuvre-lès-Nancy Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.loria.fr</ref></desc><listRelation><relation name="UMR7503" active="#struct-441569" type="direct"></relation><relation active="#struct-300009" type="direct"></relation><relation active="#struct-300291" type="direct"></relation><relation active="#struct-300292" type="direct"></relation><relation active="#struct-300293" type="direct"></relation></listRelation></org></tutelle><tutelle name="UMR7503" active="#struct-441569" type="indirect"><org type="institution" xml:id="struct-441569" status="VALID"><idno type="ISNI">0000000122597504</idno><idno type="IdRef">02636817X</idno><orgName>Centre National de la Recherche Scientifique</orgName><orgName type="acronym">CNRS</orgName><date type="start">1939-10-19</date><desc><address><country key="FR"></country></address><ref type="url">http://www.cnrs.fr/</ref></desc></org></tutelle><tutelle active="#struct-300009" type="indirect"><org type="institution" xml:id="struct-300009" status="VALID"><orgName>Institut National de Recherche en Informatique et en Automatique</orgName><orgName type="acronym">Inria</orgName><desc><address><addrLine>Domaine de VoluceauRocquencourt - BP 10578153 Le Chesnay Cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/en/</ref></desc></org></tutelle><tutelle active="#struct-300291" type="indirect"><org type="institution" xml:id="struct-300291" status="OLD"><orgName>Université Henri Poincaré - Nancy 1</orgName><orgName type="acronym">UHP</orgName><date type="end">2011-12-31</date><desc><address><addrLine>24-30 rue Lionnois, BP 60120, 54 003 NANCY cedex, France</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300292" type="indirect"><org type="institution" xml:id="struct-300292" status="OLD"><orgName>Université Nancy 2</orgName><date type="end">2011-12-31</date><desc><address><addrLine>91 avenue de la Libération, BP 454, 54001 Nancy cedex</addrLine><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-300293" type="indirect"><org type="institution" xml:id="struct-300293" status="OLD"><orgName>Institut National Polytechnique de Lorraine</orgName><orgName type="acronym">INPL</orgName><date type="end">2011-12-31</date><desc><address><country key="FR"></country></address></desc></org></tutelle><tutelle active="#struct-2496" type="direct"><org type="laboratory" xml:id="struct-2496" status="OLD"><orgName>INRIA Lorraine</orgName><desc><address><addrLine>615 rue du Jardin Botanique 54600 Villers-lès-Nancy</addrLine><country key="FR"></country></address><ref type="url">http://www.inria.fr/centre-de-recherche-inria/nancy-grand-est</ref></desc><listRelation><relation active="#struct-300009" type="direct"></relation></listRelation></org></tutelle></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université Nancy 2</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName><placeName><settlement type="city">Nancy</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Institut national polytechnique de Lorraine</orgName><orgName type="institution" wicri:auto="newGroup">Université de Lorraine</orgName></affiliation></author></analytic></biblStruct></sourceDesc></fileDesc><profileDesc><textClass><keywords scheme="mix" xml:lang="fr"><term>algèbre des processus</term><term>process algebra</term><term>rules</term><term>règles</term><term>stratégies</term></keywords></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="fr">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><hal api="V3"><titleStmt><title xml:lang="fr">Etude d'un bus logiciel basé sur la réécriture</title><author role="aut"><persName><forename type="first">Stéphane</forename><surname>Hion</surname></persName><email></email><idno type="halauthor">130957</idno><orgName ref="#struct-364480"></orgName><affiliation ref="#struct-2360"></affiliation></author><editor role="depositor"><persName><forename>Publications</forename><surname>Loria</surname></persName><email>publications@loria.fr</email></editor></titleStmt><editionStmt><edition n="v1" type="current"><date type="whenSubmitted">2006-09-26 09:40:30</date><date type="whenModified">2016-05-19 01:09:34</date><date type="whenReleased">2006-09-28 15:22:46</date><date type="whenProduced">2003</date></edition><respStmt><resp>contributor</resp><name key="108626"><persName><forename>Publications</forename><surname>Loria</surname></persName><email>publications@loria.fr</email></name></respStmt></editionStmt><publicationStmt><distributor>CCSD</distributor><idno type="halId">inria-00099709</idno><idno type="halUri">https://hal.inria.fr/inria-00099709</idno><idno type="halBibtex">hion:inria-00099709</idno><idno type="halRefHtml">[Stage] A03-R-459 || hion03a, 2003, 34 p</idno><idno type="halRef">[Stage] A03-R-459 || hion03a, 2003, 34 p</idno></publicationStmt><seriesStmt><idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno><idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno><idno type="stamp" n="INPL">Institut National Polytechnique de Lorraine</idno><idno type="stamp" n="LORIA2">Publications du LORIA</idno><idno type="stamp" n="INRIA-NANCY-GRAND-EST">INRIA Nancy - Grand Est</idno><idno type="stamp" n="LORIA-FM" p="LORIA">Méthodes formelles</idno><idno type="stamp" n="LORIA">LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno><idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno><idno type="stamp" n="INRIA-LORRAINE">INRIA Nancy - Grand Est</idno><idno type="stamp" n="LABO-LORIA-SET" p="LORIA">LABO-LORIA-SET</idno></seriesStmt><notesStmt><note type="commentary">Stage de DEA. Rapport de stage.</note><note type="audience" n="0">Not set</note><note type="report" n="5">Intership report</note></notesStmt><sourceDesc><biblStruct><analytic><title xml:lang="fr">Etude d'un bus logiciel basé sur la réécriture</title><author role="aut"><persName><forename type="first">Stéphane</forename><surname>Hion</surname></persName><idno type="halAuthorId">130957</idno><orgName ref="#struct-364480"></orgName><affiliation ref="#struct-2360"></affiliation></author></analytic><monogr><idno type="reportNumber">A03-R-459 || hion03a</idno><imprint><biblScope unit="pp">34 p</biblScope><date type="datePub">2003</date></imprint></monogr></biblStruct></sourceDesc><profileDesc><langUsage><language ident="fr">French</language></langUsage><textClass><keywords scheme="author"><term xml:lang="fr">règles</term><term xml:lang="fr">process algebra</term><term xml:lang="fr">rules</term><term xml:lang="fr">stratégies</term><term xml:lang="fr">algèbre des processus</term></keywords><classCode scheme="halDomain" n="info.info-oh">Computer Science [cs]/Other [cs.OH]</classCode><classCode scheme="halTypology" n="REPORT">Reports</classCode></textClass><abstract xml:lang="fr">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></profileDesc></hal></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Checkpoint
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 005269 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd -nk 005269 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Hal
|étape= Checkpoint
|type= RBID
|clé= Hal:inria-00099709
|texte= Etude d'un bus logiciel basé sur la réécriture
}}
| This area was generated with Dilib version V0.6.33. |  |