eprintid: 1086
rev_number: 2
eprint_status: archive
userid: 1
dir: disk0/00/00/10/86
datestamp: 2023-11-09 15:49:14
lastmod: 2023-11-09 15:49:14
status_changed: 2023-11-09 15:38:59
type: conference_item
metadata_visibility: show
creators_name: Latif, N.A.
creators_name: Hassan, M.F.
creators_name: Hasan, H.
title: Development of simulation environment for agent interaction protocol
ispublished: pub
keywords: Completeness; Java simulators; Protocols; Simulation; User interaction, Graphical user interfaces; Information technology; Model checking; Multi agent systems, Computer simulation
note: 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
abstract: 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.
date: 2010
official_url: https://www.scopus.com/inward/record.uri?eid=2-s2.0-78049384942&doi=10.1109%2fITSIM.2010.5561530&partnerID=40&md5=b8fcddc881c90cf548a0281b6d7c5f7a
id_number: 10.1109/ITSIM.2010.5561530
full_text_status: none
publication: Proceedings 2010 International Symposium on Information Technology - Engineering Technology, ITSim'10
volume: 2
place_of_pub: Kuala Lumpur
pagerange: 642-647
refereed: TRUE
isbn: 9781424467181
citation:   Latif, N.A. and Hassan, M.F. and Hasan, H.  (2010) Development of simulation environment for agent interaction protocol.  In: UNSPECIFIED.