Analysis, Evaluation and Reusability of Virtual Laboratory Software Based on Conceptual Modeling and Conformance Checking

Athanasios Sypsas () and Dimitris Kalles
Additional contact information
Athanasios Sypsas: School of Science and Technology, Hellenic Open University, 26335 Patras, Greece
Dimitris Kalles: School of Science and Technology, Hellenic Open University, 26335 Patras, Greece

Mathematics, 2023, vol. 11, issue 9, 1-16

Abstract: Virtual laboratories have been increasingly used in tertiary education for natural and applied sciences, especially due to the COVID pandemic, generating a substantial investment in corresponding software applications, including simulation experiments and procedures. However, it is expensive and time-consuming to analyze, understand, model and implement the virtual experiments, especially when it is necessary to create new ones from scratch, but also when they must be redesigned and addressed to an audience in a different educational setting. We use UML Activity Diagrams and Petri nets to model experimental procedures and then apply conformance checking to detect possible nonconformities between expected model behavior and actual model execution. As a result, we provide an estimation of the conceptual proximity between experiments performed in different educational settings using the same virtual laboratory software, assisting educators and developers in making informed decisions about software reuse and redesign by providing a systematic and formal way of evaluating software applicability. A virtual microscoping experiment was used as a case study for validation purposes. The results revealed that the specific virtual lab software can be ported, without modifications, from tertiary to secondary education, to achieve learning outcomes relevant to that education level, even though it was originally designed for a distance education university. The proposed framework has potential applications beyond virtual laboratories, as a general approach to process modeling and conformance checking to evaluate the similarity between the specification of experimental procedures and actual execution logs can be applied to various domains.

Keywords: conceptual modeling; virtual laboratory software; conformance checking (search for similar items in EconPapers)
JEL-codes: C (search for similar items in EconPapers)
Date: 2023
References: View references in EconPapers View complete reference list from CitEc
Citations:

Downloads: (external link)
https://www.mdpi.com/2227-7390/11/9/2153/pdf (application/pdf)
https://www.mdpi.com/2227-7390/11/9/2153/ (text/html)

Related works:
This item may be available elsewhere in EconPapers: Search for items with the same title.

Export reference: BibTeX RIS (EndNote, ProCite, RefMan) HTML/Text

Persistent link: https://EconPapers.repec.org/RePEc:gam:jmathe:v:11:y:2023:i:9:p:2153-:d:1139107

Access Statistics for this article

Mathematics is currently edited by Ms. Emma He

More articles in Mathematics from MDPI
Bibliographic data for series maintained by MDPI Indexing Manager ().