Transformations Preserving Invariance and Eventuality Properties under Justice or Fairness Assumptions
Identifieur interne : 001B80 ( Crin/Corpus ); précédent : 001B79; suivant : 001B81Transformations Preserving Invariance and Eventuality Properties under Justice or Fairness Assumptions
Auteurs : Dominique MérySource :
Abstract
The refinement calculus of Back, Gardiner and Morgan can be extended to fair nondeterministic programs. The rules of refinement are based on conditions over actions composing programs under refinement. The document explores several transformations of programs from transformations of actions. Applications to the refinement in UNITY-like frameworks show that the refinement preserves invariance properties and eventuality properties under the justice (resp. fairness) assumption. Moreover, the granularity of programs may be modified according to these rules of refinement.
Links to Exploration step
CRIN:mery96bLe document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en" wicri:score="127">Transformations Preserving Invariance and Eventuality Properties under Justice or Fairness Assumptions</title>
</titleStmt>
<publicationStmt><idno type="RBID">CRIN:mery96b</idno>
<date when="1996" year="1996">1996</date>
<idno type="wicri:Area/Crin/Corpus">001B80</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Transformations Preserving Invariance and Eventuality Properties under Justice or Fairness Assumptions</title>
<author><name sortKey="Mery, Dominique" sort="Mery, Dominique" uniqKey="Mery D" first="Dominique" last="Méry">Dominique Méry</name>
</author>
</analytic>
</biblStruct>
</sourceDesc>
</fileDesc>
<profileDesc><textClass></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en" wicri:score="1259">The refinement calculus of Back, Gardiner and Morgan can be extended to fair nondeterministic programs. The rules of refinement are based on conditions over actions composing programs under refinement. The document explores several transformations of programs from transformations of actions. Applications to the refinement in UNITY-like frameworks show that the refinement preserves invariance properties and eventuality properties under the justice (resp. fairness) assumption. Moreover, the granularity of programs may be modified according to these rules of refinement.</div>
</front>
</TEI>
<BibTex type="techreport"><ref>mery96b</ref>
<crinnumber>96-R-086</crinnumber>
<category>15</category>
<equipe>MODEL</equipe>
<author><e>Méry, Dominique</e>
</author>
<title>Transformations Preserving Invariance and Eventuality Properties under Justice or Fairness Assumptions</title>
<institution>Centre de Recherche en Informatique de Nancy</institution>
<year>1996</year>
<type>Rapport interne</type>
<address>Vandoeuvre-lès-Nancy</address>
<abstract>The refinement calculus of Back, Gardiner and Morgan can be extended to fair nondeterministic programs. The rules of refinement are based on conditions over actions composing programs under refinement. The document explores several transformations of programs from transformations of actions. Applications to the refinement in UNITY-like frameworks show that the refinement preserves invariance properties and eventuality properties under the justice (resp. fairness) assumption. Moreover, the granularity of programs may be modified according to these rules of refinement.</abstract>
</BibTex>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Crin/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 001B80 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Crin/Corpus/biblio.hfd -nk 001B80 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/Lorraine |area= InforLorV4 |flux= Crin |étape= Corpus |type= RBID |clé= CRIN:mery96b |texte= Transformations Preserving Invariance and Eventuality Properties under Justice or Fairness Assumptions }}
This area was generated with Dilib version V0.6.33. |