Deriving Multi-Agent System Behavior

The multi-agent systems (MAS) have become a very powerful paradigm in the development of complex computer systems. The modeling of these systems can reduce this complexity during the development phases. The Model-Driven Architecture (MDA) approach can be used to resolve this problem. It allows designers to model their systems at different abstraction levels, providing them with automatic model transformations to incrementally refine abstract models into concrete ones. This paper presents a MDA approach to develop multi-agent system with the derivation of the behavior of a given system agent from its global requirements. The suggested approach is based on the definition of an appropriate requirements meta-model (Computational Independent Meta-Model CIMM) and the definition of a target design meta-model (Platform Independent Meta-model PIMM). The CIM models are specified using UML activity diagram extended with collaborations to describe the system global behavior. The agent’s behavior model (PIM) is in the form of distributed UML state machines. Automatic model transformations between these two models have been designed in order to govern the derivation process. A real application of telediagnosis in neuroscience has been developed using this approach.

[1]  Jacques Ferber,et al.  From Agents to Organizations: An Organizational View of Multi-agent Systems , 2003, AOSE.

[2]  Gregor von Bochmann,et al.  Realizability of Collaboration-based Service Specifications , 2007, 14th Asia-Pacific Software Engineering Conference (APSEC'07).

[3]  John Mylopoulos,et al.  A Tropos Model-Driven Development Environment , 2006, CAiSE Forum.

[4]  Gerard J. Holzmann,et al.  The SPIN Model Checker , 2003 .

[5]  Jorge J. Gómez-Sanz,et al.  Methodologies for Developing Multi-Agent Systems , 2004, J. Univers. Comput. Sci..

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

[7]  Frédéric Jouault,et al.  On the architectural alignment of ATL and QVT , 2006, SAC '06.

[8]  Gerard J. Holzmann,et al.  The SPIN Model Checker - primer and reference manual , 2003 .

[9]  Jean Bézivin,et al.  ATL: A model transformation tool , 2008, Sci. Comput. Program..

[10]  Esperanza Marcos,et al.  Applying CIM-to-PIM model transformations for the service-oriented development of information systems , 2011, Inf. Softw. Technol..

[11]  Jorge J. Gómez-Sanz,et al.  Model Driven Development of Multi-Agent Systems , 2006, ECMDA-FA.

[12]  Gregor von Bochmann,et al.  Using collaborations in the development of distributed services , 2008 .

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

[14]  Frédéric Jouault,et al.  Transforming Models with ATL , 2005, MoDELS.

[15]  Martin Kardos,et al.  Analytical method of CIM to PIM transformation in Model Driven Architecture (MDA) , 2010 .

[16]  Jean Bézivin,et al.  ATL: a QVT-like transformation language , 2006, OOPSLA '06.

[17]  F. Migeon,et al.  Model Driven Engineering for Designing Adaptive Multi-Agent Systems , 2007 .

[18]  Márcia Lucena,et al.  Stream: a strategy for transition between requirements models and architectural models , 2011, SAC.

[19]  G. Bochmann.  Deriving component designs from global requirements , 2008 .

[20]  Marie-Pierre Gleizes,et al.  Model Driven Engineering for Designing Adaptive Multi-Agents Systems , 2008, ESAW.

[21]  Joaquin Miller,et al.  MDA Guide Version 1.0.1 , 2003 .

[22]  Mario Piattini,et al.  Towards CIM to PIM Transformation: From Secure Business Processes Defined in BPMN to Use-Cases , 2007, BPM.