Sciweavers

IJAOSE
2007

A formal semantics for Gaia liveness rules and expressions

13 years 11 months ago
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
Tim Miller, Peter McBurney
Added 14 Dec 2010
Updated 14 Dec 2010
Type Journal
Year 2007
Where IJAOSE
Authors Tim Miller, Peter McBurney
Comments (0)