Abstract: Software agents are autonomous entities that can interact intelligently with other agents as well as their environment in order to carry out a specific task. We have proposed a role-based multi-agent system for e-learning. This multi-agent system is based on Agent-Group-Role (AGR) method. As a multi-agent system is distributed, ensuring correctness is an important issue. We have formally modeled our role-based multi-agent system. The correctness properties of liveness and safety are specified as well as verified. Timed-automata based model checker UPPAAL is used for the specification as well as verification of the e-learning system. This results in a formally specified and verified model of the role-based multi-agent system.

Mustafa Hameed, Nadeem Akhtar and Malik Saad Missen, “Role Based Multi-Agent System for E-Learning (MASeL)” International Journal of Advanced Computer Science and Applications(IJACSA), 7(3), 2016. http://dx.doi.org/10.14569/IJACSA.2016.070327

@article{Hameed2016,
title = {Role Based Multi-Agent System for E-Learning (MASeL)},
journal = {International Journal of Advanced Computer Science and Applications},
doi = {10.14569/IJACSA.2016.070327},
url = {http://dx.doi.org/10.14569/IJACSA.2016.070327},
year = {2016},
publisher = {The Science and Information Organization},
volume = {7},
number = {3},
author = {Mustafa Hameed and Nadeem Akhtar and Malik Saad Missen}
}