A Formal Model for Coordination Behavior of the Organization in Multi Agent Systems

Multiagent systems are applied as a solution for distributed IT systems. Organizational concepts are usually applied to analyze and design such systems. Thus, a multiagent system can be seen as an organization which coordinates agent interactions. In this paper, we propose a formal model to specify the coordination behavior of a multiagent system organization. This formal model enables the developers to have a cross checking between the agent interactions, the organizational structure and the coordination behavior of the organization. We can also apply this formal model to evaluate the system properties such as security