A Formal Reuse-Based Approach for Interactively Designing Organizations

Multiagent organizations provide a powerful way for developing multiagent systems. This paper presents a methodology for designing organizations based on formal specification of requirements for organizational behavior and requirements refinement related to organizational structure. The approach allows parts of an organization to be designed in parallel and later be put together to satisfy the broader requirements of the organization. Using this approach, organizational building blocks can be formally specified, appropriately indexed and stored in an organization design library. The library structure is supported by software tools and allows designers with varying levels of expertise to benefit from it by accommodating queries at different abstraction levels and by providing support for query reformulation. © Springer-Verlag Berlin Heidelberg 2005