Flexible Formal Specifications to Design Robust Technology-Enhanced Learning Applications

Juan Felipe Calderon, Luis A. Rojas

Producción científica: Contribución a los tipos de informe/libroContribución a la conferenciarevisión exhaustiva

Resumen

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.

Idioma originalInglés
Título de la publicación alojadaSocial Computing and Social Media - 15th International Conference, SCSM 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Proceedings
EditoresAdela Coman, Simona Vasilache
EditorialSpringer Science and Business Media Deutschland GmbH
Páginas12-30
Número de páginas19
ISBN (versión impresa)9783031359262
DOI
EstadoPublicada - 2023
Evento15th International Conference on Social Computing and Social Media, SCSM 2023, held as part of the 25th International Conference on Human-Computer Interaction, HCII 2023 - Copenhagen, Dinamarca
Duración: 23 jul. 202328 jul. 2023

Serie de la publicación

NombreLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volumen14026 LNCS
ISSN (versión impresa)0302-9743
ISSN (versión digital)1611-3349

Conferencia

Conferencia15th International Conference on Social Computing and Social Media, SCSM 2023, held as part of the 25th International Conference on Human-Computer Interaction, HCII 2023
País/TerritorioDinamarca
CiudadCopenhagen
Período23/07/2328/07/23

Áreas temáticas de ASJC Scopus

  • Ciencia computacional teórica
  • Ciencia de la Computación General

Huella

Profundice en los temas de investigación de 'Flexible Formal Specifications to Design Robust Technology-Enhanced Learning Applications'. En conjunto forman una huella única.

Citar esto