Handbook of graph grammars and computing by graph transformation: volume I. foundations
Handbook of graph grammars and computing by graph transformation: volume I. foundations
A methodology for agent-oriented analysis and design
Proceedings of the third annual conference on Autonomous Agents
Integrating UML diagrams for production control systems
Proceedings of the 22nd international conference on Software engineering
Testing Enbredded Software
Modelling and Design of Multi-Agent Systems
ATAL '97 Proceedings of the 4th International Workshop on Intelligent Agents IV, Agent Theories, Architectures, and Languages
Towards the compositional verification of real-time UML designs
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Modeling and validation of service-oriented architectures: application vs. style
Proceedings of the 9th European software engineering conference held jointly with 11th ACM SIGSOFT international symposium on Foundations of software engineering
Compositional Verification of a Multi-Agent System for One-to-Many Negotiation
Applied Intelligence
Tropos: An Agent-Oriented Software Development Methodology
Autonomous Agents and Multi-Agent Systems
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Analysis and design of physical and social contexts in multi-agent systems using UML
SELMAS '05 Proceedings of the fourth international workshop on Software engineering for large-scale multi-agent systems
Symbolic invariant verification for systems with dynamic structural adaptation
Proceedings of the 28th international conference on Software engineering
Software debugging, testing, and verification
IBM Systems Journal
UML 2.0 and agents: how to build agent-based systems with the new UML standard
Engineering Applications of Artificial Intelligence
Adding debugging support to the Prometheus methodology
Engineering Applications of Artificial Intelligence
Validation of multiagent systems by symbolic model checking
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Model-driven development of reconfigurable mechatronic systems with MECHATRNOIC UML
MDAFA'03 Proceedings of the 2003 European conference on Model Driven Architecture: foundations and Applications
Separation of concerns for mechatronic multi-agent systems through dynamic communities
Software Engineering for Multi-Agent Systems III
Grounding social interactions in the environment
E4MAS'05 Proceedings of the 2nd international conference on Environments for Multi-Agent Systems
Modeling of correct self-adaptive systems: a graph transformation system based approach
CSTST '08 Proceedings of the 5th international conference on Soft computing as transdisciplinary science and technology
Communities of Autonomous Units for Pickup and Delivery Vehicle Routing
Applications of Graph Transformations with Industrial Relevance
Runtime verification of multi-agent systems interaction quality
ACIIDS'13 Proceedings of the 5th Asian conference on Intelligent Information and Database Systems - Volume Part I
Hi-index | 0.00 |
The multi-agent paradigm provides abstractions that facilitate the design of complex systems consisting of heterogeneous, autonomous components. Most methodologies focus on the specification of complex agent interactions using the social system metaphor, while the interaction between agents and their environment has only recently started to receive more attention. In this paper, we present an approach for making complex Multi-Agent System (MAS) specifications including a detailed environment model amenable to verification. We introduce a formalisation for executable specifications of social systems, which we subsequently use to support their systematic verification by means of simulation and formal verification. We explore which results may be obtained for the overall system and where compositional techniques can be used to separate the specification into more manageable subsets. A case study is used throughout the paper to illustrate the concepts and present results of our verification experiments.