Verification of Cooperative Multi-Agent Negotiation with Alloy Analyzer

Simple item page
dc.contributor.authorPodorozhny, Rodion
dc.contributor.authorKhurshid, Sarfraz
dc.contributor.authorPerry, Dewayne
dc.contributor.authorZhang, Shelley Xiaoqin
dc.date.accessioned2009-11-11T10:03:26Z
dc.date.available2012-02-24T10:03:41Z
dc.date.issued2006-09-12
dc.description.abstractMulti-agent systems provide an increasingly popular solution in problem domains that require management of uncertainty and high degree of adaptability. Robustness is a key design criteria in building multi-agent systems. We present a novel approach for the design of robust multi-agent systems. Our approach constructs a model of the design of a multi-agent system in Alloy, a declarative language based on relations, and checks the properties of the model using the Alloy Analyzer, a fully automatic analysis tool for Alloy models. While several prior techniques exist for checking properties of multi-agent systems, the novelty of our work is that we can check properties of coordination and interaction, as well as properties of complex data structures that the agents may internally be manipulating or even sharing. The suggested work is the first application of Alloy to checking properties of multi-agent systems. Such unified analysis has not been possible before.
dc.description.departmentComputer Science
dc.formatText
dc.format.extent17 pages
dc.format.medium1 file (.pdf)
dc.identifier.citationPodorozhny, R., Khurshid, S., Perry, D., & Zhang, S. (2006). Verification of cooperative multi-agent negotiation with Alloy Analyzer (Report No. TXSTATE-CS-TR-2006-4). Texas State University-San Marcos, Department of Computer Science.
dc.identifier.urihttps://hdl.handle.net/10877/2596
dc.language.isoen
dc.subjectverification
dc.subjectsoftware
dc.subjectmulti-agent negotiation
dc.subjectalloy analyzer
dc.subjectmulti-agent systems
dc.subjectalloy models
dc.subjectComputer Science
dc.titleVerification of Cooperative Multi-Agent Negotiation with Alloy Analyzer
dc.typeTechnical Report

Files

Original bundle

Now showing 1 - 1 of 1
Thumbnail Image
Name:
fulltext.pdf
Size:
78.57 KB
Format:
Adobe Portable Document Format
Download

Collections

College of Science and Engineering