Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems

Bruno Mermet (1) , Gaële Simon (1)

1 Equipe MAD - Laboratoire GREYC - UMR6072

This paper focuses on multi-agent systems engineering process. An assessment of current needs in this domain, based on the analysis of systems already developed, is performed. This assessment shows that the formal verification of MAS is one of these needs. It is then shown how the formal approach GDT4MAS provides answer to many of the other needs. This approach is based on a MAS formal specification associated to a proof process allowing to establish the correctness of properties of the system. The main purpose of this paper is to show that, unlike most other formal approaches for MAS, GDT4MAS can at the same time propose formal aspects making a proof possible and contribute to different general aspects of agent-oriented software engineering, even when formal verification is not a concern.

Mots clés: Agent-Oriented Software Engineering; Formal specification; Formal verification

Domaines: Système multi-agents [cs.MA]; Génie logiciel [cs.SE]; Intelligence artificielle [cs.AI]

Bruno Mermet, Gaële Simon. Using GDT4MAS as a Formal Support for Engineering Multi-Agents Systems. 10th International Conference on Software Engineering and Applications (ICSOFT-EA 2015), Jul 2015, Colmar, France. ⟨10.5220/0005556904070412⟩. ⟨hal-01191767⟩