ALBERT: an agent-oriented language for building and eliciting requirements for real-time systems

Abstract

Presents a formal specification language designed for capturing requirements expressed on composite real-time systems. The specification describes the system as a society of 'agents', each of them being characterised (i) by its responsibility with respect to actions happening an the system and (ii) by its time-varying perception of the behaviour of the other agents. On top of the language, we also suggest some methodological guidance by considering a general strategy based on a progressive assignment of responsibilities to agents.< <ETX xmlns:mml="http://www.w3.org/1998/Math/MathML" xmlns:xlink="http://www.w3.org/1999/xlink">&gt;</ETX>