Role Based Multi-Agent System for E-Learning (MASeL)
Journal Title: International Journal of Advanced Computer Science & Applications - Year 2016, Vol 7, Issue 3
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.
Authors and Affiliations
Mustafa Hameed, Nadeem Akhtar, Malik Missen
Keywords
Related Articles
- EP ID EP128220
- DOI 10.14569/IJACSA.2016.070327
- Views 116
- Downloads 0
Finite Element Analysis based Optimization of Magnetic Adhesion Module for Concrete Wall Climbing Robot
Wall climbing robot can provide easier accessibility to tall structures for Non Destructive Testing (NDT) and improve working environments of human operators. However, existing adhesion mechanism for climbing robots such...
An Enhanced Framework with Advanced Study to Incorporate the Searching of E-Commerce Products Using Modernization of Database Queries
This study aims to inspect and evaluate the integration of database queries and their use in e-commerce product searches. It has been observed that e-commerce is one of the most prominent trends, which have been emerged...
A Fuzzy Decision Support System for Management of Breast Cancer
In the molecular era the management of cancer is no more a plan based on simple guidelines. Clinical findings, tumor characteristics, and molecular markers are integrated to identify different risk categories, based on w...
Instruction Design Model for Self-Paced ICT System E-Learning in an Organization
Adopting an Information Communication and Technology (ICT) system in an organization is somewhat challenging. User diversity, heavy workload, and different skill gap make the ICT adoption process slower. This research st...
A Bus Arbitration Scheme with an Efficient Utilization and Distribution
Computer designers utilize the recent huge advances in Very Large Scale Integration (VLSI) to place several processors on the same chip die to get Chip Multiprocessor (CMP). The shared bus is the most common media used t...