A formal semantics for Gaia liveness rules and expressions

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

• Type: Journal
• Year: 2007
• Where: IJAOSE
• Authors: Tim Miller, Peter McBurney
• Keywords: Development Methodology, Gaia Methodology, IJAOSE 2007, Multi-agent Systems