T&Aelig;MS: a framework for environment centered analysis and design of coordination mechanisms
Foundations of distributed artificial intelligence
Multiagent systems: a modern approach to distributed artificial intelligence
Multiagent systems: a modern approach to distributed artificial intelligence
The design and implementation of an intentional naming system
Proceedings of the seventeenth ACM symposium on Operating systems principles
Alcoa: the alloy constraint analyzer
Proceedings of the 22nd international conference on Software engineering
Distributed sensor network for real time tracking
Proceedings of the fifth international conference on Autonomous agents
Model checking multi-agent systems with MABLE
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Essential COM
Reflections on the Nature of Multi-Agent Coordination and Its Implications for an Agent Architecture
Autonomous Agents and Multi-Agent Systems
Model Checking Knowledge and Time
Proceedings of the 9th International SPIN Workshop on Model Checking of Software
SNet: A Modeling and Simulation Environment for Agent Networks Based on i* and ConGolog
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
Evolution of the GPGP/TÆMS Domain-Independent Coordination Framework
Autonomous Agents and Multi-Agent Systems
Verification of Multiagent Systems via Unbounded Model Checking
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 2
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Software Abstractions: Logic, Language, and Analysis
Software Abstractions: Logic, Language, and Analysis
Separating concerns in requirements analysis: an example
Rigorous Development of Complex Fault-Tolerant Systems
FSP and FLTL framework for specification and verification of middle-agents
International Journal of Applied Mathematics and Computer Science - Semantic Knowledge Engineering
| Hi-index | 0.00 |
Multi-agent systems provide an increasingly popular solution in problem domains that require management of uncertainty and a high degree of adaptability. Robustness is a key design criterion 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. This is the first application of Alloy to checking properties of multi-agent systems. Such unified analysis has not been possible before. We also introduce the use of a formal method as an integral part of testing and validation.