DocumentCode
2072926
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
Volume
4
fYear
1994
fDate
4-7 Jan. 1994
Firstpage
713
Lastpage
722
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;
fLanguage
English
Publisher
ieee
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
Type
conf
DOI
10.1109/HICSS.1994.323448
Filename
323448
Link To Document