TY - GEN
T1 - Flexible Formal Specifications to Design Robust Technology-Enhanced Learning Applications
AU - Calderon, Juan Felipe
AU - Rojas, Luis A.
N1 - Publisher Copyright:
© 2023, The Author(s), under exclusive license to Springer Nature Switzerland AG.
PY - 2023
Y1 - 2023
N2 - In real-time systems with changes in specifications, resources status, and ambient conditions, the computational support requires adapting to new conditions to satisfy the goals defined for those applications. Technology-enhanced learning applications (TEL) can be formalized by Educational Modelling Languages (EML), which provides a mechanism to design, deploy, and execute learning activities providing pedagogical flexibility. However, this flexibility is focused on design time and not in execution. Consequently, compliance satisfaction is a challenge when flexibility in workflows is provided. In addition, deadlock-freeness and reachability are critical properties in learning design execution of applications because learning objectives must be achieved by students without avoidable impediments provided by the execution of learning applications and their corresponding technical infrastructure. Currently, to provide flexibility to learning design scenarios, real-time flexibility and real-time compliance cannot be balanced since the improvement of flexibility mechanism affects compliance assessment, and vice-versa. The aim of this work is to explore real-time flexibility features in a workflow specification, supporting deadlock-freeness and reachability as compliance parameters during application in learning design scenarios. An extension of Petri-Net formalism was developed as a workflow specification. To validate this approach, a learning scenario with a set of test cases were formulated to define pedagogical and validation constraints. Results show that a learning scenario involving changes to the run-time can be successfully created, deployed, and executed. These changes can be based on properties that are intrinsic to the learning scenario, as well as on others that are related to the proposed workflow specification base Petri-net.
AB - In real-time systems with changes in specifications, resources status, and ambient conditions, the computational support requires adapting to new conditions to satisfy the goals defined for those applications. Technology-enhanced learning applications (TEL) can be formalized by Educational Modelling Languages (EML), which provides a mechanism to design, deploy, and execute learning activities providing pedagogical flexibility. However, this flexibility is focused on design time and not in execution. Consequently, compliance satisfaction is a challenge when flexibility in workflows is provided. In addition, deadlock-freeness and reachability are critical properties in learning design execution of applications because learning objectives must be achieved by students without avoidable impediments provided by the execution of learning applications and their corresponding technical infrastructure. Currently, to provide flexibility to learning design scenarios, real-time flexibility and real-time compliance cannot be balanced since the improvement of flexibility mechanism affects compliance assessment, and vice-versa. The aim of this work is to explore real-time flexibility features in a workflow specification, supporting deadlock-freeness and reachability as compliance parameters during application in learning design scenarios. An extension of Petri-Net formalism was developed as a workflow specification. To validate this approach, a learning scenario with a set of test cases were formulated to define pedagogical and validation constraints. Results show that a learning scenario involving changes to the run-time can be successfully created, deployed, and executed. These changes can be based on properties that are intrinsic to the learning scenario, as well as on others that are related to the proposed workflow specification base Petri-net.
KW - flexible workflow
KW - learning design
KW - model-checking
KW - petri-net
UR - http://www.scopus.com/inward/record.url?scp=85169436877&partnerID=8YFLogxK
U2 - 10.1007/978-3-031-35927-9_2
DO - 10.1007/978-3-031-35927-9_2
M3 - Conference contribution
AN - SCOPUS:85169436877
SN - 9783031359262
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 12
EP - 30
BT - Social Computing and Social Media - 15th International Conference, SCSM 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Proceedings
A2 - Coman, Adela
A2 - Vasilache, Simona
PB - Springer Science and Business Media Deutschland GmbH
T2 - 15th International Conference on Social Computing and Social Media, SCSM 2023, held as part of the 25th International Conference on Human-Computer Interaction, HCII 2023
Y2 - 23 July 2023 through 28 July 2023
ER -