ISSN 2394-5125
 

Research Article 


FORMAL MODELING AND VERIFICATION OF ELEARNING BASED ADAPTIVE SYSTEM

Ilyas Fakhir, Maham Tahir, Asad Raza Kazmi, Awais Qasim, Atif Ishaq.

Abstract
E-learning plays an important role in todayís education using digital media. In classrooms, teachers change
their behaviors, techniques, and teaching methods according to the response they receive from students. ELearning
system in its entirety should be able to do so. However, to do this open communication is necessary
and based on that decision-making from associated users should be driven by the system. Only then an elearning
system can be reliable and effective. The presented architecture uses Colored Petri-Nets, with the
inclusion of a feedback module in the existing architecture for the reduction of a communication problem to
enhance the systemís efficiency. In this way, users communicate for optimizing the system and updating it with
best learning practices and techniques. With the help of Simulation and its analysis report generated by the state
space analysis tool, the users will be able to understand the behavior of the system more effectively and tackle
faults before implementation

Key words: Adaptive E-learning, Multi-agent systems, Colored Petri Nets, State-Space Analysis


 
ARTICLE TOOLS
Abstract
PDF Fulltext
How to cite this articleHow to cite this article
Citation Tools
Related Records
 Articles by Ilyas Fakhir
Articles by Maham Tahir
Articles by Asad Raza Kazmi
Articles by Awais Qasim
Articles by Atif Ishaq
on Google
on Google Scholar


How to Cite this Article
Pubmed Style

Ilyas Fakhir, Maham Tahir, Asad Raza Kazmi, Awais Qasim, Atif Ishaq. FORMAL MODELING AND VERIFICATION OF ELEARNING BASED ADAPTIVE SYSTEM. JCR. 2021; 8(1): 693-706. doi:10.31838/jcr.08.01.77


Web Style

Ilyas Fakhir, Maham Tahir, Asad Raza Kazmi, Awais Qasim, Atif Ishaq. FORMAL MODELING AND VERIFICATION OF ELEARNING BASED ADAPTIVE SYSTEM. http://www.jcreview.com/?mno=57797 [Access: May 31, 2021]. doi:10.31838/jcr.08.01.77


AMA (American Medical Association) Style

Ilyas Fakhir, Maham Tahir, Asad Raza Kazmi, Awais Qasim, Atif Ishaq. FORMAL MODELING AND VERIFICATION OF ELEARNING BASED ADAPTIVE SYSTEM. JCR. 2021; 8(1): 693-706. doi:10.31838/jcr.08.01.77



Vancouver/ICMJE Style

Ilyas Fakhir, Maham Tahir, Asad Raza Kazmi, Awais Qasim, Atif Ishaq. FORMAL MODELING AND VERIFICATION OF ELEARNING BASED ADAPTIVE SYSTEM. JCR. (2021), [cited May 31, 2021]; 8(1): 693-706. doi:10.31838/jcr.08.01.77



Harvard Style

Ilyas Fakhir, Maham Tahir, Asad Raza Kazmi, Awais Qasim, Atif Ishaq (2021) FORMAL MODELING AND VERIFICATION OF ELEARNING BASED ADAPTIVE SYSTEM. JCR, 8 (1), 693-706. doi:10.31838/jcr.08.01.77



Turabian Style

Ilyas Fakhir, Maham Tahir, Asad Raza Kazmi, Awais Qasim, Atif Ishaq. 2021. FORMAL MODELING AND VERIFICATION OF ELEARNING BASED ADAPTIVE SYSTEM. Journal of Critical Reviews, 8 (1), 693-706. doi:10.31838/jcr.08.01.77



Chicago Style

Ilyas Fakhir, Maham Tahir, Asad Raza Kazmi, Awais Qasim, Atif Ishaq. "FORMAL MODELING AND VERIFICATION OF ELEARNING BASED ADAPTIVE SYSTEM." Journal of Critical Reviews 8 (2021), 693-706. doi:10.31838/jcr.08.01.77



MLA (The Modern Language Association) Style

Ilyas Fakhir, Maham Tahir, Asad Raza Kazmi, Awais Qasim, Atif Ishaq. "FORMAL MODELING AND VERIFICATION OF ELEARNING BASED ADAPTIVE SYSTEM." Journal of Critical Reviews 8.1 (2021), 693-706. Print. doi:10.31838/jcr.08.01.77



APA (American Psychological Association) Style

Ilyas Fakhir, Maham Tahir, Asad Raza Kazmi, Awais Qasim, Atif Ishaq (2021) FORMAL MODELING AND VERIFICATION OF ELEARNING BASED ADAPTIVE SYSTEM. Journal of Critical Reviews, 8 (1), 693-706. doi:10.31838/jcr.08.01.77