Norm-Governed Systems Engineering

Monday, July 22, 2013, 3:00pm – 6:00pm
Presented by Alexander Artikis
Located in Main Amphitheatre – Science bldg.
In track Tutorials

This tutorial is concerned with engineering multi-agent systems which operate in
open, dynamic, unpredictable and potentially hostile environments; whose speed and complexity of operation requires them to exhibit self-* properties (* = regulating, repairing, etc.); whose components are heterogeneous entities which may act collaboratively or selfishly; and which are therefore required to adapt according to the prevailing environment conditions, the need for self-regulation or repair, or in response to anti-social behaviour of components. Examples of such systems are electronic marketplaces, virtual organizations and digital right management applications. The idea of norm-governed systems has been proposed and used as a way of specifying a system in which the behaviour of its components is regulated by norms, where norms are specific rules prescribing legal, social or organizational constructs. Recent research has focused on three aspects which are essential for software engineering norm-governed systems with self-* properties: the executable specification of norm-governed systems, adaptation mechanisms for norm-governed systems, and proving properties of such systems. This tutorial focuses on surveying the state-of-the-art, explaining and applying some of the methods, and examining the open research questions, in each of these three areas.