Gaia Agents Implementation through Models Transformation

Authors:
Nikolaos Spanoudakis;Pavlos Moraitis
Affiliations:
Dept of Sciences, Technical University of Crete, Chania, Greece 73100 and Laboratory of Informatics Paris Descartes (LIPADE), Paris Descartes University, Paris Cedex 06, France 75270;Laboratory of Informatics Paris Descartes (LIPADE), Paris Descartes University, Paris Cedex 06, France 75270
Venue:
PRIMA '09 Proceedings of the 12th International Conference on Principles of Practice in Multi-Agent Systems
Year:
2009

Citing 11
Cited 2

Artificial Intelligence: A Modern Approach

Artificial Intelligence: A Modern Approach
MDA Explained: The Model Driven Architecture: Practice and Promise

MDA Explained: The Model Driven Architecture: Practice and Promise
Eclipse Modeling Framework

Eclipse Modeling Framework
Model Transformation: The Heart and Soul of Model-Driven Software Development

IEEE Software
Developing multiagent systems: The Gaia methodology

ACM Transactions on Software Engineering and Methodology (TOSEM)
MOF to EMF: there and back again

eclipse '03 Proceedings of the 2003 OOPSLA workshop on eclipse technology eXchange
Constructing Models with the Human-Usable Textual Notation

MoDELS '08 Proceedings of the 11th international conference on Model Driven Engineering Languages and Systems
Model transformations for improving multi-agent system development in INGENIAS

AOSE'10 Proceedings of the 10th international conference on Agent-oriented software engineering
Automating model transformations in agent-oriented modelling

AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
KM3: a DSL for metamodel specification

FMOODS'06 Proceedings of the 8th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
On formal semantics of statecharts as supported by STATEMATE

2FACS'97 Proceedings of the 2nd BCS-FACS conference on Northern Formal Methods

Using ASEME methodology for model-driven agent systems development

AOSE'10 Proceedings of the 11th international conference on Agent-oriented software engineering
Model-driven behavior specification for robotic teams

Proceedings of the 11th International Conference on Autonomous Agents and Multiagent Systems - Volume 1

Quantified Score

Hi-index	0.00

Visualization

Abstract

Gaia is a well-known Agent Oriented Software Engineering (AOSE) methodology. The emerging Model-Driven Engineering (MDE) paradigm encourages software modelers to automate the transition of one type of software model to another and eventually the code generation process. Towards this end we define a process for transforming the Gaia roles model liveness formulas to statecharts. This achievement on one hand allows the modeler to work on detailed agent design and permits, on the other hand, to automatically generate an agent's code using any one of the statecharts-based tools in the market.