iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: https://doi.org/10.1007/978-3-031-35927-9_2
Flexible Formal Specifications to Design Robust Technology-Enhanced Learning Applications | SpringerLink
Skip to main content
Springer Nature Link
Log in

Flexible Formal Specifications to Design Robust Technology-Enhanced Learning Applications

  • Conference paper
  • First Online:
Social Computing and Social Media (HCII 2023)

Part of the book series: Lecture Notes in Computer Science ((LNCS,volume 14026))

Included in the following conference series:

  • 714 Accesses

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.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 129.00
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 169.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Hofmann, M.,Betke, H., Sackmann, S.: Automated Analysis and Adaptation of DRP 266 Long Paper-Decision Support Systems (2004)

    Google Scholar 

  2. Macfadyen, L.P., Lockyer, L., Rienties, B.: Learning design and learning analytics: Snapshot 2020. J. Learn. Anal. 7(3), 6–12 (2020). https://doi.org/10.18608/JLA.2020.73.2

    Article  Google Scholar 

  3. Online, R., Agostinho, S., Bennett, S., Lockyer, L., Jones, J., Harper, B.: Learning designs as a stimulus and support for teachers’ design practices. http://ro.uow.edu.au/sspapers/422

  4. Educational Technology & Society. http://www.ifets.info/

  5. Asensio-Pérez, J.I., et al.: Towards teaching as design: exploring the interplay between full-lifecycle learning design tooling and Teacher Professional Development. Comput. Educ. 114, 92–116 (2017). https://doi.org/10.1016/j.compedu.2017.06.011

    Article  Google Scholar 

  6. Celik, D., Magoulas, G.D.: A review, timeline, and categorization of learning design tools. In: Chiu, D.K.W., Marenzi, I., Nanni, U., Spaniol, M., Temperini, M. (eds.) ICWL 2016. LNCS, vol. 10013, pp. 3–13. Springer, Cham (2016). https://doi.org/10.1007/978-3-319-47440-3_1

    Chapter  Google Scholar 

  7. Pozzi, F., Asensio-Perez, J.I., Ceregini, A., Dagnino, F.M., Dimitriadis, Y., Earp, J.: Supporting and representing learning design with digital tools: in between guidance and flexibility. Technol. Pedagog. Educ. 29(1), 109–128 (2020). https://doi.org/10.1080/1475939X.2020.1714708

    Article  Google Scholar 

  8. Persico, D., Pozzi, F.: Informing learning design with learning analytics to improve teacher inquiry. Br. J. Educ. Technol. 46(2), 230–248 (2015). https://doi.org/10.1111/bjet.12207

  9. Torres, J., Cárdenas, C., Dodero, J.M., Juárez, E., Rosson, M.B.: Educational modelling languages and service-oriented learning process engines. Adv. Learn. Process. 17–38 (2010)

    Google Scholar 

  10. Koper, R., Miao, Y.: Using the IMS LD standard to describe learning designs. In: Handbook of Research on Learning Design and Learning Objects. IGI Global (2011). https://doi.org/10.4018/9781599048611.ch003

  11. Vesin, B., Mangaroska, K., Giannakos, M.: Learning in smart environments: user-centered design and analytics of an adaptive learning system. Smart Learn. Environ. 5(1), 1–21 (2018). https://doi.org/10.1186/s40561-018-0071-0

    Article  Google Scholar 

  12. Magnisalis, I., Demetriadis, S.: Extending IMS-LD capabilities: a review, a proposed framework and implementation cases. Intell. Adapt. Personal. Tech. Comput.-Support. Collab. Learn. 85–108 (2012)

    Google Scholar 

  13. Hermans, H., Janssen, J., Koper, R.: Flexible authoring and delivery of online courses using IMS learning design. Interact. Learn. Environ. 24(6), 1265–1279 (2016). https://doi.org/10.1080/10494820.2014.994220

    Article  Google Scholar 

  14. Pérez-Sanagustín, M., Santos, P., Hernández-Leo, D., Blat, J.: 4SPPIces: a case study of factors in a scripted collaborative-learning blended course across spatial locations. Int. J. Comput. Support. Collab. Learn. 7(3), 443–465 (2012). https://doi.org/10.1007/s11412-011-9139-3

  15. Garreta-Domingo, M., Hernández-Leo, D., Sloep, P.B.: Education, technology and design: a much needed interdisciplinary collaboration. In: Kapros, E., Koutsombogera, M. (eds.) Designing for the User Experience in Learning Systems. HIS, pp. 17–39. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-94794-5_2

    Chapter  Google Scholar 

  16. van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: balancing between flexibility and support. Comput. Sci. Res. Dev. 23(2), 99–113 (2009). https://doi.org/10.1007/s00450-009-0057-9

    Article  Google Scholar 

  17. Baiyere, A., Salmela, H., Tapanainen, T.: Digital transformation and the new logics of business process management. Eur. J. Inf. Syst. 29(3), 238–259 (2020). https://doi.org/10.1080/0960085X.2020.1718007

    Article  Google Scholar 

  18. la Rosa, M., van der Aalst, W.M.P., Dumas, M., Milani, F.P.: Business process variability modeling: a survey. ACM Comput. Surv. 50(1) (2017). Association for Computing Machinery. https://doi.org/10.1145/3041957

  19. Murguzur, A., Intxausti, K., Urbieta, A., Trujillo, S., Sagardui, G.: Process flexibility in service orchestration: a systematic literature review. Int. J. Coop. Inf. Syst. 23(3) (2014). https://doi.org/10.1142/S0218843014300010

  20. Kloos, C.D., et al.: SmartLet: learning analytics to enhance the design and orchestration in scalable, IoT-enriched, and ubiquitous smart learning environments. In: ACM International Conference Proceeding Series, October 2018, pp. 648–653 (2018). https://doi.org/10.1145/3284179.3284291

  21. Andrews, K., Steinau, S., Reichert, M.: Enabling runtime flexibility in data-centric and data-driven process execution engines. Inf. Syst. 101 (2021). https://doi.org/10.1016/j.is.2019.101447

  22. Seyffarth, T., Kuehnel, S.: Maintaining business process compliance despite changes: a decision support approach based on process adaptations. J. Decis. Syst 31(3), 305–335 (2022). https://doi.org/10.1080/12460125.2020.1861920

    Article  Google Scholar 

  23. Hasic, F., de Smedt, J., vanden Broucke, S., Serral, E.: Decision as a Service (DaaS): a service-oriented architecture approach for decisions in processes. IEEE Trans. Serv. Comput. 15(2), 904–917 (2022). https://doi.org/10.1109/TSC.2020.2965516

  24. Kittel, K., Sackmann, S., Betke, H., Hofmann, M.: Achieving flexible and compliant processes in disaster management. In: Proceedings of the Annual Hawaii International Conference on System Sciences, pp. 4687–4696 (2013). https://doi.org/10.1109/HICSS.2013.71

  25. Aalst, W.M.P.: Everything you always wanted to know about petri nets, but were afraid to ask. In: Hildebrandt, T., van Dongen, B.F., Röglinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 3–9. Springer, Cham (2019). https://doi.org/10.1007/978-3-030-26619-6_1

    Chapter  Google Scholar 

  26. Vidal, J.C., Lama, M., Bugarín, A.: OPENET: ontology-based engine for high-level Petri nets. Expert Syst. Appl. 37(9), 6493–6509 (2010). https://doi.org/10.1016/j.eswa.2010.02.136

    Article  Google Scholar 

  27. Nagl, C., Rosenberg, F., Vitalab, D.: VIDRE-A Distributed Service-Oriented Business Rule Engine based on RuleML. http://www.vitalab.tuwien.ac

  28. Wolf, K.: Petri net model checking with LoLA 2. In: Khomenko, V., Roux, O.H. (eds.) PETRI NETS 2018. LNCS, vol. 10877, pp. 351–362. Springer, Cham (2018). https://doi.org/10.1007/978-3-319-91268-4_18

    Chapter  Google Scholar 

  29. Calderón, J.F., Nussbaum, M., Carmach, I., Díaz, J.J., Villalta, M.: A single-display groupware collaborative language laboratory. Interact. Learn. Environ. 24(4), 758–783 (2016). https://doi.org/10.1080/10494820.2014.917111

    Article  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Facultad de Ingeniería, Universidad Andrés Bello, Quillota, 980, Viña del Mar, Chile

    Juan Felipe Calderon

  2. Facultad de Ciencias Empresariales, Departamento de Ciencias de la Computación y Tecnologías de la Información, Universidad del Bío-Bío, Chillán, Chile

    Luis A. Rojas

Authors
  1. Juan Felipe Calderon
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Luis A. Rojas
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Juan Felipe Calderon .

Editor information

Editors and Affiliations

  1. University of Bucharest, Bucharest, Romania

    Adela Coman

  2. University of Tsukuba, Tsukuba, Japan

    Simona Vasilache

1 Electronic supplementary material

Below is the link to the electronic supplementary material.

Supplementary file1 (DOCX 17 kb)

Rights and permissions

Reprints and permissions

Copyright information

© 2023 The Author(s), under exclusive license to Springer Nature Switzerland AG

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Calderon, J.F., Rojas, L.A. (2023). Flexible Formal Specifications to Design Robust Technology-Enhanced Learning Applications. In: Coman, A., Vasilache, S. (eds) Social Computing and Social Media. HCII 2023. Lecture Notes in Computer Science, vol 14026. Springer, Cham. https://doi.org/10.1007/978-3-031-35927-9_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-031-35927-9_2

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-031-35926-2

  • Online ISBN: 978-3-031-35927-9

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation