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.