A Tool Architecture to Verify Properties of Multiagent System at Runtime
Identifieur interne : 000D57 ( Istex/Corpus ); précédent : 000D56; suivant : 000D58A Tool Architecture to Verify Properties of Multiagent System at Runtime
Auteurs : Denis Meron ; Bruno MermetSource :
- 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 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><mods:affiliation>LITIS, University of Le Havre, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Denis.Meron@univ-lehavre.fr</mods:affiliation></affiliation></author><author><name sortKey="Mermet, Bruno" sort="Mermet, Bruno" uniqKey="Mermet B" first="Bruno" last="Mermet">Bruno Mermet</name><affiliation><mods:affiliation>GREYC, University of Caen, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Bruno.Mermet@univ-lehavre.fr</mods:affiliation></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></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><mods:affiliation>LITIS, University of Le Havre, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Denis.Meron@univ-lehavre.fr</mods:affiliation></affiliation></author><author><name sortKey="Mermet, Bruno" sort="Mermet, Bruno" uniqKey="Mermet B" first="Bruno" last="Mermet">Bruno Mermet</name><affiliation><mods:affiliation>GREYC, University of Caen, France</mods:affiliation></affiliation><affiliation><mods:affiliation>E-mail: Bruno.Mermet@univ-lehavre.fr</mods:affiliation></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><istex><corpusName>springer</corpusName><author><json:item><name>Denis Meron</name><affiliations><json:string>LITIS, University of Le Havre, France</json:string><json:string>E-mail: Denis.Meron@univ-lehavre.fr</json:string></affiliations></json:item><json:item><name>Bruno Mermet</name><affiliations><json:string>GREYC, University of Caen, France</json:string><json:string>E-mail: Bruno.Mermet@univ-lehavre.fr</json:string></affiliations></json:item></author><language><json:string>eng</json:string></language><originalGenre><json:string>OriginalPaper</json:string></originalGenre><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.</abstract><qualityIndicators><score>6.488</score><pdfVersion>1.3</pdfVersion><pdfPageSize>430 x 660 pts</pdfPageSize><refBibsNative>false</refBibsNative><keywordCount>0</keywordCount><abstractCharCount>768</abstractCharCount><pdfWordCount>5727</pdfWordCount><pdfCharCount>31315</pdfCharCount><pdfPageCount>16</pdfPageCount><abstractWordCount>124</abstractWordCount></qualityIndicators><title>A Tool Architecture to Verify Properties of Multiagent System at Runtime</title><chapterId><json:string>12</json:string><json:string>Chap12</json:string></chapterId><genre><json:string>conference</json:string></genre><serie><issn><json:string>0302-9743</json:string></issn><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>Lecture Notes in Computer Science</title><copyrightDate>2007</copyrightDate></serie><host><editor><json:item><name>Rafael H. Bordini</name></json:item><json:item><name>Mehdi Dastani</name></json:item><json:item><name>Jürgen Dix</name></json:item><json:item><name>Amal El Fallah Seghrouchni</name></json:item></editor><subject><json:item><value>Computer Science</value></json:item><json:item><value>Computer Science</value></json:item><json:item><value>Artificial Intelligence (incl. Robotics)</value></json:item><json:item><value>Computer Communication Networks</value></json:item><json:item><value>Software Engineering</value></json:item><json:item><value>Logics and Meanings of Programs</value></json:item><json:item><value>Programming Languages, Compilers, Interpreters</value></json:item></subject><isbn><json:string>978-3-540-71955-7</json:string></isbn><language><json:string>unknown</json:string></language><eissn><json:string>1611-3349</json:string></eissn><title>Programming Multi-Agent Systems</title><bookId><json:string>978-3-540-71956-4</json:string></bookId><volume>4411</volume><pages><last>216</last><first>201</first></pages><issn><json:string>0302-9743</json:string></issn><genre><json:string>book-series</json:string></genre><eisbn><json:string>978-3-540-71956-4</json:string></eisbn><copyrightDate>2007</copyrightDate><doi><json:string>10.1007/978-3-540-71956-4</json:string></doi></host><publicationDate>2007</publicationDate><copyrightDate>2007</copyrightDate><doi><json:string>10.1007/978-3-540-71956-4_12</json:string></doi><id>48D2337BA1AFE504C19051AB85BE241E6341EDA2</id><score>0.18834326</score><fulltext><json:item><original>true</original><mimetype>application/pdf</mimetype><extension>pdf</extension><uri>https://api.istex.fr/document/48D2337BA1AFE504C19051AB85BE241E6341EDA2/fulltext/pdf</uri></json:item><json:item><original>false</original><mimetype>application/zip</mimetype><extension>zip</extension><uri>https://api.istex.fr/document/48D2337BA1AFE504C19051AB85BE241E6341EDA2/fulltext/zip</uri></json:item><istex:fulltextTEI uri="https://api.istex.fr/document/48D2337BA1AFE504C19051AB85BE241E6341EDA2/fulltext/tei"><teiHeader><fileDesc><titleStmt><title level="a" type="main" xml:lang="en">A Tool Architecture to Verify Properties of Multiagent System at Runtime</title><respStmt><resp>Références bibliographiques récupérées via GROBID</resp><name resp="ISTEX-API">ISTEX-API (INIST-CNRS)</name></respStmt></titleStmt><publicationStmt><authority>ISTEX</authority><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><availability><p>Springer-Verlag Berlin Heidelberg, 2007</p></availability><date>2007</date></publicationStmt><sourceDesc><biblStruct type="inbook"><analytic><title level="a" type="main" xml:lang="en">A Tool Architecture to Verify Properties of Multiagent System at Runtime</title><author xml:id="author-1"><persName><forename type="first">Denis</forename><surname>Meron</surname></persName><email>Denis.Meron@univ-lehavre.fr</email><affiliation>LITIS, University of Le Havre, France</affiliation></author><author xml:id="author-2"><persName><forename type="first">Bruno</forename><surname>Mermet</surname></persName><email>Bruno.Mermet@univ-lehavre.fr</email><affiliation>GREYC, University of Caen, France</affiliation></author></analytic><monogr><title level="m">Programming Multi-Agent Systems</title><title level="m" type="sub">4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers</title><idno type="pISBN">978-3-540-71955-7</idno><idno type="eISBN">978-3-540-71956-4</idno><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="DOI">10.1007/978-3-540-71956-4</idno><idno type="book-ID">978-3-540-71956-4</idno><idno type="book-title-ID">149089</idno><idno type="book-sequence-number">4411</idno><idno type="book-volume-number">4411</idno><idno type="book-chapter-count">14</idno><editor><persName><forename type="first">Rafael</forename><forename type="first">H.</forename><surname>Bordini</surname></persName></editor><editor><persName><forename type="first">Mehdi</forename><surname>Dastani</surname></persName></editor><editor><persName><forename type="first">Jürgen</forename><surname>Dix</surname></persName></editor><editor><persName><forename type="first">Amal</forename><forename type="first">El</forename><forename type="first">Fallah</forename><surname>Seghrouchni</surname></persName></editor><imprint><publisher>Springer Berlin Heidelberg</publisher><pubPlace>Berlin, Heidelberg</pubPlace><date type="published" when="2007"></date><biblScope unit="volume">4411</biblScope><biblScope unit="page" from="201">201</biblScope><biblScope unit="page" to="216">216</biblScope></imprint></monogr><series><title level="s">Lecture Notes in Computer Science</title><biblScope><date>2007</date></biblScope><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><idno type="series-Id">558</idno></series><series><title level="s">Lecture Notes in Artificial Intelligence</title><editor><persName><forename type="first">Jaime</forename><forename type="first">G.</forename><surname>Carbonell</surname></persName></editor><editor><persName><forename type="first">J\"org</forename><surname>Siekmann</surname></persName></editor><editor><persName><forename type="first">Rafael</forename><forename type="first">H.</forename><surname>Bordini</surname></persName></editor><editor><persName><forename type="first">Mehdi</forename><surname>Dastani</surname></persName></editor><editor><persName><forename type="first">Jürgen</forename><surname>Dix</surname></persName></editor><editor><persName><forename type="first">Amal</forename><forename type="first">El</forename><forename type="first">Fallah</forename><surname>Seghrouchni</surname></persName></editor><idno type="pISSN">0302-9743</idno><idno type="eISSN">1611-3349</idno><biblScope unit="seriesId">1244</biblScope></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></fileDesc><profileDesc><creation><date>2007</date></creation><langUsage><language ident="en">en</language></langUsage><abstract xml:lang="en"><p>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.</p></abstract><textClass><keywords scheme="Book-Subject-Collection"><list><label>SUCO11645</label><item><term>Computer Science</term></item></list></keywords></textClass><textClass><keywords scheme="Book-Subject-Group"><list><label>I</label><label>I21017</label><label>I13022</label><label>I14029</label><label>I1603X</label><label>I14037</label><item><term>Computer Science</term></item><item><term>Artificial Intelligence (incl. Robotics)</term></item><item><term>Computer Communication Networks</term></item><item><term>Software Engineering</term></item><item><term>Logics and Meanings of Programs</term></item><item><term>Programming Languages, Compilers, Interpreters</term></item></list></keywords></textClass></profileDesc><revisionDesc><change when="2007">Published</change><change xml:id="refBibs-istex" who="#ISTEX-API" when="2016-09-22">References added</change></revisionDesc></teiHeader></istex:fulltextTEI><json:item><original>false</original><mimetype>text/plain</mimetype><extension>txt</extension><uri>https://api.istex.fr/document/48D2337BA1AFE504C19051AB85BE241E6341EDA2/fulltext/txt</uri></json:item></fulltext><metadata><istex:metadataXml wicri:clean="Springer, Publisher found" wicri:toSee="no header"><istex:xmlDeclaration>version="1.0" encoding="UTF-8"</istex:xmlDeclaration><istex:docType PUBLIC="-//Springer-Verlag//DTD A++ V2.4//EN" URI="http://devel.springer.de/A++/V2.4/DTD/A++V2.4.dtd" name="istex:docType"></istex:docType><istex:document><Publisher><PublisherInfo><PublisherName>Springer Berlin Heidelberg</PublisherName><PublisherLocation>Berlin, Heidelberg</PublisherLocation></PublisherInfo><Series><SeriesInfo SeriesType="Series" TocLevels="0"><SeriesID>558</SeriesID><SeriesPrintISSN>0302-9743</SeriesPrintISSN><SeriesElectronicISSN>1611-3349</SeriesElectronicISSN><SeriesTitle Language="En">Lecture Notes in Computer Science</SeriesTitle></SeriesInfo><SubSeries><SubSeriesInfo><SubSeriesID>1244</SubSeriesID><SubSeriesPrintISSN>0302-9743</SubSeriesPrintISSN><SubSeriesElectronicISSN>1611-3349</SubSeriesElectronicISSN><SubSeriesTitle Language="En">Lecture Notes in Artificial Intelligence</SubSeriesTitle></SubSeriesInfo><SubSeriesHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>Jaime</GivenName><GivenName>G.</GivenName><FamilyName>Carbonell</FamilyName></EditorName></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>J\"org</GivenName><FamilyName>Siekmann</FamilyName></EditorName></Editor></EditorGroup></SubSeriesHeader></SubSeries><Book Language="En"><BookInfo BookProductType="Proceedings" ContainsESM="No" Language="En" MediaType="eBook" NumberingStyle="Unnumbered" OutputMedium="All" TocLevels="0"><BookID>978-3-540-71956-4</BookID><BookTitle>Programming Multi-Agent Systems</BookTitle><BookSubTitle>4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers</BookSubTitle><BookVolumeNumber>4411</BookVolumeNumber><BookSequenceNumber>4411</BookSequenceNumber><BookDOI>10.1007/978-3-540-71956-4</BookDOI><BookTitleID>149089</BookTitleID><BookPrintISBN>978-3-540-71955-7</BookPrintISBN><BookElectronicISBN>978-3-540-71956-4</BookElectronicISBN><BookChapterCount>14</BookChapterCount><BookCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2007</CopyrightYear></BookCopyright><BookSubjectGroup><BookSubject Code="I" Type="Primary">Computer Science</BookSubject><BookSubject Code="I21017" Priority="1" Type="Secondary">Artificial Intelligence (incl. Robotics)</BookSubject><BookSubject Code="I13022" Priority="2" Type="Secondary">Computer Communication Networks</BookSubject><BookSubject Code="I14029" Priority="3" Type="Secondary">Software Engineering</BookSubject><BookSubject Code="I1603X" Priority="4" Type="Secondary">Logics and Meanings of Programs</BookSubject><BookSubject Code="I14037" Priority="5" Type="Secondary">Programming Languages, Compilers, Interpreters</BookSubject><SubjectCollection Code="SUCO11645">Computer Science</SubjectCollection></BookSubjectGroup></BookInfo><BookHeader><EditorGroup><Editor><EditorName DisplayOrder="Western"><GivenName>Rafael</GivenName><GivenName>H.</GivenName><FamilyName>Bordini</FamilyName></EditorName><Contact><Email>R.Bordini@durham.ac.uk</Email></Contact></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Mehdi</GivenName><FamilyName>Dastani</FamilyName></EditorName><Contact><Email>mehdi@cs.uu.nl</Email></Contact></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Jürgen</GivenName><FamilyName>Dix</FamilyName></EditorName><Contact><Email>dix@tu-clausthal.de</Email></Contact></Editor><Editor><EditorName DisplayOrder="Western"><GivenName>Amal</GivenName><GivenName>El</GivenName><GivenName>Fallah</GivenName><FamilyName>Seghrouchni</FamilyName></EditorName><Contact><Email>amal.elfallah@lip6.fr</Email></Contact></Editor></EditorGroup></BookHeader><Part ID="Part4"><PartInfo TocLevels="0"><PartID>4</PartID><PartSequenceNumber>4</PartSequenceNumber><PartTitle>Part III</PartTitle><PartChapterCount>4</PartChapterCount><PartContext><SeriesID>558</SeriesID><BookTitle>Programming Multi-Agent Systems</BookTitle></PartContext></PartInfo><Chapter ID="Chap12" Language="En"><ChapterInfo ChapterType="OriginalPaper" ContainsESM="No" NumberingStyle="Unnumbered" TocLevels="0"><ChapterID>12</ChapterID><ChapterDOI>10.1007/978-3-540-71956-4_12</ChapterDOI><ChapterSequenceNumber>12</ChapterSequenceNumber><ChapterTitle Language="En">A Tool Architecture to Verify Properties of Multiagent System at Runtime</ChapterTitle><ChapterFirstPage>201</ChapterFirstPage><ChapterLastPage>216</ChapterLastPage><ChapterCopyright><CopyrightHolderName>Springer-Verlag Berlin Heidelberg</CopyrightHolderName><CopyrightYear>2007</CopyrightYear></ChapterCopyright><ChapterGrants Type="Regular"><MetadataGrant Grant="OpenAccess"></MetadataGrant><AbstractGrant Grant="OpenAccess"></AbstractGrant><BodyPDFGrant Grant="Restricted"></BodyPDFGrant><BodyHTMLGrant Grant="Restricted"></BodyHTMLGrant><BibliographyGrant Grant="Restricted"></BibliographyGrant><ESMGrant Grant="Restricted"></ESMGrant></ChapterGrants><ChapterContext><SeriesID>558</SeriesID><PartID>4</PartID><BookID>978-3-540-71956-4</BookID><BookTitle>Programming Multi-Agent Systems</BookTitle></ChapterContext></ChapterInfo><ChapterHeader><AuthorGroup><Author AffiliationIDS="Aff1"><AuthorName DisplayOrder="Western"><GivenName>Denis</GivenName><FamilyName>Meron</FamilyName></AuthorName><Contact><Email>Denis.Meron@univ-lehavre.fr</Email></Contact></Author><Author AffiliationIDS="Aff2"><AuthorName DisplayOrder="Western"><GivenName>Bruno</GivenName><FamilyName>Mermet</FamilyName></AuthorName><Contact><Email>Bruno.Mermet@univ-lehavre.fr</Email></Contact></Author><Affiliation ID="Aff1"><OrgName>LITIS, University of Le Havre</OrgName><OrgAddress><Country>France</Country></OrgAddress></Affiliation><Affiliation ID="Aff2"><OrgName>GREYC, University of Caen</OrgName><OrgAddress><Country>France</Country></OrgAddress></Affiliation></AuthorGroup><Abstract ID="Abs1" Language="En"><Heading>Abstract</Heading><Para>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.</Para></Abstract></ChapterHeader><NoBody></NoBody></Chapter></Part></Book></Series></Publisher></istex:document></istex:metadataXml><mods version="3.6"><titleInfo lang="en"><title>A Tool Architecture to Verify Properties of Multiagent System at Runtime</title></titleInfo><titleInfo type="alternative" contentType="CDATA" lang="en"><title>A Tool Architecture to Verify Properties of Multiagent System at Runtime</title></titleInfo><name type="personal"><namePart type="given">Denis</namePart><namePart type="family">Meron</namePart><affiliation>LITIS, University of Le Havre, France</affiliation><affiliation>E-mail: Denis.Meron@univ-lehavre.fr</affiliation><role><roleTerm type="text">author</roleTerm></role></name><name type="personal"><namePart type="given">Bruno</namePart><namePart type="family">Mermet</namePart><affiliation>GREYC, University of Caen, France</affiliation><affiliation>E-mail: Bruno.Mermet@univ-lehavre.fr</affiliation><role><roleTerm type="text">author</roleTerm></role></name><typeOfResource>text</typeOfResource><genre type="conference" displayLabel="OriginalPaper"></genre><originInfo><publisher>Springer Berlin Heidelberg</publisher><place><placeTerm type="text">Berlin, Heidelberg</placeTerm></place><dateIssued encoding="w3cdtf">2007</dateIssued><copyrightDate encoding="w3cdtf">2007</copyrightDate></originInfo><language><languageTerm type="code" authority="rfc3066">en</languageTerm><languageTerm type="code" authority="iso639-2b">eng</languageTerm></language><physicalDescription><internetMediaType>text/html</internetMediaType></physicalDescription><abstract 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.</abstract><relatedItem type="host"><titleInfo><title>Programming Multi-Agent Systems</title><subTitle>4th International Workshop, ProMAS 2006, Hakodate, Japan, May 9, 2006, Revised and Invited Papers</subTitle></titleInfo><name type="personal"><namePart type="given">Rafael</namePart><namePart type="given">H.</namePart><namePart type="family">Bordini</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Mehdi</namePart><namePart type="family">Dastani</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jürgen</namePart><namePart type="family">Dix</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Amal</namePart><namePart type="given">El</namePart><namePart type="given">Fallah</namePart><namePart type="family">Seghrouchni</namePart><role><roleTerm type="text">editor</roleTerm></role></name><genre type="book-series" displayLabel="Proceedings"></genre><originInfo><copyrightDate encoding="w3cdtf">2007</copyrightDate><issuance>monographic</issuance></originInfo><subject><genre>Book-Subject-Collection</genre><topic authority="SpringerSubjectCodes" authorityURI="SUCO11645">Computer Science</topic></subject><subject><genre>Book-Subject-Group</genre><topic authority="SpringerSubjectCodes" authorityURI="I">Computer Science</topic><topic authority="SpringerSubjectCodes" authorityURI="I21017">Artificial Intelligence (incl. Robotics)</topic><topic authority="SpringerSubjectCodes" authorityURI="I13022">Computer Communication Networks</topic><topic authority="SpringerSubjectCodes" authorityURI="I14029">Software Engineering</topic><topic authority="SpringerSubjectCodes" authorityURI="I1603X">Logics and Meanings of Programs</topic><topic authority="SpringerSubjectCodes" authorityURI="I14037">Programming Languages, Compilers, Interpreters</topic></subject><identifier type="DOI">10.1007/978-3-540-71956-4</identifier><identifier type="ISBN">978-3-540-71955-7</identifier><identifier type="eISBN">978-3-540-71956-4</identifier><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="BookTitleID">149089</identifier><identifier type="BookID">978-3-540-71956-4</identifier><identifier type="BookChapterCount">14</identifier><identifier type="BookVolumeNumber">4411</identifier><identifier type="BookSequenceNumber">4411</identifier><identifier type="PartChapterCount">4</identifier><part><date>2007</date><detail type="part"><title>Part III</title></detail><detail type="volume"><number>4411</number><caption>vol.</caption></detail><extent unit="pages"><start>201</start><end>216</end></extent></part><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2007</recordOrigin></recordInfo></relatedItem><relatedItem type="series"><titleInfo><title>Lecture Notes in Computer Science</title></titleInfo><originInfo><copyrightDate encoding="w3cdtf">2007</copyrightDate><issuance>serial</issuance></originInfo><relatedItem type="constituent"><titleInfo><title>Lecture Notes in Artificial Intelligence</title></titleInfo><name type="personal"><namePart type="given">Jaime</namePart><namePart type="given">G.</namePart><namePart type="family">Carbonell</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">J\"org</namePart><namePart type="family">Siekmann</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Rafael</namePart><namePart type="given">H.</namePart><namePart type="family">Bordini</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Mehdi</namePart><namePart type="family">Dastani</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Jürgen</namePart><namePart type="family">Dix</namePart><role><roleTerm type="text">editor</roleTerm></role></name><name type="personal"><namePart type="given">Amal</namePart><namePart type="given">El</namePart><namePart type="given">Fallah</namePart><namePart type="family">Seghrouchni</namePart><role><roleTerm type="text">editor</roleTerm></role></name><genre type="sub-series"></genre><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SubSeriesID">1244</identifier></relatedItem><identifier type="ISSN">0302-9743</identifier><identifier type="eISSN">1611-3349</identifier><identifier type="SeriesID">558</identifier><recordInfo><recordOrigin>Springer-Verlag Berlin Heidelberg, 2007</recordOrigin></recordInfo></relatedItem><identifier type="istex">48D2337BA1AFE504C19051AB85BE241E6341EDA2</identifier><identifier type="DOI">10.1007/978-3-540-71956-4_12</identifier><identifier type="ChapterID">12</identifier><identifier type="ChapterID">Chap12</identifier><accessCondition type="use and reproduction" contentType="copyright">Springer-Verlag Berlin Heidelberg, 2007</accessCondition><recordInfo><recordContentSource>SPRINGER</recordContentSource><recordOrigin>Springer-Verlag Berlin Heidelberg, 2007</recordOrigin></recordInfo></mods></metadata><enrichments><json:item><type>multicat</type><uri>https://api.istex.fr/document/48D2337BA1AFE504C19051AB85BE241E6341EDA2/enrichments/multicat</uri></json:item><istex:refBibTEI uri="https://api.istex.fr/document/48D2337BA1AFE504C19051AB85BE241E6341EDA2/enrichments/refBib"><teiHeader></teiHeader><text><front></front><body></body><back><listBibl><biblStruct xml:id="b0"><analytic><title level="a" type="main">Model checking agentspeak</title><author><persName><forename type="first">Rafael</forename><forename type="middle">H</forename><surname>Bordini</surname></persName></author><author><persName><forename type="first">Michael</forename><surname>Fisher</surname></persName></author><author><persName><forename type="first">Carmen</forename><surname>Pardavila</surname></persName></author><author><persName><forename type="first">Michael</forename><surname>Wooldridge</surname></persName></author></analytic><monogr><title level="m">AAMAS'03</title><meeting><address><addrLine>Melbourne, Australia</addrLine></address></meeting><imprint><publisher>ACM Press</publisher><date type="published" when="2003"></date><biblScope unit="page" from="409" to="416"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b1"><monogr><title level="m" type="main">Parallel Program Design : A Foundation</title><author><persName><forename type="first">K</forename></persName></author><author><persName><forename type="first">Mani</forename><surname>Chandy</surname></persName></author><author><persName><forename type="first">Jayadev</forename><surname>Misra</surname></persName></author><imprint><date type="published" when="1988"></date><publisher>Addison- Wesley</publisher></imprint></monogr></biblStruct><biblStruct xml:id="b2"><monogr><title level="m" type="main">Les SystÃSystô SystôNmes Multi-Agents, Vers une intelligence collective</title><author><persName><forename type="first">Jacques</forename><surname>Ferber</surname></persName></author><imprint><date type="published" when="1995"></date><biblScope unit="page" from="13" to="29"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b3"><analytic><title level="a" type="main">Debugging agent interactions: a case study</title><author><persName><forename type="first">David</forename><forename type="middle">W</forename><surname>Flater</surname></persName></author></analytic><monogr><title level="m">Selected Areas in Cryptography</title><imprint><date type="published" when="2001"></date><biblScope unit="page" from="107" to="114"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b4"><analytic><title level="a" type="main">Design by contract deontic design language for multiagent systems</title><author><persName><forename type="first">Christophe</forename><surname>Garion</surname></persName></author><author><persName><forename type="first">Torre</forename><surname>Leendert Van Der</surname></persName></author></analytic><monogr><title level="m">Je sais pas</title><imprint><date type="published" when="2005"></date><biblScope unit="page" from="107" to="114"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b5"><analytic><title level="a" type="main">Programmation orientÃorientôorientôLe-agent : à ´ Lvaluation comparative d'outils et environnements</title><author><persName><forename type="first">Tony</forename><surname>Garneau</surname></persName></author><author><persName><forename type="first">Sylvain</forename><surname>Delisle</surname></persName></author></analytic><monogr><title level="m">JFIADSMA'02</title><imprint><date type="published" when="2002"></date></imprint></monogr></biblStruct><biblStruct xml:id="b6"><analytic><title level="a" type="main">The MADKIT agent platform architecture</title><author><persName><forename type="first">Olivier</forename><surname>Gutknecht</surname></persName></author><author><persName><forename type="first">Jacques</forename><surname>Ferber</surname></persName></author></analytic><monogr><title level="m">Agents Workshop on Infrastructure for Multi-Agent Systems</title><imprint><date type="published" when="2000"></date><biblScope unit="page" from="48" to="55"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b7"><monogr><title level="m" type="main">jcontractor: Introducing design-by-contract to java using reflective bytecode instrumentation. Formal Methods in System Design</title><author><persName><forename type="first">Murat</forename><surname>Karaorman</surname></persName></author><author><persName><forename type="first">Parker</forename><surname>Abercrombie</surname></persName></author><imprint><date type="published" when="2003-03"></date></imprint></monogr></biblStruct><biblStruct xml:id="b8"><analytic><title level="a" type="main">jContractor: A reflective Java library to support design by contract</title><author><persName><forename type="first">Murat</forename><surname>Karaorman</surname></persName></author><author><persName><forename type="first">Urs</forename><surname>Hölzle</surname></persName></author><author><persName><forename type="first">John</forename><surname>Bruno</surname></persName></author></analytic><monogr><title level="j">Lecture Notes in Computer Science</title><imprint><biblScope unit="volume">1616</biblScope><biblScope unit="page">175</biblScope><date type="published" when="1999"></date></imprint></monogr></biblStruct><biblStruct xml:id="b9"><monogr><title></title><author><persName><forename type="first">D</forename><surname>Meron</surname></persName></author><author><persName><forename type="first">B</forename><surname>Mermet</surname></persName></author><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b10"><monogr><title></title><author><persName><forename type="first">Mark</forename><surname>Klein</surname></persName></author><author><persName><forename type="first">Chrysanthos</forename></persName></author><imprint></imprint></monogr></biblStruct><biblStruct xml:id="b11"><analytic><title level="a" type="main">Exception handling in agent systems</title><author><persName><forename type="first">Mark</forename><surname>Klein</surname></persName></author><author><persName><forename type="first">Chrysanthos</forename><surname>Dallarocas</surname></persName></author></analytic><monogr><title level="m">Proceedings of the Third International Conference on Autonomous Agents (Agents'99)</title><editor>Oren Etzioni, Jörg P. Müller, and Jeffrey M. Bradshaw</editor><meeting>the Third International Conference on Autonomous Agents (Agents'99)<address><addrLine>Seattle, WA, USA</addrLine></address></meeting><imprint><publisher>ACM Press</publisher><date type="published" when="1999"></date><biblScope unit="page" from="62" to="68"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b12"><analytic><title></title><author><persName><forename type="first">Reto</forename><surname>Kramer</surname></persName></author></analytic><monogr><title level="m">Technology of Object-Oriented Languages and Systems</title><meeting><address><addrLine>Los Alamitos, California, USA</addrLine></address></meeting><imprint><publisher>IEEEE</publisher><date type="published" when="1998"></date><biblScope unit="page" from="295" to="307"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b13"><analytic><title level="a" type="main">The temporal logic of actions</title><author><persName><forename type="first">Leslie</forename><surname>Lamport</surname></persName></author></analytic><monogr><title level="j">ACM Transactions on Programming Languages and Systems</title><imprint><biblScope unit="volume">16</biblScope><biblScope unit="issue">3</biblScope><biblScope unit="page" from="872" to="923"></biblScope><date type="published" when="1994-03"></date></imprint></monogr></biblStruct><biblStruct xml:id="b14"><analytic><title level="a" type="main">Specifying properties of MAS : Towards on the fly architecture</title><author><persName><forename type="first">Denis</forename><surname>Meron</surname></persName></author><author><persName><forename type="first">Bruno</forename><surname>Mermet</surname></persName></author><author><persName><forename type="first">˝ Ole</forename><surname>Gaã</surname></persName></author><author><persName><forename type="first">Sylvain</forename><surname>Simon</surname></persName></author><author><persName><surname>Sauvage</surname></persName></author></analytic><monogr><title level="m">SASEMAS'04</title><imprint><date type="published" when="2004"></date></imprint></monogr></biblStruct><biblStruct xml:id="b15"><monogr><title level="m" type="main">Object-Oriented Software Construction, chapter 11</title><author><persName><forename type="first">Bertrand</forename><surname>Meyer</surname></persName></author><imprint><date type="published" when="1997"></date><publisher>Prentice Hall</publisher></imprint></monogr><note>second. edition</note></biblStruct><biblStruct xml:id="b16"><analytic><title level="a" type="main">Applying design by contract</title><author><persName><forename type="first">Bertrand</forename><surname>Meyer</surname></persName></author></analytic><monogr><title level="j">Computer</title><imprint><biblScope unit="volume">25</biblScope><biblScope unit="issue">10</biblScope><biblScope unit="page" from="40" to="51"></biblScope><date type="published" when="1992-10"></date></imprint></monogr></biblStruct><biblStruct xml:id="b17"><analytic><title level="a" type="main">Vilualising and debugging distributed multi-agent systems</title><author><persName><forename type="first">Divine</forename><surname>Ndumu</surname></persName></author><author><persName><forename type="first">Hyacinth</forename><surname>Nwana</surname></persName></author><author><persName><forename type="first">Lyndon</forename><surname>Lee</surname></persName></author><author><persName><forename type="first">Jaron</forename><surname>Collins</surname></persName></author></analytic><monogr><title level="m">the Third Annual Conference on Autonomous Agents</title><imprint><date type="published" when="1999"></date><biblScope unit="page" from="326" to="333"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b18"><analytic><title level="a" type="main">PVS: combining specification, proof checking, and model checking</title><author><persName><forename type="first">S</forename><surname>Owre</surname></persName></author><author><persName><forename type="first">S</forename><surname>Rajan</surname></persName></author><author><persName><forename type="first">J</forename><forename type="middle">M</forename><surname>Rushby</surname></persName></author><author><persName><forename type="first">N</forename><surname>Shankar</surname></persName></author><author><persName><forename type="first">M</forename><forename type="middle">K</forename><surname>Srivas</surname></persName></author></analytic><monogr><title level="m">Computer-Aided Verification, CAV '96, number 1102 in Lecture Notes in Computer Science</title><editor>Rajeev Alur and Thomas A. Henzinger</editor><meeting><address><addrLine>New Brunswick, NJ</addrLine></address></meeting><imprint><publisher>Springer-Verlag</publisher><date type="published" when="1996-08"></date><biblScope unit="page" from="411" to="414"></biblScope></imprint></monogr></biblStruct><biblStruct xml:id="b19"><analytic><title level="a" type="main">Debugging multi-agent systems using design artifacts: The case of interaction protocols</title><author><persName><forename type="first">D</forename><surname>Poutakidis</surname></persName></author><author><persName><forename type="first">L</forename><surname>Padgham</surname></persName></author><author><persName><forename type="first">M</forename><surname>Winikoff</surname></persName></author></analytic><monogr><title level="m">AAMAS'02</title><imprint><date type="published" when="2002"></date></imprint></monogr></biblStruct><biblStruct xml:id="b20"><analytic><title level="a" type="main">An exploration of bugs and debugging in multi-agent systems</title><author><persName><forename type="first">David</forename><surname>Poutakidis</surname></persName></author><author><persName><forename type="first">Lin</forename><surname>Padgham</surname></persName></author><author><persName><forename type="first">Michael</forename><surname>Winikoff</surname></persName></author></analytic><monogr><title level="m">AAMAS'03</title><imprint><date type="published" when="2003"></date></imprint></monogr></biblStruct><biblStruct xml:id="b21"><analytic><title level="a" type="main">The cognitive agents specification langage and verification environment for multiagent systems</title><author><persName><forename type="first">Steven</forename><surname>Shapiro</surname></persName></author><author><persName><forename type="first">Yves</forename><surname>Lespãlespã´lespã´lrance</surname></persName></author><author><persName><forename type="first">Hector</forename><forename type="middle">J</forename><surname>Levesque</surname></persName></author></analytic><monogr><title level="m">AAMAS'02</title><imprint><date type="published" when="2002"></date></imprint></monogr></biblStruct><biblStruct xml:id="b22"><analytic><title level="a" type="main">Debugging multi-agent system</title><author><persName><forename type="first">H</forename><surname>Mark</surname></persName></author><author><persName><forename type="first">Nikolaos</forename><forename type="middle">M</forename><surname>Van Liedekerke</surname></persName></author><author><persName><surname>Avouris</surname></persName></author></analytic><monogr><title level="j">Information and Software Technology Journal</title><imprint><biblScope unit="volume">37</biblScope><biblScope unit="issue">2</biblScope><biblScope unit="page" from="103" to="112"></biblScope><date type="published" when="1995-02"></date></imprint></monogr></biblStruct><biblStruct xml:id="b23"><analytic><title level="a" type="main">The gaia methodology for agent-oriented analysis and design</title><author><persName><forename type="first">Michael</forename><surname>Wooldridge</surname></persName></author><author><persName><forename type="first">Nicolas</forename><forename type="middle">R</forename><surname>Jennings</surname></persName></author><author><persName><forename type="first">David</forename><surname>Kinny</surname></persName></author></analytic><monogr><title level="m">AAMAS'00</title><imprint><date type="published" when="2000"></date></imprint></monogr></biblStruct></listBibl></back></text></istex:refBibTEI><json:item><type>refBibs</type><uri>https://api.istex.fr/document/48D2337BA1AFE504C19051AB85BE241E6341EDA2/enrichments/refBibs</uri></json:item></enrichments></istex></record>Pour manipuler ce document sous Unix (Dilib)
EXPLOR_STEP=$WICRI_ROOT/Wicri/France/explor/LeHavreV1/Data/Istex/Corpus
HfdSelect -h $EXPLOR_STEP/biblio.hfd -nk 000D57 | SxmlIndent | more
Ou
HfdSelect -h $EXPLOR_AREA/Data/Istex/Corpus/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= Corpus
|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. |  |