Time Constraint Patterns for Event B Development
Identifieur interne : 002F76 ( Istex/Curation ); précédent : 002F75; suivant : 002F77Time Constraint Patterns for Event B Development
Auteurs : Dominique Cansell [France] ; Dominique Méry [France] ; Joris Rehm [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ]
Abstract
Abstract: Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the current work intends to integrate time constraints in the modelling process based on event B models and refinement. The starting point of our work is the event B development of the IEEE 1394 leader election protocol; from standard documents, we derive temporal requirements to solve the contention problem and we propose a method for introducing time constraints using a pattern. The pattern captures time constraints in a generic event B development and it is applied to the IEEE 1394 case study.
Url:
DOI: 10.1007/11955757_13
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :003015
Links to Exploration step
ISTEX:CAF1976E06FD7349E71DF25222E083D51C33A992Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct"><teiHeader><fileDesc><titleStmt><title xml:lang="en">Time Constraint Patterns for Event B Development</title><author><name sortKey="Cansell, Dominique" sort="Cansell, Dominique" uniqKey="Cansell D" first="Dominique" last="Cansell">Dominique Cansell</name><affiliation wicri:level="4"><mods:affiliation>Université de Metz, </mods:affiliation><orgName type="university">Université Paul Verlaine - Metz</orgName><country>France</country><placeName><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName></affiliation><affiliation wicri:level="1"><mods:affiliation>LORIA, BP 239, 54506, Vandœvre-lès-Nancy, France</mods:affiliation><country xml:lang="fr">France</country><wicri:regionArea>LORIA, BP 239, 54506, Vandœvre-lès-Nancy</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: cansell@loria.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Mery, Dominique" sort="Mery, Dominique" uniqKey="Mery D" first="Dominique" last="Méry">Dominique Méry</name><affiliation><mods:affiliation>Université Henri Poincaré Nancy 1, </mods:affiliation><wicri:noCountry code="subField"> </wicri:noCountry></affiliation><affiliation wicri:level="1"><mods:affiliation>LORIA, BP 239, 54506, Vandœvre-lès-Nancy, France</mods:affiliation><country xml:lang="fr">France</country><wicri:regionArea>LORIA, BP 239, 54506, Vandœvre-lès-Nancy</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: mery@loria.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Rehm, Joris" sort="Rehm, Joris" uniqKey="Rehm J" first="Joris" last="Rehm">Joris Rehm</name><affiliation><mods:affiliation>Université Henri Poincaré Nancy 1, </mods:affiliation><wicri:noCountry code="subField"> </wicri:noCountry></affiliation><affiliation wicri:level="1"><mods:affiliation>LORIA, BP 239, 54506, Vandœvre-lès-Nancy, France</mods:affiliation><country xml:lang="fr">France</country><wicri:regionArea>LORIA, BP 239, 54506, Vandœvre-lès-Nancy</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: rehm@loria.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">ISTEX</idno><idno type="RBID">ISTEX:CAF1976E06FD7349E71DF25222E083D51C33A992</idno><date when="2006" year="2006">2006</date><idno type="doi">10.1007/11955757_13</idno><idno type="url">https://api.istex.fr/ark:/67375/HCB-03FPWSX2-3/fulltext.pdf</idno><idno type="wicri:Area/Istex/Corpus">003015</idno><idno type="wicri:explorRef" wicri:stream="Istex" wicri:step="Corpus" wicri:corpus="ISTEX">003015</idno><idno type="wicri:Area/Istex/Curation">002F76</idno></publicationStmt><sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">Time Constraint Patterns for Event B Development</title><author><name sortKey="Cansell, Dominique" sort="Cansell, Dominique" uniqKey="Cansell D" first="Dominique" last="Cansell">Dominique Cansell</name><affiliation wicri:level="4"><mods:affiliation>Université de Metz, </mods:affiliation><orgName type="university">Université Paul Verlaine - Metz</orgName><country>France</country><placeName><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName></affiliation><affiliation wicri:level="1"><mods:affiliation>LORIA, BP 239, 54506, Vandœvre-lès-Nancy, France</mods:affiliation><country xml:lang="fr">France</country><wicri:regionArea>LORIA, BP 239, 54506, Vandœvre-lès-Nancy</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: cansell@loria.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Mery, Dominique" sort="Mery, Dominique" uniqKey="Mery D" first="Dominique" last="Méry">Dominique Méry</name><affiliation><mods:affiliation>Université Henri Poincaré Nancy 1, </mods:affiliation></affiliation><affiliation wicri:level="1"><mods:affiliation>LORIA, BP 239, 54506, Vandœvre-lès-Nancy, France</mods:affiliation><country xml:lang="fr">France</country><wicri:regionArea>LORIA, BP 239, 54506, Vandœvre-lès-Nancy</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: mery@loria.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author><author><name sortKey="Rehm, Joris" sort="Rehm, Joris" uniqKey="Rehm J" first="Joris" last="Rehm">Joris Rehm</name><affiliation><mods:affiliation>Université Henri Poincaré Nancy 1, </mods:affiliation></affiliation><affiliation wicri:level="1"><mods:affiliation>LORIA, BP 239, 54506, Vandœvre-lès-Nancy, France</mods:affiliation><country xml:lang="fr">France</country><wicri:regionArea>LORIA, BP 239, 54506, Vandœvre-lès-Nancy</wicri:regionArea></affiliation><affiliation wicri:level="1"><mods:affiliation>E-mail: rehm@loria.fr</mods:affiliation><country wicri:rule="url">France</country></affiliation></author></analytic><monogr></monogr><series><title level="s" type="main" xml:lang="en">Lecture Notes in Computer Science</title><idno type="ISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="ISSN">0302-9743</idno></series></biblStruct></sourceDesc><seriesStmt><idno type="ISSN">0302-9743</idno></seriesStmt></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Abstract: Distributed applications are based on algorithms which should be able to deal with time constraints. It is mandatory to express time constraints in (mathematical) models and the current work intends to integrate time constraints in the modelling process based on event B models and refinement. The starting point of our work is the event B development of the IEEE 1394 leader election protocol; from standard documents, we derive temporal requirements to solve the contention problem and we propose a method for introducing time constraints using a pattern. The pattern captures time constraints in a generic event B development and it is applied to the IEEE 1394 case study.</div></front></TEI></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Istex/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002F76 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 002F76 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien
|wiki= Wicri/Lorraine
|area= InforLorV4
|flux= Istex
|étape= Curation
|type= RBID
|clé= ISTEX:CAF1976E06FD7349E71DF25222E083D51C33A992
|texte= Time Constraint Patterns for Event B Development
}}
| This area was generated with Dilib version V0.6.33. |  |