Future of Information and Communication Conference (FICC) 2022
3-4 March 2022
Publication Links
IJACSA
Special Issues
Article Details
Copyright Statement: This is an open access article licensed under a Creative Commons Attribution 4.0 International License, which permits unrestricted use, distribution, and reproduction in any medium, even commercially as long as the original work is properly cited.
Role Based Multi-Agent System for E-Learning (MASeL)
Digital Object Identifier (DOI) : 10.14569/IJACSA.2016.070327
Article Published in International Journal of Advanced Computer Science and Applications(IJACSA), Volume 7 Issue 3, 2016.
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.
Keywords: Management System (IMS); Multi-Agent System (MAS); Role Based Multi-Agent Systems; Agent-Group-Role (AGR); Agent-based Virtual Classroom (AVC); Intelligent Virtual Classroom (IVC); E-Learning; Information and Communication Technologies (ICTs); Formal verification; Model Checking
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}
}
