Formal verification of negotiation protocols for multi-agent manufacturing systems
Formal verification is an important means of tackling behavioural problems such as deadlocks in multi-agent systems. This paper is concerned with the role played by formal verification in the simulation-based performance analysis of multi-agent manufacturing systems. A discrete-event simulation case...
Gespeichert in:
| Veröffentlicht in: | International journal of production research 2011-06, Vol.49 (12), p.3669-3690 |
|---|---|
| 1. Verfasser: | |
| Format: | Artikel |
| Sprache: | eng |
| Schlagworte: | |
| Online-Zugang: | Volltext |
| Tags: |
Tag hinzufügen
Keine Tags, Fügen Sie den ersten Tag hinzu!
|
| container_end_page | 3690 |
|---|---|
| container_issue | 12 |
| container_start_page | 3669 |
| container_title | International journal of production research |
| container_volume | 49 |
| creator | Yeung, W.L. |
| description | Formal verification is an important means of tackling behavioural problems such as deadlocks in multi-agent systems. This paper is concerned with the role played by formal verification in the simulation-based performance analysis of multi-agent manufacturing systems. A discrete-event simulation case study is presented to show how varying certain timing parameters of the agent negotiation protocol affects the performance of a multi-agent manufacturing system as well as the chance of getting deadlocks among the software agents. When one tries to determine the optimal values of these timing parameters based on the simulation results, formal verification can help refine the results by confirming whether deadlocks among software agents are indeed possible for particular parameter values. This involves modelling the system's real-time behaviour according to the simulation model and applying the techniques and tools of model checking. |
| doi_str_mv | 10.1080/00207543.2010.492407 |
| format | Article |
| fullrecord | <record><control><sourceid>proquest_cross</sourceid><recordid>TN_cdi_crossref_primary_10_1080_00207543_2010_492407</recordid><sourceformat>XML</sourceformat><sourcesystem>PC</sourcesystem><sourcerecordid>907981801</sourcerecordid><originalsourceid>FETCH-LOGICAL-c397t-beff6ef08df3989bd1221b27c76427976cb2abc5340eddd7b337866657b6a693</originalsourceid><addsrcrecordid>eNp9kE1LxDAQhoMouK7-Aw_Fi6dqPtp8nEQWVwVBkD14C2maLFnaZE1SZf-9LdWLB-cyzPDM8PIAcIngDYIc3kKIIasrcoPhuKoEriA7AgtEKC1rzt-PwWJCyok5BWcp7eBYNa8W4G0dYq-64tNEZ51W2QVfBFt4sw3ZzeM-hhx06FJhQyz6ocuuVFvjc9ErP1il8xCd3xbpkLLp0zk4sapL5uKnL8Fm_bBZPZUvr4_Pq_uXUhPBctkYa6mxkLeWCC6aFmGMGsw0oxVmglHdYNXomlTQtG3LGkIYp5TWrKGKCrIE1_PbMd7HYFKWvUvadJ3yJgxJCsgERxyikbz6Q-7CEP2YTXJaQcEwmaBqhnQMKUVj5T66XsWDRFBOluWvZTlZlrPl8exuPnPeTia_QuxamdWhC9FG5bVLkvz74RsI9IRf</addsrcrecordid><sourcetype>Aggregation Database</sourcetype><iscdi>true</iscdi><recordtype>article</recordtype><pqid>864097231</pqid></control><display><type>article</type><title>Formal verification of negotiation protocols for multi-agent manufacturing systems</title><source>Access via Taylor & Francis</source><source>Business Source Complete</source><creator>Yeung, W.L.</creator><creatorcontrib>Yeung, W.L.</creatorcontrib><description>Formal verification is an important means of tackling behavioural problems such as deadlocks in multi-agent systems. This paper is concerned with the role played by formal verification in the simulation-based performance analysis of multi-agent manufacturing systems. A discrete-event simulation case study is presented to show how varying certain timing parameters of the agent negotiation protocol affects the performance of a multi-agent manufacturing system as well as the chance of getting deadlocks among the software agents. When one tries to determine the optimal values of these timing parameters based on the simulation results, formal verification can help refine the results by confirming whether deadlocks among software agents are indeed possible for particular parameter values. This involves modelling the system's real-time behaviour according to the simulation model and applying the techniques and tools of model checking.</description><identifier>ISSN: 0020-7543</identifier><identifier>EISSN: 1366-588X</identifier><identifier>DOI: 10.1080/00207543.2010.492407</identifier><language>eng</language><publisher>London: Taylor & Francis Group</publisher><subject>agent based systems ; agile manufacturing ; Computer simulation ; Manufacturing ; Mathematical models ; Multiagent systems ; Negotiations ; Operations research ; process planning ; Production methods ; Program verification (computers) ; Protocol verification ; Simulation ; simulation applications ; Software ; Software agents ; software engineering ; Studies ; Time measurements</subject><ispartof>International journal of production research, 2011-06, Vol.49 (12), p.3669-3690</ispartof><rights>Copyright Taylor & Francis Group, LLC 2011</rights><rights>Copyright Taylor & Francis Group 2011</rights><lds50>peer_reviewed</lds50><woscitedreferencessubscribed>false</woscitedreferencessubscribed><citedby>FETCH-LOGICAL-c397t-beff6ef08df3989bd1221b27c76427976cb2abc5340eddd7b337866657b6a693</citedby><cites>FETCH-LOGICAL-c397t-beff6ef08df3989bd1221b27c76427976cb2abc5340eddd7b337866657b6a693</cites></display><links><openurl>$$Topenurl_article</openurl><openurlfulltext>$$Topenurlfull_article</openurlfulltext><thumbnail>$$Tsyndetics_thumb_exl</thumbnail><linktopdf>$$Uhttps://www.tandfonline.com/doi/pdf/10.1080/00207543.2010.492407$$EPDF$$P50$$Ginformaworld$$H</linktopdf><linktohtml>$$Uhttps://www.tandfonline.com/doi/full/10.1080/00207543.2010.492407$$EHTML$$P50$$Ginformaworld$$H</linktohtml><link.rule.ids>315,782,786,27933,27934,59656,60445</link.rule.ids></links><search><creatorcontrib>Yeung, W.L.</creatorcontrib><title>Formal verification of negotiation protocols for multi-agent manufacturing systems</title><title>International journal of production research</title><description>Formal verification is an important means of tackling behavioural problems such as deadlocks in multi-agent systems. This paper is concerned with the role played by formal verification in the simulation-based performance analysis of multi-agent manufacturing systems. A discrete-event simulation case study is presented to show how varying certain timing parameters of the agent negotiation protocol affects the performance of a multi-agent manufacturing system as well as the chance of getting deadlocks among the software agents. When one tries to determine the optimal values of these timing parameters based on the simulation results, formal verification can help refine the results by confirming whether deadlocks among software agents are indeed possible for particular parameter values. This involves modelling the system's real-time behaviour according to the simulation model and applying the techniques and tools of model checking.</description><subject>agent based systems</subject><subject>agile manufacturing</subject><subject>Computer simulation</subject><subject>Manufacturing</subject><subject>Mathematical models</subject><subject>Multiagent systems</subject><subject>Negotiations</subject><subject>Operations research</subject><subject>process planning</subject><subject>Production methods</subject><subject>Program verification (computers)</subject><subject>Protocol verification</subject><subject>Simulation</subject><subject>simulation applications</subject><subject>Software</subject><subject>Software agents</subject><subject>software engineering</subject><subject>Studies</subject><subject>Time measurements</subject><issn>0020-7543</issn><issn>1366-588X</issn><fulltext>true</fulltext><rsrctype>article</rsrctype><creationdate>2011</creationdate><recordtype>article</recordtype><recordid>eNp9kE1LxDAQhoMouK7-Aw_Fi6dqPtp8nEQWVwVBkD14C2maLFnaZE1SZf-9LdWLB-cyzPDM8PIAcIngDYIc3kKIIasrcoPhuKoEriA7AgtEKC1rzt-PwWJCyok5BWcp7eBYNa8W4G0dYq-64tNEZ51W2QVfBFt4sw3ZzeM-hhx06FJhQyz6ocuuVFvjc9ErP1il8xCd3xbpkLLp0zk4sapL5uKnL8Fm_bBZPZUvr4_Pq_uXUhPBctkYa6mxkLeWCC6aFmGMGsw0oxVmglHdYNXomlTQtG3LGkIYp5TWrKGKCrIE1_PbMd7HYFKWvUvadJ3yJgxJCsgERxyikbz6Q-7CEP2YTXJaQcEwmaBqhnQMKUVj5T66XsWDRFBOluWvZTlZlrPl8exuPnPeTia_QuxamdWhC9FG5bVLkvz74RsI9IRf</recordid><startdate>20110615</startdate><enddate>20110615</enddate><creator>Yeung, W.L.</creator><general>Taylor & Francis Group</general><general>Taylor & Francis LLC</general><scope>AAYXX</scope><scope>CITATION</scope><scope>7SC</scope><scope>8FD</scope><scope>F28</scope><scope>FR3</scope><scope>JQ2</scope><scope>L7M</scope><scope>L~C</scope><scope>L~D</scope></search><sort><creationdate>20110615</creationdate><title>Formal verification of negotiation protocols for multi-agent manufacturing systems</title><author>Yeung, W.L.</author></sort><facets><frbrtype>5</frbrtype><frbrgroupid>cdi_FETCH-LOGICAL-c397t-beff6ef08df3989bd1221b27c76427976cb2abc5340eddd7b337866657b6a693</frbrgroupid><rsrctype>articles</rsrctype><prefilter>articles</prefilter><language>eng</language><creationdate>2011</creationdate><topic>agent based systems</topic><topic>agile manufacturing</topic><topic>Computer simulation</topic><topic>Manufacturing</topic><topic>Mathematical models</topic><topic>Multiagent systems</topic><topic>Negotiations</topic><topic>Operations research</topic><topic>process planning</topic><topic>Production methods</topic><topic>Program verification (computers)</topic><topic>Protocol verification</topic><topic>Simulation</topic><topic>simulation applications</topic><topic>Software</topic><topic>Software agents</topic><topic>software engineering</topic><topic>Studies</topic><topic>Time measurements</topic><toplevel>peer_reviewed</toplevel><toplevel>online_resources</toplevel><creatorcontrib>Yeung, W.L.</creatorcontrib><collection>CrossRef</collection><collection>Computer and Information Systems Abstracts</collection><collection>Technology Research Database</collection><collection>ANTE: Abstracts in New Technology & Engineering</collection><collection>Engineering Research Database</collection><collection>ProQuest Computer Science Collection</collection><collection>Advanced Technologies Database with Aerospace</collection><collection>Computer and Information Systems Abstracts Academic</collection><collection>Computer and Information Systems Abstracts Professional</collection><jtitle>International journal of production research</jtitle></facets><delivery><delcategory>Remote Search Resource</delcategory><fulltext>fulltext</fulltext></delivery><addata><au>Yeung, W.L.</au><format>journal</format><genre>article</genre><ristype>JOUR</ristype><atitle>Formal verification of negotiation protocols for multi-agent manufacturing systems</atitle><jtitle>International journal of production research</jtitle><date>2011-06-15</date><risdate>2011</risdate><volume>49</volume><issue>12</issue><spage>3669</spage><epage>3690</epage><pages>3669-3690</pages><issn>0020-7543</issn><eissn>1366-588X</eissn><abstract>Formal verification is an important means of tackling behavioural problems such as deadlocks in multi-agent systems. This paper is concerned with the role played by formal verification in the simulation-based performance analysis of multi-agent manufacturing systems. A discrete-event simulation case study is presented to show how varying certain timing parameters of the agent negotiation protocol affects the performance of a multi-agent manufacturing system as well as the chance of getting deadlocks among the software agents. When one tries to determine the optimal values of these timing parameters based on the simulation results, formal verification can help refine the results by confirming whether deadlocks among software agents are indeed possible for particular parameter values. This involves modelling the system's real-time behaviour according to the simulation model and applying the techniques and tools of model checking.</abstract><cop>London</cop><pub>Taylor & Francis Group</pub><doi>10.1080/00207543.2010.492407</doi><tpages>22</tpages></addata></record> |
| fulltext | fulltext |
| identifier | ISSN: 0020-7543 |
| ispartof | International journal of production research, 2011-06, Vol.49 (12), p.3669-3690 |
| issn | 0020-7543 1366-588X |
| language | eng |
| recordid | cdi_crossref_primary_10_1080_00207543_2010_492407 |
| source | Access via Taylor & Francis; Business Source Complete |
| subjects | agent based systems agile manufacturing Computer simulation Manufacturing Mathematical models Multiagent systems Negotiations Operations research process planning Production methods Program verification (computers) Protocol verification Simulation simulation applications Software Software agents software engineering Studies Time measurements |
| title | Formal verification of negotiation protocols for multi-agent manufacturing systems |
| url | https://sfx.bib-bvb.de/sfx_tum?ctx_ver=Z39.88-2004&ctx_enc=info:ofi/enc:UTF-8&ctx_tim=2024-11-30T22%3A47%3A25IST&url_ver=Z39.88-2004&url_ctx_fmt=infofi/fmt:kev:mtx:ctx&rfr_id=info:sid/primo.exlibrisgroup.com:primo3-Article-proquest_cross&rft_val_fmt=info:ofi/fmt:kev:mtx:journal&rft.genre=article&rft.atitle=Formal%20verification%20of%20negotiation%20protocols%20for%20multi-agent%20manufacturing%20systems&rft.jtitle=International%20journal%20of%20production%20research&rft.au=Yeung,%20W.L.&rft.date=2011-06-15&rft.volume=49&rft.issue=12&rft.spage=3669&rft.epage=3690&rft.pages=3669-3690&rft.issn=0020-7543&rft.eissn=1366-588X&rft_id=info:doi/10.1080/00207543.2010.492407&rft_dat=%3Cproquest_cross%3E907981801%3C/proquest_cross%3E%3Curl%3E%3C/url%3E&disable_directlink=true&sfx.directlink=off&sfx.report_link=0&rft_id=info:oai/&rft_pqid=864097231&rft_id=info:pmid/&rfr_iscdi=true |