The Semantics of Refinement Chart
Identifieur interne : 000A28 ( Hal/Checkpoint ); précédent : 000A27; suivant : 000A29The Semantics of Refinement Chart
Auteurs : Dominique Méry [France] ; Neeraj Kumar Singh [Canada]Source :
Abstract
Refinement techniques play a major role to build a complex system incrementally. Refinement is supported by several modelling techniques in the area of system designing. These modelling techniques focus on notations that are either text or graphical. This article focuses on refinement chart (RC) that is based on graphical notations. The refinement chart is a graphical representation of a complex system using layering approach, where functional blocks are di- vided into multiple simpler blocks in a new refinement level, without changing the original behaviour of the system. The main contribution of this article is to provide the formal semantical description of the refinement chart. The refinement chart offers a clear view of assistance in "system" integration that assists to model the complex critical systems. Moreover, it also sketches a clear view of different operating modes and their associated components. To realise the effectiveness of this approach, we apply this refinement based graphical modelling technique to model an industrial case study: Adaptive Cruise Control (ACC).
Url:
DOI: 10.1007/978-3-319-07725-3_42
Links toward previous steps (curation, corpus...)
Links to Exploration step
Hal:hal-00995176Le document en format XML
<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">The Semantics of Refinement Chart</title><author><name sortKey="Mery, Dominique" sort="Mery, Dominique" uniqKey="Mery D" first="Dominique" last="Méry">Dominique Méry</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-206041" status="VALID"><orgName>Proof-oriented development of computer-based systems</orgName><orgName type="acronym">MOSEL</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/equipes/mosel</ref></desc><listRelation><relation active="#struct-423084" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-423084" type="direct"><org type="department" xml:id="struct-423084" status="VALID"><orgName>Department of Formal Methods </orgName><orgName type="acronym">LORIA - FM</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><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 active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></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-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></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></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author><author><name sortKey="Singh, Neeraj Kumar" sort="Singh, Neeraj Kumar" uniqKey="Singh N" first="Neeraj Kumar" last="Singh">Neeraj Kumar Singh</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-87688" status="VALID"><orgName>Department of Computing and Software</orgName><orgName type="acronym">McMaster University</orgName><desc><address><addrLine>1280 Main Street West - Hamilton, Ontario, Canada, L8S 4K1</addrLine><country key="CA"></country></address><ref type="url">http://www.cas.mcmaster.ca</ref></desc><listRelation><relation active="#struct-64587" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-64587" type="direct"><org type="institution" xml:id="struct-64587" status="VALID"><orgName>McMaster University [Hamilton, Ontario]</orgName><desc><address><addrLine>1280 Main Street WestHamilton, Ontario L8S 4L8</addrLine><country key="CA"></country></address><ref type="url">http://www.mcmaster.ca/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Canada</country></affiliation></author></titleStmt><publicationStmt><idno type="wicri:source">HAL</idno><idno type="RBID">Hal:hal-00995176</idno><idno type="halId">hal-00995176</idno><idno type="halUri">https://hal.inria.fr/hal-00995176</idno><idno type="url">https://hal.inria.fr/hal-00995176</idno><idno type="doi">10.1007/978-3-319-07725-3_42</idno><date when="2014-06-22">2014-06-22</date><idno type="wicri:Area/Hal/Corpus">004B88</idno><idno type="wicri:Area/Hal/Curation">004B88</idno><idno type="wicri:Area/Hal/Checkpoint">000A28</idno><idno type="wicri:explorRef" wicri:stream="Hal" wicri:step="Checkpoint">000A28</idno></publicationStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">The Semantics of Refinement Chart</title><author><name sortKey="Mery, Dominique" sort="Mery, Dominique" uniqKey="Mery D" first="Dominique" last="Méry">Dominique Méry</name><affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-206041" status="VALID"><orgName>Proof-oriented development of computer-based systems</orgName><orgName type="acronym">MOSEL</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/equipes/mosel</ref></desc><listRelation><relation active="#struct-423084" type="direct"></relation><relation active="#struct-206040" type="indirect"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation><tutelles><tutelle active="#struct-423084" type="direct"><org type="department" xml:id="struct-423084" status="VALID"><orgName>Department of Formal Methods </orgName><orgName type="acronym">LORIA - FM</orgName><desc><address><country key="FR"></country></address><ref type="url">http://www.loria.fr/la-recherche-en/departements/formal-methods</ref></desc><listRelation><relation active="#struct-206040" type="direct"></relation><relation active="#struct-300009" type="indirect"></relation><relation active="#struct-413289" type="indirect"></relation><relation name="UMR7503" active="#struct-441569" type="indirect"></relation></listRelation></org></tutelle><tutelle active="#struct-206040" type="indirect"><org type="laboratory" xml:id="struct-206040" status="VALID"><idno type="IdRef">067077927</idno><idno type="RNSR">198912571S</idno><idno type="IdUnivLorraine">[UL]RSI--</idno><orgName>Laboratoire Lorrain de Recherche en Informatique et ses Applications</orgName><orgName type="acronym">LORIA</orgName><date type="start">2012-01-01</date><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 active="#struct-300009" type="direct"></relation><relation active="#struct-413289" type="direct"></relation><relation name="UMR7503" active="#struct-441569" type="direct"></relation></listRelation></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-413289" type="indirect"><org type="institution" xml:id="struct-413289" status="VALID"><idno type="IdRef">157040569</idno><idno type="IdUnivLorraine">[UL]100--</idno><orgName>Université de Lorraine</orgName><orgName type="acronym">UL</orgName><date type="start">2012-01-01</date><desc><address><addrLine>34 cours Léopold - CS 25233 - 54052 Nancy cedex</addrLine><country key="FR"></country></address><ref type="url">http://www.univ-lorraine.fr/</ref></desc></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></tutelles></hal:affiliation><country>France</country><placeName><settlement type="city">Nancy</settlement><settlement type="city">Metz</settlement><region type="region" nuts="2">Grand Est</region><region type="old region" nuts="2">Lorraine (région)</region></placeName><orgName type="university">Université de Lorraine</orgName></affiliation></author><author><name sortKey="Singh, Neeraj Kumar" sort="Singh, Neeraj Kumar" uniqKey="Singh N" first="Neeraj Kumar" last="Singh">Neeraj Kumar Singh</name><affiliation wicri:level="1"><hal:affiliation type="laboratory" xml:id="struct-87688" status="VALID"><orgName>Department of Computing and Software</orgName><orgName type="acronym">McMaster University</orgName><desc><address><addrLine>1280 Main Street West - Hamilton, Ontario, Canada, L8S 4K1</addrLine><country key="CA"></country></address><ref type="url">http://www.cas.mcmaster.ca</ref></desc><listRelation><relation active="#struct-64587" type="direct"></relation></listRelation><tutelles><tutelle active="#struct-64587" type="direct"><org type="institution" xml:id="struct-64587" status="VALID"><orgName>McMaster University [Hamilton, Ontario]</orgName><desc><address><addrLine>1280 Main Street WestHamilton, Ontario L8S 4L8</addrLine><country key="CA"></country></address><ref type="url">http://www.mcmaster.ca/</ref></desc></org></tutelle></tutelles></hal:affiliation><country>Canada</country></affiliation></author></analytic><idno type="DOI">10.1007/978-3-319-07725-3_42</idno></biblStruct></sourceDesc></fileDesc><profileDesc><textClass></textClass></profileDesc></teiHeader><front><div type="abstract" xml:lang="en">Refinement techniques play a major role to build a complex system incrementally. Refinement is supported by several modelling techniques in the area of system designing. These modelling techniques focus on notations that are either text or graphical. This article focuses on refinement chart (RC) that is based on graphical notations. The refinement chart is a graphical representation of a complex system using layering approach, where functional blocks are di- vided into multiple simpler blocks in a new refinement level, without changing the original behaviour of the system. The main contribution of this article is to provide the formal semantical description of the refinement chart. The refinement chart offers a clear view of assistance in "system" integration that assists to model the complex critical systems. Moreover, it also sketches a clear view of different operating modes and their associated components. To realise the effectiveness of this approach, we apply this refinement based graphical modelling technique to model an industrial case study: Adaptive Cruise Control (ACC).</div></front></TEI><hal api="V3"><titleStmt><title xml:lang="en">The Semantics of Refinement Chart</title><author role="aut"><persName><forename type="first">Dominique</forename><surname>Méry</surname></persName><email>dominique.mery@loria.fr</email><ptr type="url" target="http://www.loria.fr/~mery"></ptr><idno type="halauthor">1017544</idno><affiliation ref="#struct-206041"></affiliation><affiliation ref="#struct-107895"></affiliation></author><author role="aut"><persName><forename type="first">Neeraj Kumar</forename><surname>Singh</surname></persName><email>singhnne@loria.fr</email><idno type="halauthor">971770</idno><orgName ref="#struct-413289"></orgName><affiliation ref="#struct-87688"></affiliation></author><editor role="depositor"><persName><forename>Dominique</forename><surname>Méry</surname></persName><email>dominique.mery@loria.fr</email></editor></titleStmt><editionStmt><edition n="v1" type="current"><date type="whenSubmitted">2014-05-22 20:41:18</date><date type="whenModified">2015-09-21 11:15:52</date><date type="whenReleased">2014-05-22 20:41:18</date><date type="whenProduced">2014-06-22</date></edition><respStmt><resp>contributor</resp><name key="107371"><persName><forename>Dominique</forename><surname>Méry</surname></persName><email>dominique.mery@loria.fr</email></name></respStmt></editionStmt><publicationStmt><distributor>CCSD</distributor><idno type="halId">hal-00995176</idno><idno type="halUri">https://hal.inria.fr/hal-00995176</idno><idno type="halBibtex">mery:hal-00995176</idno><idno type="halRefHtml">Vincent G. Duffy. HCI International, Jun 2014, Heraklion, Greece. Springer, 8529, pp.415-426, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-07725-3_42></idno><idno type="halRef">Vincent G. Duffy. HCI International, Jun 2014, Heraklion, Greece. Springer, 8529, pp.415-426, 2014, Lecture Notes in Computer Science. <10.1007/978-3-319-07725-3_42></idno></publicationStmt><seriesStmt><idno type="stamp" n="CNRS">CNRS - Centre national de la recherche scientifique</idno><idno type="stamp" n="INRIA">INRIA - Institut National de Recherche en Informatique et en Automatique</idno><idno type="stamp" n="INRIA-LORRAINE">INRIA Nancy - Grand Est</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">LORIA - Laboratoire Lorrain de Recherche en Informatique et ses Applications</idno><idno type="stamp" n="LORIA-FM" p="LORIA">Méthodes formelles</idno><idno type="stamp" n="INRIA_TEST">INRIA - Institut National de Recherche en Informatique et en Automatique</idno><idno type="stamp" n="UNIV-LORRAINE">Université de Lorraine</idno></seriesStmt><notesStmt><note type="audience" n="2">International</note><note type="invited" n="0">No</note><note type="popular" n="0">No</note><note type="peer" n="1">Yes</note><note type="proceedings" n="1">Yes</note></notesStmt><sourceDesc><biblStruct><analytic><title xml:lang="en">The Semantics of Refinement Chart</title><author role="aut"><persName><forename type="first">Dominique</forename><surname>Méry</surname></persName><email>dominique.mery@loria.fr</email><ptr type="url" target="http://www.loria.fr/~mery"></ptr><idno type="halAuthorId">1017544</idno><affiliation ref="#struct-206041"></affiliation><affiliation ref="#struct-107895"></affiliation></author><author role="aut"><persName><forename type="first">Neeraj Kumar</forename><surname>Singh</surname></persName><email>singhnne@loria.fr</email><idno type="halAuthorId">971770</idno><orgName ref="#struct-413289"></orgName><affiliation ref="#struct-87688"></affiliation></author></analytic><monogr><meeting><title>HCI International</title><date type="start">2014-06-22</date><date type="end">2014-06-27</date><settlement>Heraklion</settlement><country key="GR">Greece</country></meeting><editor>Vincent G. Duffy</editor><imprint><publisher>Springer</publisher><biblScope unit="serie">Lecture Notes in Computer Science</biblScope><biblScope unit="volume">8529</biblScope><biblScope unit="pp">415-426</biblScope><date type="datePub">2014-05-22</date></imprint></monogr><idno type="doi">10.1007/978-3-319-07725-3_42</idno></biblStruct></sourceDesc><profileDesc><langUsage><language ident="en">English</language></langUsage><textClass><classCode scheme="halDomain" n="info.info-fl">Computer Science [cs]/Formal Languages and Automata Theory [cs.FL]</classCode><classCode scheme="halDomain" n="info.info-lo">Computer Science [cs]/Logic in Computer Science [cs.LO]</classCode><classCode scheme="halTypology" n="COMM">Conference papers</classCode></textClass><abstract xml:lang="en">Refinement techniques play a major role to build a complex system incrementally. Refinement is supported by several modelling techniques in the area of system designing. These modelling techniques focus on notations that are either text or graphical. This article focuses on refinement chart (RC) that is based on graphical notations. The refinement chart is a graphical representation of a complex system using layering approach, where functional blocks are di- vided into multiple simpler blocks in a new refinement level, without changing the original behaviour of the system. The main contribution of this article is to provide the formal semantical description of the refinement chart. The refinement chart offers a clear view of assistance in "system" integration that assists to model the complex critical systems. Moreover, it also sketches a clear view of different operating modes and their associated components. To realise the effectiveness of this approach, we apply this refinement based graphical modelling technique to model an industrial case study: Adaptive Cruise Control (ACC).</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 000A28 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Hal/Checkpoint/biblio.hfd -nk 000A28 | 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:hal-00995176
|texte= The Semantics of Refinement Chart
}}
| This area was generated with Dilib version V0.6.33. |  |