A Tool Architecture to Verify Properties of Multiagent System at Runtime
Identifieur interne : 000D57 ( Istex/Curation ); précédent : 000D56; suivant : 000D58A Tool Architecture to Verify Properties of Multiagent System at Runtime
Auteurs : Denis Meron [France] ; Bruno Mermet [France]Source :
- Lecture Notes in Computer Science [ 0302-9743 ] ; 2007.
Abstract
Abstract: This paper describes an architecture allowing to verify properties of a multiagent system during its execution. This architecture is the basis of our study whose goal is to check at runtime, if agents and more generally multiagent systems satisfy requirements. Considering that a correct system is a system verifying the properties specified by the designer, we are interested in the “property” notion. That is why we give here a definition of “property” and we present an architecture to validate them. The architecture, a multiagent system itself, is based on a set of agents whose goals are to check at runtime the whole system’s properties. So after a brief description of the “property” notion, we describe our architecture and the way to check systems.
Url:
DOI: 10.1007/978-3-540-71956-4_12
Links toward previous steps (curation, corpus...)
- to stream Istex, to step Corpus: Pour aller vers cette notice dans l'étape Curation :000D57
Links to Exploration step
ISTEX:48D2337BA1AFE504C19051AB85BE241E6341EDA2Le document en format XML
<record><TEI wicri:istexFullTextTei="biblStruct:series"><teiHeader><fileDesc><titleStmt><title xml:lang="en">A Tool Architecture to Verify Properties of Multiagent System at Runtime</title>
<author><name sortKey="Meron, Denis" sort="Meron, Denis" uniqKey="Meron D" first="Denis" last="Meron">Denis Meron</name>
<affiliation wicri:level="1"><mods:affiliation>LITIS, University of Le Havre, France</mods:affiliation>
<country xml:lang="fr">France</country>
<wicri:regionArea>LITIS, University of Le Havre</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: Denis.Meron@univ-lehavre.fr</mods:affiliation>
<country wicri:rule="url">France</country>
</affiliation>
</author>
<author><name sortKey="Mermet, Bruno" sort="Mermet, Bruno" uniqKey="Mermet B" first="Bruno" last="Mermet">Bruno Mermet</name>
<affiliation wicri:level="1"><mods:affiliation>GREYC, University of Caen, France</mods:affiliation>
<country xml:lang="fr">France</country>
<wicri:regionArea>GREYC, University of Caen</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: Bruno.Mermet@univ-lehavre.fr</mods:affiliation>
<country wicri:rule="url">France</country>
</affiliation>
</author>
</titleStmt>
<publicationStmt><idno type="wicri:source">ISTEX</idno>
<idno type="RBID">ISTEX:48D2337BA1AFE504C19051AB85BE241E6341EDA2</idno>
<date when="2007" year="2007">2007</date>
<idno type="doi">10.1007/978-3-540-71956-4_12</idno>
<idno type="url">https://api.istex.fr/document/48D2337BA1AFE504C19051AB85BE241E6341EDA2/fulltext/pdf</idno>
<idno type="wicri:Area/Istex/Corpus">000D57</idno>
<idno type="wicri:Area/Istex/Curation">000D57</idno>
</publicationStmt>
<sourceDesc><biblStruct><analytic><title level="a" type="main" xml:lang="en">A Tool Architecture to Verify Properties of Multiagent System at Runtime</title>
<author><name sortKey="Meron, Denis" sort="Meron, Denis" uniqKey="Meron D" first="Denis" last="Meron">Denis Meron</name>
<affiliation wicri:level="1"><mods:affiliation>LITIS, University of Le Havre, France</mods:affiliation>
<country xml:lang="fr">France</country>
<wicri:regionArea>LITIS, University of Le Havre</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: Denis.Meron@univ-lehavre.fr</mods:affiliation>
<country wicri:rule="url">France</country>
</affiliation>
</author>
<author><name sortKey="Mermet, Bruno" sort="Mermet, Bruno" uniqKey="Mermet B" first="Bruno" last="Mermet">Bruno Mermet</name>
<affiliation wicri:level="1"><mods:affiliation>GREYC, University of Caen, France</mods:affiliation>
<country xml:lang="fr">France</country>
<wicri:regionArea>GREYC, University of Caen</wicri:regionArea>
</affiliation>
<affiliation wicri:level="1"><mods:affiliation>E-mail: Bruno.Mermet@univ-lehavre.fr</mods:affiliation>
<country wicri:rule="url">France</country>
</affiliation>
</author>
</analytic>
<monogr></monogr>
<series><title level="s">Lecture Notes in Computer Science</title>
<imprint><date>2007</date>
</imprint>
<idno type="ISSN">0302-9743</idno>
<idno type="eISSN">1611-3349</idno>
<idno type="ISSN">0302-9743</idno>
</series>
<idno type="istex">48D2337BA1AFE504C19051AB85BE241E6341EDA2</idno>
<idno type="DOI">10.1007/978-3-540-71956-4_12</idno>
<idno type="ChapterID">12</idno>
<idno type="ChapterID">Chap12</idno>
</biblStruct>
</sourceDesc>
<seriesStmt><idno type="ISSN">0302-9743</idno>
</seriesStmt>
</fileDesc>
<profileDesc><textClass></textClass>
<langUsage><language ident="en">en</language>
</langUsage>
</profileDesc>
</teiHeader>
<front><div type="abstract" xml:lang="en">Abstract: This paper describes an architecture allowing to verify properties of a multiagent system during its execution. This architecture is the basis of our study whose goal is to check at runtime, if agents and more generally multiagent systems satisfy requirements. Considering that a correct system is a system verifying the properties specified by the designer, we are interested in the “property” notion. That is why we give here a definition of “property” and we present an architecture to validate them. The architecture, a multiagent system itself, is based on a set of agents whose goals are to check at runtime the whole system’s properties. So after a brief description of the “property” notion, we describe our architecture and the way to check systems.</div>
</front>
</TEI>
</record>
Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/France/explor/LeHavreV1/Data/Istex/Curation
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000D57 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Curation/biblio.hfd -nk 000D57 | SxmlIndent | more
Pour mettre un lien sur cette page dans le réseau Wicri
{{Explor lien |wiki= Wicri/France |area= LeHavreV1 |flux= Istex |étape= Curation |type= RBID |clé= ISTEX:48D2337BA1AFE504C19051AB85BE241E6341EDA2 |texte= A Tool Architecture to Verify Properties of Multiagent System at Runtime }}
![]() | This area was generated with Dilib version V0.6.25. | ![]() |