InforLorV4, Hal, Curation, bibRecord, 002066

Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles

Identifieur interne : 002066 ( Hal/Curation ); précédent : 002065; suivant : 002067

Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles

Source :

RBID : Hal:hal-00260577

Abstract

Situated Multi-Agents Systems (MAS), and other Agent-based systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. Event-B is a formal method with tool support allowing a stepwise development of reactive distributed systems. MAS being a subclass of such systems, we propose using Event-B to helpful their specification and their safe development. In this article, we mainly report our experience with the Even-B stepwise development of a situated MAS which study the displacement of vehicles in a convoy. This article aims also at serving as a guide for the development of other MAS, taking agents-specific features into account.

Url:

https://hal.archives-ouvertes.fr/hal-00260577

Links toward previous steps (curation, corpus...)

to stream Hal, to step Corpus: Pour aller vers cette notice dans l'étape Curation :002066

Links to Exploration step

Hal:hal-00260577

Le document en format XML

<record><TEI><teiHeader><fileDesc><titleStmt><title xml:lang="en">Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles</title>
<author><name sortKey="Lanoix, Arnaud" sort="Lanoix, Arnaud" uniqKey="Lanoix A" first="Arnaud" last="Lanoix">Arnaud Lanoix</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2492" status="OLD"><orgName>Development of specifications</orgName>
<orgName type="acronym">DEDALE</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/equipes/dedale</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>
</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>
</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:hal-00260577</idno>
<idno type="halId">hal-00260577</idno>
<idno type="halUri">https://hal.archives-ouvertes.fr/hal-00260577</idno>
<idno type="url">https://hal.archives-ouvertes.fr/hal-00260577</idno>
<date when="2008-06">2008-06</date>
<idno type="wicri:Area/Hal/Corpus">002066</idno>
<idno type="wicri:Area/Hal/Curation">002066</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title xml:lang="en">Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles</title>
<author><name sortKey="Lanoix, Arnaud" sort="Lanoix, Arnaud" uniqKey="Lanoix A" first="Arnaud" last="Lanoix">Arnaud Lanoix</name>
<affiliation wicri:level="1"><hal:affiliation type="researchteam" xml:id="struct-2492" status="OLD"><orgName>Development of specifications</orgName>
<orgName type="acronym">DEDALE</orgName>
<desc><address><country key="FR"></country>
</address>
<ref type="url">http://www.loria.fr/la-recherche-en/equipes/dedale</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>
</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>
</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></textClass>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Situated Multi-Agents Systems (MAS), and other Agent-based systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. Event-B is a formal method with tool support allowing a stepwise development of reactive distributed systems. MAS being a subclass of such systems, we propose using Event-B to helpful their specification and their safe development. In this article, we mainly report our experience with the Even-B stepwise development of a situated MAS which study the displacement of vehicles in a convoy. This article aims also at serving as a guide for the development of other MAS, taking agents-specific features into account.</div>
</front>
</TEI>
<hal api="V3"><titleStmt><title xml:lang="en">Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles</title>
<author role="aut"><persName><forename type="first">Arnaud</forename>
<surname>Lanoix</surname>
</persName>
<email>Arnaud.Lanoix@loria.fr</email>
<idno type="idhal">lanoix-a</idno>
<idno type="halauthor">83483</idno>
<affiliation ref="#struct-2492"></affiliation>
</author>
<editor role="depositor"><persName><forename>Arnaud</forename>
<surname>Lanoix</surname>
</persName>
<email>Arnaud.Lanoix@univ-nantes.fr</email>
</editor>
<funder ref="#projanr-2510"></funder>
<funder>Projet ANR-06-SETI-017 TACOS, projet Pôle de compétitivité Alsace/Franche-comté CRISTAL</funder>
</titleStmt>
<editionStmt><edition n="v1" type="current"><date type="whenSubmitted">2008-03-04 14:34:22</date>
<date type="whenWritten">2008-01</date>
<date type="whenModified">2016-05-19 01:04:27</date>
<date type="whenReleased">2008-03-04 14:45:31</date>
<date type="whenProduced">2008-06</date>
<date type="whenEndEmbargoed">2008-03-04</date>
<ref type="file" target="https://hal.archives-ouvertes.fr/hal-00260577/document"><date notBefore="2008-03-04"></date>
</ref>
<ref type="file" subtype="greenPublisher" n="1" target="https://hal.archives-ouvertes.fr/hal-00260577/file/main.pdf"><date notBefore="2008-03-04"></date>
</ref>
</edition>
<respStmt><resp>contributor</resp>
<name key="109203"><persName><forename>Arnaud</forename>
<surname>Lanoix</surname>
</persName>
<email>Arnaud.Lanoix@univ-nantes.fr</email>
</name>
</respStmt>
</editionStmt>
<publicationStmt><distributor>CCSD</distributor>
<idno type="halId">hal-00260577</idno>
<idno type="halUri">https://hal.archives-ouvertes.fr/hal-00260577</idno>
<idno type="halBibtex">lanoix:hal-00260577</idno>
<idno type="halRefHtml">2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), Jun 2008, France. 8 p., 2008</idno>
<idno type="halRef">2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008), Jun 2008, France. 8 p., 2008</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="INPL">Institut National Polytechnique de Lorraine</idno>
<idno type="stamp" n="UNIV-NANTES">Université de Nantes</idno>
<idno type="stamp" n="LINA-COLOSS" p="LINA">LINA - Equipe COmposants et LOgiciels SûrS</idno>
<idno type="stamp" n="LINA" p="UNIV-NANTES">Laboratoire d'Informatique de Nantes Atlantique</idno>
<idno type="stamp" n="LORIA2">Publications du LORIA</idno>
<idno type="stamp" n="LABO-LORIA-SET" p="LORIA">LABO-LORIA-SET</idno>
<idno type="stamp" n="LINA-AELOS" p="LINA">LINA-AELOS</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="UNIV-LORRAINE">Université de Lorraine</idno>
</seriesStmt>
<notesStmt><note type="commentary">10 pages</note>
<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">Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles</title>
<author role="aut"><persName><forename type="first">Arnaud</forename>
<surname>Lanoix</surname>
</persName>
<email>Arnaud.Lanoix@loria.fr</email>
<idno type="idHal">lanoix-a</idno>
<idno type="halAuthorId">83483</idno>
<affiliation ref="#struct-2492"></affiliation>
</author>
</analytic>
<monogr><title level="m">2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008)</title>
<meeting><title>2nd IFIP/IEEE International Symposium on Theoretical Aspects of Software Engineering (TASE 2008)</title>
<date type="start">2008-06</date>
<country key="FR">France</country>
</meeting>
<imprint><biblScope unit="pp">8 pages</biblScope>
<date type="datePub">2008-06</date>
</imprint>
</monogr>
</biblStruct>
</sourceDesc>
<profileDesc><langUsage><language ident="en">English</language>
</langUsage>
<textClass><classCode scheme="halDomain" n="info.info-se">Computer Science [cs]/Software Engineering [cs.SE]</classCode>
<classCode scheme="halTypology" n="COMM">Conference papers</classCode>
</textClass>
<abstract xml:lang="en">Situated Multi-Agents Systems (MAS), and other Agent-based systems, are often complex. Formal reasoning is needed to ensuring their correctness and structuring their development. Event-B is a formal method with tool support allowing a stepwise development of reactive distributed systems. MAS being a subclass of such systems, we propose using Event-B to helpful their specification and their safe development. In this article, we mainly report our experience with the Even-B stepwise development of a situated MAS which study the displacement of vehicles in a convoy. This article aims also at serving as a guide for the development of other MAS, taking agents-specific features into account.</abstract>
</profileDesc>
</hal>
</record>

Pour manipuler ce document sous Unix (Dilib)

EXPLOR_STEP=$WICRI_ROOT/Wicri/Lorraine/explor/InforLorV4/Data/Hal/Curation

HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 002066 | SxmlIndent | more

HfdSelect -h $EXPLOR_AREA/Data/Hal/Curation/biblio.hfd -nk 002066 | SxmlIndent | more

Pour mettre un lien sur cette page dans le réseau Wicri

{{Explor lien
   |wiki=    Wicri/Lorraine
   |area=    InforLorV4
   |flux=    Hal
   |étape=   Curation
   |type=    RBID
   |clé=     Hal:hal-00260577
   |texte=   Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles
}}

This area was generated with Dilib version V0.6.33.
Data generation: Mon Jun 10 21:56:28 2019. Site generation: Fri Feb 25 15:29:27 2022

	Serveur d'exploration sur la recherche en informatique en Lorraine
	Attention, ce site est en cours de développement ! Attention, site généré par des moyens informatiques à partir de corpus bruts. Les informations ne sont donc pas validées.

Serveur d'exploration sur la recherche en informatique en Lorraine

Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles

Event-B Specification of a Situated Multi-Agent System: Study of a Platoon of Vehicles

Source :

Abstract

Links toward previous steps (curation, corpus...)

Links to Exploration step

Le document en format XML

Pour manipuler ce document sous Unix (Dilib)

Pour mettre un lien sur cette page dans le réseau Wicri