Publicación:
FLEXIBLE FORMAL SPECIFICATIONS TO DESIGN ROBUST TECHNOLOGY-ENHANCED LEARNING APPLICATIONS

Vista sencilla de ítem
dc.creatorLUIS ALBERTO ROJAS PINO
dc.date2023
dc.date.accessioned2025-01-10T15:42:56Z
dc.date.available2025-01-10T15:42:56Z
dc.date.issued2023
dc.description.abstractIN 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.
dc.formatapplication/pdf
dc.identifier.doihttps://doi.org/10.1007/978-3-031-35927-9_2
dc.identifier.issn1611-3349
dc.identifier.issn0302-9743
dc.identifier.urihttps://repositorio.ubiobio.cl/handle/123456789/13320
dc.languagespa
dc.publisherLECTURE NOTES IN COMPUTER SCIENCE-SOCIAL COMPUTING AND SOCIAL MEDIA
dc.relation.urihttps://doi.org/10.1007/978-3-031-35927-9_2
dc.rightsPUBLICADA
dc.subjectpetri-net
dc.subjectmodel-checking
dc.subjectlearning design
dc.subjectflexible workflow
dc.titleFLEXIBLE FORMAL SPECIFICATIONS TO DESIGN ROBUST TECHNOLOGY-ENHANCED LEARNING APPLICATIONS
dc.typeARTÍCULO
dspace.entity.typePublication
ubb.EstadoPUBLICADA
ubb.Otra ReparticionDEPARTAMENTO DE CIENCIAS DE LA COMPUTACION Y TECNOLOGIA DE LA INFORMACION.
ubb.SedeCHILLÁN
Archivos
Colecciones
Artículos científicos