TY  - CONF
N1  - cited By 0; Conference of 2010 International Symposium on Information Technology, ITSim'10 ; Conference Date: 15 June 2010 Through 17 June 2010; Conference Code:81915
N2  - This paper presents the process of simulation development for agent interaction protocol. Previously, a set of four interaction protocols for agent-based e-learning system is specified using the ISLANDER. Now, it is time to develop a suitable simulation in order to test the specified protocols using Easy Java Simulation (EJS). Our idea is to present two types of Graphical User Interface (GUIs) to test the protocols. First GUI is a static one using a predefined value, meaning that the values are already hard-coded in the simulation meanwhile for the second GUI, the dynamic one, where the users are able to enter their desired values in order to run the simulation. The values entered represent the number of agents and documents that is available at certain time. The purpose of having these values is to see whether the interaction protocol specified for these goal: to automate the document downloading and notifying in the elearning system is capable of handling diverse complexity of environments. In addition, this paper also describes a formal approach to validate the protocol, that is model checking. © 2010 IEEE.
SP  - 642
TI  - Development of simulation environment for agent interaction protocol
ID  - scholars1086
KW  - Completeness; Java simulators; Protocols; Simulation; User interaction
KW  -  Graphical user interfaces; Information technology; Model checking; Multi agent systems
KW  -  Computer simulation
CY  - Kuala Lumpur
AV  - none
A1  - Latif, N.A.
A1  - Hassan, M.F.
A1  - Hasan, H.
UR  - https://www.scopus.com/inward/record.uri?eid=2-s2.0-78049384942&doi=10.1109%2fITSIM.2010.5561530&partnerID=40&md5=b8fcddc881c90cf548a0281b6d7c5f7a
EP  - 647
VL  - 2
Y1  - 2010///
SN  - 9781424467181
ER  -