Rewriting as a unified model of concurrency
CONCUR '90 Proceedings on Theories of concurrency : unification and extension: unification and extension
A logical theory of concurrent objects and its realization in the Maude language
Research directions in concurrent object-oriented programming
Modeling reactive behaviour in vertically layered agent architectures
ECAI-94 Proceedings of the workshop on agent theories, architectures, and languages on Intelligent agents
Representing agent interaction protocols in UML
First international workshop, AOSE 2000 on Agent-oriented software engineering
Maude: specification and programming in rewriting logic
Theoretical Computer Science - Rewriting logic and its applications
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
Prototyping 3APL in the Maude term rewriting language
AAMAS '06 Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems
Prototyping 3APL in the Maude term rewriting language
CLIMA VII'06 Proceedings of the 7th international conference on Computational logic in multi-agent systems
| Hi-index | 0.00 |
The lack of formalism and rigor in existing multi-agents models often leads to ambiguities and different interpretations. Those weaknesses combined with the inherent complexity of multi-agents systems generate many problems in their development process. Using formal notations to specify multi-agents systems’ behavior makes it possible to produce precise description. This also offers a better support to their verification and validation process. The Maude language, based on rewriting logic, presents a rich notation supporting formal specification and implementation of concurrent systems. In this paper, we demonstrate the feasibility and the interest of formalizing the behavior of DIMA model’s agents with the Maude language. The elaborated formal approach captures the inherent aspects of a DIMA model. The generated Maude descriptions have been validated using the platform supporting this language. Moreover, the proposed approach is generic and extensible. It offers, in particular, the advantage of being applicable to all multi-agents systems based on DIMA architecture and presents interesting extension possibilities.