loading...
 This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT'03)
Modelling and Specifying Scenarios and Agent Behaviour
Halifax, Canada
October 13-October 17
ISBN: 0-7695-1931-8
Lijun Shan, National University of Defence Technology
Hong Zhu, Oxford Brookes University
Based on our previous work on the formal specification language SLABS as well as a methodology and modelling language for modelling and specifying multi-agent systems, we further investigate how diagrammatic models of multi-agent systems can be used to derive formal specifications in SLABS. The modelling language is further developed by introducing behaviour diagrams and scenario diagrams for modelling agents' behaviour in various scenarios of their environment. It supports derivation of the specifications of agents' behaviour through scenario analysis. The language and its usage are illustrated by an example of the evolutionary multi-agent ecosystem Amalthaea developed at MIT Media Lab.
Citation:
Lijun Shan, Hong Zhu, "Modelling and Specifying Scenarios and Agent Behaviour," iat, pp.32, 2003 IEEE/WIC International Conference on Intelligent Agent Technology (IAT'03), 2003
Usage of this product signifies your acceptance of the Terms of Use.