Formal Specification and Design of E-Learning IMS
DOI:
https://doi.org/10.47067/ramss.v4i1.125Keywords:
Correctness, Colored Petri Nets (CPNs), E-Learning, Information Management System (IMS), Modeling, VerificationAbstract
The purpose of this research study is to look at, how the utilization of planning techniques / strategies having the most important impacts on any project /organization’s success and imaginative problem?solving. In particular Project Planning Techniques, three most important arranging basic strategies including, Gantt graphs, case?based arranging and basic way investigation, were studied &analyzed. As this study is an empirical in nature which purposes to highlight the project standards used to examine the accomplishment of projects and the project planning techniques being practically applicable. It is quantitative research study and questionnaires were asked to access the variables and associate with the existing literature. Project Success criteria were graded which were found to be dissimilar in this field as compare to others. It also presented the knowledge and usage of project planning techniques for categorizing the room of improvement as for as the Project Success is concerned, where some professional trainings are required for the project team members. The role of Effective Project Governance is also very vital for project success as well. The main focus and targeted area is the construction industry of Pakistan.
References
A, P. P. (2019). Enhanced Edge Model for Big Data in the Internet of Things Based Applications. Journal of Trends in Computer Science and Smart Technology, 1(1), 63–73. https://doi.org/10.36548/jtcsst.2019.1.006
Adamski, M., Karatkevich, A., & Wegrzyn, M. (2005). Design of embedded control systems. Design of Embedded Control Systems. Springer US. https://doi.org/10.1007/0-387-28327-7
Aziz, S., Ejaz, A., & Alam, S. E. (2013). Mortality pattern in a trust hospital: A hospital based study in Karachi. Retrieved April 23, 2021, from https://www.researchgate.net/publication/286805160_Mortality_pattern_in_a_trust_hospital_A_hospital_based_study_in_Karachi
Billington, J., Diaz, M., & Rozenberg, G. (Eds.). (1999). Application of Petri Nets to Communication Networks (Vol. 1605). Berlin, Heidelberg: Springer Berlin Heidelberg. https://doi.org/10.1007/BFb0097770
Billington, J., Gallasch, G. E., & Han, B. (2004). A coloured Petri net approach to protocol verification. Lecture Notes in Computer Science (Including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), 3098, 210–290. https://doi.org/10.1007/978-3-540-27755-2_6
Desrochers, A. A., & Al-Jaar, R. Y. (1995). Applications of Petri Nets in Manufacturing Systems; Modeling, Control, and Performance Analysis. IEEE Control Systems. https://doi.org/10.1109/MCS.1995.476396
Gonzalez, A., Gronsund, P., Mahmood, K., Helvik, B., Heegaard, P., & Nencioni, G. (2016). Service Availability in the NFV Virtualized Evolved Packet Core (pp. 1–6). Institute of Electrical and Electronics Engineers (IEEE). https://doi.org/10.1109/glocom.2015.7417254
Haoxiang, D. W. (2019). Trust Management of Communication Architectures of Internet of Things. Journal of Trends in Computer Science and Smart Technology, 2019(2), 121–130. https://doi.org/10.36548/jtcsst.2019.2.005
Hummel, T., & Fengler, W. (2005). Design of embedded control systems using hybrid petri nets. In Design of Embedded Control Systems (pp. 139–149). Springer US. https://doi.org/10.1007/0-387-28327-7_12
Kristensen, L. M., Christensen, S., & Jensen, K. (1998). The practitioner’s guide to coloured Petri nets. International Journal on Software Tools for Technology Transfer, 2(2), 98–132. https://doi.org/10.1007/s100090050021
Kurt Jensen, Lars Michael Kristensen, L. W. (2007). Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical Use. Volume 1 | Kurt Jensen | Springer. Retrieved April 23, 2021, from https://www.springer.com/gp/book/9783540609438
Lo, C. C., Chen, C. H., Cheng, D. Y., & Kung, H. Y. (2011). Ubiquitous healthcare service system with context-awareness capability: Design and implementation. Expert Systems with Applications, 38(4), 4416–4436. https://doi.org/10.1016/j.eswa.2010.09.111
Mierlo, S. Van, Tendeloo, Y. Van, Dávid, I., Meyers, B., Gebremichael, A., & Vangheluwe, H. (2018). A multi-paradigm approach for modelling service interactions in model-driven engineering processes. Retrieved from https://research.vu.nl/en/publications/a-multi-paradigm-approach-for-modelling-service-interactions-in-m
Mochalov, V. P., Bratchenko, N. Y., Nikulin, V. I., & Yakovlev, S. V. (2021). Methods for functional parallel processes implementation for network functions virtualization based on coloured petri nets. In AIP Conference Proceedings (Vol. 2318, p. 130004). American Institute of Physics Inc. https://doi.org/10.1063/5.0035806
Ongenae, F., Claeys, M., Dupont, T., Kerckhove, W., Verhoeve, P., Dhaene, T., & De Turck, F. (2013). A probabilistic ontology-based platform for self-learning context-aware healthcare applications. Expert Systems with Applications, 40(18), 7629–7646. https://doi.org/10.1016/j.eswa.2013.07.038
Quaglini, S. (2003). Workflow Management—Models, Methods and Systems. Artificial Intelligence in Medicine, 27(3), 393–396. https://doi.org/10.1016/s0933-3657(03)00011-3
Shams, H., & Zamanifar, K. (2014). MVCC: An architectural pattern for developing context-aware frameworks. In Procedia Computer Science (Vol. 34, pp. 344–351). Elsevier B.V. https://doi.org/10.1016/j.procs.2014.07.035
Standard ML of New Jersey. (2020). Retrieved April 23, 2021, from https://www.smlnj.org/
Ullman, J. (1998). Elements of ML Programming, ML97 Edition: Retrieved April 23, 2021, from https://www.amazon.com/Elements-ML-Programming-ML97-2nd/dp/0137903871
Yuan, B., & Herbert, J. (2011). Non-intrusive Movement Detection in CARA Pervasive Healthcare Application, 360–362.
Yuan, B., & Herbert, J. (2014). Context-aware hybrid reasoning framework for pervasive healthcare. Personal and Ubiquitous Computing, 18(4), 865–881. https://doi.org/10.1007/s00779-013-0696-5
Zhang, D., Huang, H., Lai, C. F., Liang, X., Zou, Q., & Guo, M. (2013). Survey on context-awareness in ubiquitous media. Multimedia Tools and Applications, 67(1), 179–211. https://doi.org/10.1007/s11042-011-0940-9.
