Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Open protocol design for complex interactions in multi-agent systems
Proceedings of the first international joint conference on Autonomous agents and multiagent systems: part 2
Modeling Reactive Systems with Statecharts: The Statemate Approach
Modeling Reactive Systems with Statecharts: The Statemate Approach
The Gaia Methodology for Agent-Oriented Analysis and Design
Autonomous Agents and Multi-Agent Systems
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Representing Agent Interaction Protocols with Agent UML
AAMAS '04 Proceedings of the Third International Joint Conference on Autonomous Agents and Multiagent Systems - Volume 3
| Hi-index | 0.00 |
In this paper, we present a formal and systematic approach allowing translating the specification of the interactions between agents, described using AUML formalism, in a Maude specification. Based on rewriting logic, the formal and object-oriented language Maude offers an interesting way for concurrent systems formal specification and programming. The main objectives of our approach are essentially: (1) to specify formally multi-agent systems behavior and, (2) to provide a healthy description preserving the consistency in their behavior and supporting their verification and validation process. The Maude descriptions, generated in the context of the developed framework, have been validated using the platform supporting the Maude language.