Flexible Formal Specifications to Design Robust Technology-Enhanced Learning Applications

Juan Felipe Calderon, Luis A. Rojas

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

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.

Original languageEnglish
Title of host publicationSocial Computing and Social Media - 15th International Conference, SCSM 2023, Held as Part of the 25th HCI International Conference, HCII 2023, Proceedings
EditorsAdela Coman, Simona Vasilache
PublisherSpringer Science and Business Media Deutschland GmbH
Pages12-30
Number of pages19
ISBN (Print)9783031359262
DOIs
Publication statusPublished - 2023
Event15th 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, Denmark
Duration: 23 Jul 202328 Jul 2023

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume14026 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

Conference15th International Conference on Social Computing and Social Media, SCSM 2023, held as part of the 25th International Conference on Human-Computer Interaction, HCII 2023
Country/TerritoryDenmark
CityCopenhagen
Period23/07/2328/07/23

Keywords

  • flexible workflow
  • learning design
  • model-checking
  • petri-net

ASJC Scopus subject areas

  • Theoretical Computer Science
  • General Computer Science

Fingerprint

Dive into the research topics of 'Flexible Formal Specifications to Design Robust Technology-Enhanced Learning Applications'. Together they form a unique fingerprint.

Cite this