“School of Computer Science”
Back to Papers HomeBack to Papers of School of Computer Science
| Paper IPM / Computer Science / 10867 |
|
| Abstract: | |
|
Multi agent systems are applied as a solution for distributed IT systems. Organizational concepts are usually applied to analyze and design such systems. Thus, a multi agent 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 multi agent 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.
Download TeX format |
|
| back to top | |
