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
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. | |||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||