Show simple item record

dc.contributor.authorPodorozhny, Rodion ( )en_US
dc.contributor.authorKhurshid, Sarfraz ( )en_US
dc.contributor.authorPerry, Dewayne ( )en_US
dc.contributor.authorZhang, Shelley Xiaoqin ( )en_US
dc.date.accessioned2009-11-11T10:03:26Z
dc.date.available2012-02-24T10:03:41Z
dc.date.issued2006-09-12en_US
dc.identifier.urihttps://digital.library.txstate.edu/handle/10877/2596
dc.descriptionReport Number TXSTATE-CS-TR-2006-4.en_US
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.en_US
dc.formatText
dc.format.extent17 pages
dc.format.medium1 file (.pdf)
dc.language.isoen
dc.subjectVerificationen_US
dc.subjectSoftwareen_US
dc.subjectMulti-Agent Negotiationen_US
dc.subjectAlloy Analyzeren_US
dc.subjectMulti-agent systemsen_US
dc.subjectAlloy modelsen_US
dc.subject.classificationComputer Sciencesen_US
dc.subject.classificationSoftware Engineeringen_US
dc.titleVerification of Cooperative Multi-Agent Negotiation with Alloy Analyzeren_US
txstate.documenttypeTechnical Report
txstate.departmentComputer Science


Download

Thumbnail

This item appears in the following Collection(s)

Show simple item record