Role Based Multi-Agent System for E-Learning (MASeL)

Mustafa Hameed, Nadeem Akhtar, Malik Saad
2016 International Journal of Advanced Computer Science and Applications  
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
more » ... well as verified. Timedautomata 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 rolebased multi-agent system.
doi:10.14569/ijacsa.2016.070327 fatcat:2sgennn4gzcfrk3mlifxtzkg6i