Int. J. of Agent-Oriented Software Engineering   »   2007 Vol.1, No.3/4

 

 

Title: A formal semantics for Gaia liveness rules and expressions

 

Author: Tim Miller, Peter McBurney

 

Addresses:
Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK.
Department of Computer Science, University of Liverpool, Liverpool, L69 7ZF, UK

 

Abstract: The Gaia methodology is a development methodology for multi-agent systems that uses the concept of roles to define behaviour. Gaia uses liveness expressions, which are expressions written in a formal syntax that are used to define the ongoing behaviour of a role; and liveness rules, which are expressions specifying the behaviour of roles relative to each other in a system. However, while the syntax is formal, a formal semantics has not been defined, and there is no theory for how to reason about and manipulate these expressions. In this paper, we present a formal semantics for liveness rules and expressions, and discuss our work in developing axioms about them. We also discuss the introduction of a new operator for defining the complement of expressions; that is, the behaviour that falls outside of the liveness expression. This provides more flexibility when reasoning about and manipulating these expressions.

 

Keywords: multi-agent systems; MAS; agent-oriented development methodologies; Gaia design methodology; liveness expressions; Kleene algebra; semantics.

 

DOI: 10.1504/IJAOSE.2007.016268

 

Int. J. of Agent-Oriented Software Engineering, 2007 Vol.1, No.3/4, pp.435 - 476

 

Available online: 13 Dec 2007

 

 

Editors Full text accessAccess for SubscribersPurchase this articleComment on this article