???jsp.layout.header-default.alt??? ???jsp.wrn.button.text??? ???jsp.wrn.button.alt???

University of South Wales DSpace >
University of South Wales >
Advanced Technology >
Computer Science >

???jsp.display-item.identifier??? http://hdl.handle.net/10265/474

???metadata.dc.title???: Automated verification of multi-agent programs
???metadata.dc.contributor.*???: Muller, Berndt
???metadata.dc.date.issued???: 23-Apr-2012
???metadata.dc.identifier.citation???: Bordini, R.H., Dennis, L.A., Farwer, B. and Fisher, M. (2008) 'Automated Verification of Multi-Agent Programs', 23rd IEEE/ACM International Conference on Automated Software Engineering (ASE 2008), L'Aquila, Italy, 15-19 September. : IEEE.
???metadata.dc.description.abstract???: In this paper, we show that the flexible model-checking of multi-agent systems, implemented using agent-oriented programming languages, is viable thus paving the way for the construction of verifiably correct applications of autonomous agents and multi-agent systems. Model checking experiments were carried out on AJPF (agent JPF), our extension of Java PathFinder that incorporates the agent infrastructure layer, our unifying framework for agent programming languages. In our approach, properties are specified in a temporal language extended with (shallow) agent-related modalities. The framework then allows the verification of programs written in a variety of agent programming languages, thus removing the need for individual languages to implement their own verification framework. It even allows the verification of multi-agent systems comprised of agents developed in a variety of different (agent) programming languages. As an example, we also provide model checking results for the verification of a multi-agent system implementing a well-known task sharing protocol.
???metadata.dc.identifier.uri???: http://hdl.handle.net/10265/474
???metadata.dc.identifier.issn???: 1527-1366
???org.dspace.app.webui.jsptag.ItemTag.appears???Computer Science





Valid XHTML 1.0! ???jsp.layout.footer-default.text??? - ???jsp.layout.footer-default.feedback???