A proposal for multi-agent system based modeling and validation of self-organization

Dynamic self-organization is a basic feature to autonomic computing systems (ACS). But its modeling and validation, being important issues, remain complex. Here, the conceptual integration of multi-agent systems and high-level Petri nets can help with their powerful concepts and tools. We propose an homogeneous modeling technique integrating three concepts: agents, environments and nets within nets which are supported by the RENEW tool, allowing direct execution of the model. This paper gives some insight in the proposed approach. The dynamic self-integration of a service of code mobility in an operating system is used as an illustrating example