ISSN 2394-5125
 
2021, Vol: 8, Issue: 1
8/1Current Issue Online First Archive Aims and Scope Abstracting & Indexing Most Accessed Articles Most Downloaded Articles Most Cited Articles
Required files to be uploaded

Copyright

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: February 21, 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 February 21, 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


Author Login Reviewer Login About Publisher Editorial Policies Peer Review Policy Editorial & Peer Review Process Author's Rights and Obligations Publication Ethics and Publication Malpractice Statement Conflict of Interest Policy Plagiarism Policy Protection of Research Participants (Statement On Human And Animal Rights) Privacy Policy Publication Ethics and Publication Malpractice Statement Corrections, Retractions & Expressions of Concern Self-Archiving Policies Statement of Informed Consent Advertising Policy Terms of Use License Information
This is an open access journal which means that all content is freely available without charge to the user or his/her institution. Users are allowed to read, download, copy, distribute, print, search, or link to the full texts of the articles in this journal without asking prior permission from the publisher or the author. This is in accordance with the Budapest Open Access Initiative (BOAI) definition of open access.
The articles in Journal of Critical Reviews are open access articles licensed under the terms of the Creative Commons Attribution Non-Commercial License (http://creativecommons.org/licenses/by-nc-sa/3.0/) which permits unrestricted, non-commercial use, distribution and reproduction in any medium, provided the work is properly cited.
Copyright © 2021 Journal of Critical Reviews All Rights Reserved. Subject to change without notice from or liability to Journal of Critical Reviews.
For best results, please use Internet Explorer or Google Chrome

Contact Information


Journal of Critical Review,
Tower 23/4,
Jalan ampang,
Kuala Lumpur, malaysia

editorial.jcr@gmail.com