Title :
ALBERT: an agent-oriented language for building and eliciting requirements for real-time systems
Author :
Dubois, Eric ; Bois, Philippe Du ; Petit, Michael
Author_Institution :
Inst. d´´Inf., Fac. Univ. de Namur, Belgium
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.<>
Keywords :
real-time systems; specification languages; systems analysis; ALBERT; agent behaviour; agent-oriented language; composite real-time systems; formal specification language; general strategy; methodological guidance; progressive assignment; requirements capture; responsibility; time-varying perception;
Conference_Titel :
System Sciences, 1994. Proceedings of the Twenty-Seventh Hawaii International Conference on
Conference_Location :
Wailea, HI, USA
Print_ISBN :
0-8186-5090-7
DOI :
10.1109/HICSS.1994.323448
