ORGANISATIONAL RULES AS AN ABSTRACTION FOR THE ANALYSIS AND DESIGN OF MULTI-AGENT SYSTEMS

TLDR

Multi‑agent systems are often treated as computational organisations, with role models increasingly used for specification and design, yet this view is incomplete. The paper proposes extending organisational abstractions with rules, structures, and patterns, and introduces a temporal‑logic formalism for organisational rules to achieve a complete specification of computational organisations. Using a temporal‑logic formalism for organisational rules, the authors derive organisational structures and patterns and outline guidelines for an agent‑oriented methodology.

Abstract

Multi-agent systems can very naturally be viewed as computational organisations. For this reason, we believe organisational abstractions offer a promising set of metaphors and models that can be exploited in the analysis and design of such systems. To this end, the concept of role models is increasingly being used to specify and design multi-agent systems. However, this is not the full picture. In this paper we introduce three additional organisational concepts — organisational rules, organisational structures, and organisational patterns — and discuss why we believe they are necessary for the complete specification of computational organisations. In particular, we focus on the concept of organisational rules and introduce a formalism, based on temporal logic, to specify them. This formalism is then used to drive the definition of the organisational structure and the identification of the organisational patterns. Finally, the paper sketches some guidelines for a methodology for agent-oriented systems based on our expanded set of organisational abstractions.