Gaia Agents Implementation through Models Transformation

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.

[1]  Johann Deneux,et al.  A Formal Semantics for UML Statecharts , 2003 .

[2]  Richard F. Paige,et al.  Constructing Models with the Human-Usable Textual Notation , 2008, MoDELS.

[3]  Franco Zambonelli,et al.  Agent-Oriented Software Engineering VI, 6th International Workshop, AOSE 2005, Utrecht, The Netherlands, July 25, 2005. Revised and Invited Papers , 2006, AOSE.

[4]  Nikolaos I. Spanoudakis,et al.  THE GAIA2JADE PROCESS FOR MULTI-AGENT SYSTEMS DEVELOPMENT , 2006, Appl. Artif. Intell..

[5]  Martin Große-Rhode.  Integration of Software Specification Techniques for Applications in Engineering , 2004, Lecture Notes in Computer Science.

[6]  Shane Sendall,et al.  Model Transformation: The Heart and Soul of Model-Driven Software Development , 2003, IEEE Softw..

[7]  Franco Zambonelli,et al.  Developing multiagent systems: The Gaia methodology , 2003, TSEM.

[8]  Jean Bézivin,et al.  KM3: A DSL for Metamodel Specification , 2006, FMOODS.

[9]  Frank Budinsky,et al.  Eclipse Modeling Framework , 2003 .

[10]  Kevin Lano,et al.  Slicing of UML models using model transformations , 2010, MODELS'10.

[11]  Anna Gerber,et al.  MOF to EMF: there and back again , 2003, eclipse '03.

[12]  Anna Perini,et al.  Automating Model Transformations in Agent-Oriented Modelling , 2005, AOSE.

[13]  Yassine Lakhnech,et al.  On formal semantics of statecharts as supported by STATEMATE , 1997, FME 1997.

[14]  Jorge J. Gómez-Sanz,et al.  Model Transformations for Improving Multi-agent System Development in INGENIAS , 2009, AOSE.

[15]  David Harel,et al.  The Rhapsody Semantics of Statecharts (or, On the Executable Core of the UML) - Preliminary Version , 2004, SoftSpez Final Report.

[16]  Nikolaos I. Spanoudakis,et al.  Automated Product Pricing Using Argumentation , 2009, AIAI.

[17]  Peter Norvig,et al.  Artificial Intelligence: A Modern Approach , 1995 .

[18]  Anneke Kleppe,et al.  MDA explained - the Model Driven Architecture: practice and promise , 2003, Addison Wesley object technology series.