{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T04:11:34Z","timestamp":1743135094581,"version":"3.40.3"},"publisher-location":"Cham","reference-count":29,"publisher":"Springer Nature Switzerland","isbn-type":[{"type":"print","value":"9783031359262"},{"type":"electronic","value":"9783031359279"}],"license":[{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2023,1,1]],"date-time":"2023-01-01T00:00:00Z","timestamp":1672531200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2023]]},"DOI":"10.1007\/978-3-031-35927-9_2","type":"book-chapter","created":{"date-parts":[[2023,7,8]],"date-time":"2023-07-08T23:05:33Z","timestamp":1688857533000},"page":"12-30","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Flexible Formal Specifications to Design Robust Technology-Enhanced Learning Applications"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-7248-4492","authenticated-orcid":false,"given":"Juan Felipe","family":"Calderon","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4446-227X","authenticated-orcid":false,"given":"Luis A.","family":"Rojas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2023,7,9]]},"reference":[{"key":"2_CR1","unstructured":"Hofmann, M.,Betke, H., Sackmann, S.: Automated Analysis and Adaptation of DRP 266 Long Paper-Decision Support Systems (2004)"},{"issue":"3","key":"2_CR2","doi-asserted-by":"publisher","first-page":"6","DOI":"10.18608\/JLA.2020.73.2","volume":"7","author":"LP Macfadyen","year":"2020","unstructured":"Macfadyen, L.P., Lockyer, L., Rienties, B.: Learning design and learning analytics: Snapshot 2020. J. Learn. Anal. 7(3), 6\u201312 (2020). https:\/\/doi.org\/10.18608\/JLA.2020.73.2","journal-title":"J. Learn. Anal."},{"key":"2_CR3","unstructured":"Online, R., Agostinho, S., Bennett, S., Lockyer, L., Jones, J., Harper, B.: Learning designs as a stimulus and support for teachers\u2019 design practices. http:\/\/ro.uow.edu.au\/sspapers\/422"},{"key":"2_CR4","unstructured":"Educational Technology & Society. http:\/\/www.ifets.info\/"},{"key":"2_CR5","doi-asserted-by":"publisher","first-page":"92","DOI":"10.1016\/j.compedu.2017.06.011","volume":"114","author":"JI Asensio-P\u00e9rez","year":"2017","unstructured":"Asensio-P\u00e9rez, 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\u2013116 (2017). https:\/\/doi.org\/10.1016\/j.compedu.2017.06.011","journal-title":"Comput. Educ."},{"key":"2_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-319-47440-3_1","volume-title":"ICWL 2016","author":"D Celik","year":"2016","unstructured":"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\u201313. Springer, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-47440-3_1"},{"issue":"1","key":"2_CR7","doi-asserted-by":"publisher","first-page":"109","DOI":"10.1080\/1475939X.2020.1714708","volume":"29","author":"F Pozzi","year":"2020","unstructured":"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\u2013128 (2020). https:\/\/doi.org\/10.1080\/1475939X.2020.1714708","journal-title":"Technol. Pedagog. Educ."},{"key":"2_CR8","doi-asserted-by":"publisher","unstructured":"Persico, D., Pozzi, F.: Informing learning design with learning analytics to improve teacher inquiry. Br. J. Educ. Technol. 46(2), 230\u2013248 (2015). https:\/\/doi.org\/10.1111\/bjet.12207","DOI":"10.1111\/bjet.12207"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Torres, J., C\u00e1rdenas, C., Dodero, J.M., Ju\u00e1rez, E., Rosson, M.B.: Educational modelling languages and service-oriented learning process engines. Adv. Learn. Process. 17\u201338 (2010)","DOI":"10.5772\/8236"},{"key":"2_CR10","doi-asserted-by":"publisher","unstructured":"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","DOI":"10.4018\/9781599048611.ch003"},{"issue":"1","key":"2_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1186\/s40561-018-0071-0","volume":"5","author":"B Vesin","year":"2018","unstructured":"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\u201321 (2018). https:\/\/doi.org\/10.1186\/s40561-018-0071-0","journal-title":"Smart Learn. Environ."},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"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\u2013108 (2012)","DOI":"10.1007\/978-3-642-28586-8_4"},{"issue":"6","key":"2_CR13","doi-asserted-by":"publisher","first-page":"1265","DOI":"10.1080\/10494820.2014.994220","volume":"24","author":"H Hermans","year":"2016","unstructured":"Hermans, H., Janssen, J., Koper, R.: Flexible authoring and delivery of online courses using IMS learning design. Interact. Learn. Environ. 24(6), 1265\u20131279 (2016). https:\/\/doi.org\/10.1080\/10494820.2014.994220","journal-title":"Interact. Learn. Environ."},{"key":"2_CR14","doi-asserted-by":"publisher","unstructured":"P\u00e9rez-Sanagust\u00edn, M., Santos, P., Hern\u00e1ndez-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\u2013465 (2012). https:\/\/doi.org\/10.1007\/s11412-011-9139-3","DOI":"10.1007\/s11412-011-9139-3"},{"key":"2_CR15","series-title":"Human\u2013Computer Interaction Series","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/978-3-319-94794-5_2","volume-title":"Designing for the User Experience in Learning Systems","author":"M Garreta-Domingo","year":"2018","unstructured":"Garreta-Domingo, M., Hern\u00e1ndez-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\u201339. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-94794-5_2"},{"issue":"2","key":"2_CR16","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"WMP van der Aalst","year":"2009","unstructured":"van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: balancing between flexibility and support. Comput. Sci. Res. Dev. 23(2), 99\u2013113 (2009). https:\/\/doi.org\/10.1007\/s00450-009-0057-9","journal-title":"Comput. Sci. Res. Dev."},{"issue":"3","key":"2_CR17","doi-asserted-by":"publisher","first-page":"238","DOI":"10.1080\/0960085X.2020.1718007","volume":"29","author":"A Baiyere","year":"2020","unstructured":"Baiyere, A., Salmela, H., Tapanainen, T.: Digital transformation and the new logics of business process management. Eur. J. Inf. Syst. 29(3), 238\u2013259 (2020). https:\/\/doi.org\/10.1080\/0960085X.2020.1718007","journal-title":"Eur. J. Inf. Syst."},{"key":"2_CR18","doi-asserted-by":"publisher","unstructured":"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","DOI":"10.1145\/3041957"},{"key":"2_CR19","doi-asserted-by":"publisher","unstructured":"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","DOI":"10.1142\/S0218843014300010"},{"key":"2_CR20","doi-asserted-by":"publisher","unstructured":"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\u2013653 (2018). https:\/\/doi.org\/10.1145\/3284179.3284291","DOI":"10.1145\/3284179.3284291"},{"key":"2_CR21","doi-asserted-by":"publisher","unstructured":"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","DOI":"10.1016\/j.is.2019.101447"},{"issue":"3","key":"2_CR22","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1080\/12460125.2020.1861920","volume":"31","author":"T Seyffarth","year":"2022","unstructured":"Seyffarth, T., Kuehnel, S.: Maintaining business process compliance despite changes: a decision support approach based on process adaptations. J. Decis. Syst 31(3), 305\u2013335 (2022). https:\/\/doi.org\/10.1080\/12460125.2020.1861920","journal-title":"J. Decis. Syst"},{"key":"2_CR23","doi-asserted-by":"publisher","unstructured":"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\u2013917 (2022). https:\/\/doi.org\/10.1109\/TSC.2020.2965516","DOI":"10.1109\/TSC.2020.2965516"},{"key":"2_CR24","doi-asserted-by":"publisher","unstructured":"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\u20134696 (2013). https:\/\/doi.org\/10.1109\/HICSS.2013.71","DOI":"10.1109\/HICSS.2013.71"},{"key":"2_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1007\/978-3-030-26619-6_1","volume-title":"BPM 2019","author":"WMP Aalst","year":"2019","unstructured":"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\u00f6glinger, M., Mendling, J. (eds.) BPM 2019. LNCS, vol. 11675, pp. 3\u20139. Springer, Cham (2019). https:\/\/doi.org\/10.1007\/978-3-030-26619-6_1"},{"issue":"9","key":"2_CR26","doi-asserted-by":"publisher","first-page":"6493","DOI":"10.1016\/j.eswa.2010.02.136","volume":"37","author":"JC Vidal","year":"2010","unstructured":"Vidal, J.C., Lama, M., Bugar\u00edn, A.: OPENET: ontology-based engine for high-level Petri nets. Expert Syst. Appl. 37(9), 6493\u20136509 (2010). https:\/\/doi.org\/10.1016\/j.eswa.2010.02.136","journal-title":"Expert Syst. Appl."},{"key":"2_CR27","unstructured":"Nagl, C., Rosenberg, F., Vitalab, D.: VIDRE-A Distributed Service-Oriented Business Rule Engine based on RuleML. http:\/\/www.vitalab.tuwien.ac"},{"key":"2_CR28","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"351","DOI":"10.1007\/978-3-319-91268-4_18","volume-title":"PETRI NETS 2018","author":"K Wolf","year":"2018","unstructured":"Wolf, K.: Petri net model checking with LoLA 2. In: Khomenko, V., Roux, O.H. (eds.) PETRI NETS 2018. LNCS, vol. 10877, pp. 351\u2013362. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-91268-4_18"},{"issue":"4","key":"2_CR29","doi-asserted-by":"publisher","first-page":"758","DOI":"10.1080\/10494820.2014.917111","volume":"24","author":"JF Calder\u00f3n","year":"2016","unstructured":"Calder\u00f3n, J.F., Nussbaum, M., Carmach, I., D\u00edaz, J.J., Villalta, M.: A single-display groupware collaborative language laboratory. Interact. Learn. Environ. 24(4), 758\u2013783 (2016). https:\/\/doi.org\/10.1080\/10494820.2014.917111","journal-title":"Interact. Learn. Environ."}],"container-title":["Lecture Notes in Computer Science","Social Computing and Social Media"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-031-35927-9_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,7,8]],"date-time":"2023-07-08T23:41:15Z","timestamp":1688859675000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-031-35927-9_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2023]]},"ISBN":["9783031359262","9783031359279"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/978-3-031-35927-9_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2023]]},"assertion":[{"value":"9 July 2023","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"HCII","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Human-Computer Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Copenhagen","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Denmark","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2023","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 July 2023","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 July 2023","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"hcii2023","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/2023.hci.international\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"CMS","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7472","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1578","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"396","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"21% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"No","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}