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.
Nikolaos I. Spanoudakis, Pavlos Moraitis