Generating machine processable representations of textual representations of AUML

Authors:
Jean-Luc Koning;Ivan Romero-Hernandez
Affiliations:
CoSy-Inpg, Valence cedex, France;CoSy-Inpg, Valence cedex, France
Venue:
AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Year:
2002

Citing 3
Cited 3

Design and validation of computer protocols

Design and validation of computer protocols
The Model Checker SPIN

IEEE Transactions on Software Engineering - Special issue on formal methods in software practice
The Gaia Methodology for Agent-Oriented Analysis and Design

Autonomous Agents and Multi-Agent Systems

West2East: exploiting WEb Service Technologies to Engineer Agent-based SofTware

International Journal of Agent-Oriented Software Engineering
Using UML state machine models for more precise and flexible JADE agent behaviors

AOSE'02 Proceedings of the 3rd international conference on Agent-oriented software engineering III
Engineering a protocol server using strategy-agents

CEEMAS'03 Proceedings of the 3rd Central and Eastern European conference on Multi-agent systems

Quantified Score

Hi-index	0.00

Visualization

Abstract

Odell et al have proposed an agent modeling language (AUML), which extends some UML artifacts to cope with the special requirements of multiagent systems, especially interaction. In this paper, we introduce a textual notation for the AUML modeling specification and show how one could translate it in order to generate both an extended finite state machine and a specification that can be directly processed by a model-checker.