Graph Grammar Specification for the Populational Level of Multi-agent System Organizations

Approaches based on multi-agent systems (MASs) are suitable to deal with specification of complex systems. The PopOrg model is a minimal and formal model of MASs with dynamic organizations, that takes into account populational and organizational levels of these systems. In a previous work, we proposed a model to specify both levels, using Graph Grammars (GGs), but it lacks of semantics definitions. In this paper, we introduce the formal description of behavior of the Populational GGs. Our framework will allow software designers to specify different levels of MASs and, also, to verify properties of these systems, using GGs tools.