GGMA: Gramática de Grafos para Sistemas Multiagentes baseados no PopOrg

Abstract

Everyday systems are becoming more complex and sophisticated. The task of specifying a software is not something natural. The agents approach is adequate for complex systems development. It is known that for proving properties of a system it should be specified by a language that provides analysis methods. In this case, the system is formally specified by a mathematical model. Graph Grammar (GG) is a formal language well suited for specifying distributed and reactive systems, which have a complex topology (various kinds of elements and various types of relations among them) and are behavior-oriented data (events are triggered by particular configurations of state). In a GG, the system states are modeled by graphs and the state changes are described by rules. The use of GGs becomes interesting because there are different techniques and tools for specification and verification of systems described in this language. In addition, the GGs have a graphical layout that is intuitive enough even for non-theoreticians, and allow the description of modular systems. The aim of this work is to propose a specification framework to model multi-agent systems based on PopOrg model using graph grammars.