Automated Requirements-Driven Definition of Norms for the Regulation of Behavior in Multi-Agent Systems - Robotics Institute Carnegie Mellon University

Automated Requirements-Driven Definition of Norms for the Regulation of Behavior in Multi-Agent Systems

Martin Kollingbaum, Ivan J. Jureta, Wamberto Vasconcelos, and Katia Sycara
Workshop Paper, AISB '08 Workshop on Behaviour Regulation in Multi-Agent Systems, Vol. 4, pp. 43 - 48, April, 2008

Abstract

The engineering of heterogeneous distributed systems is a complex task. Traditional software engineering methods fail to account for new demands of flexibility and adaptability in the construction of software systems. On the other hand, concepts of Virtual Organizations and Electronic Institutions cater for the need of open, heterogeneous software environments, where agents may dynamically organize themselves into organizational structures, determined by roles, norms and contracts. Our work aims to facilitate the engineering of heterogeneous and distributed systems by providing only a specification of the desired overall system behavior, expressed as a set of norms, and rely on capabilities and properties of individual agents that allow them to dynamically form the desired complete software system. In particular, we present a framework, called Requirement-driven Contracting (RdC), for automatically deriving executable norms from requirements and associated relevant information. RdC facilitates the governance of MAS by ensuring that all requirements, along with runtime changes of requirements are appropriately and automatically reflected in the norms regulating the behavior of MAS.

BibTeX

@workshop{Kollingbaum-2008-9927,
author = {Martin Kollingbaum and Ivan J. Jureta and Wamberto Vasconcelos and Katia Sycara},
title = {Automated Requirements-Driven Definition of Norms for the Regulation of Behavior in Multi-Agent Systems},
booktitle = {Proceedings of AISB '08 Workshop on Behaviour Regulation in Multi-Agent Systems},
year = {2008},
month = {April},
volume = {4},
pages = {43 - 48},
address = {Aberdeen, Scotland, U.K.},
keywords = {agents, agent-based software engineering, Requirement-driven Contracting},
}