{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,31]],"date-time":"2025-10-31T07:39:22Z","timestamp":1761896362799,"version":"3.40.3"},"publisher-location":"Cham","reference-count":25,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319428864"},{"type":"electronic","value":"9783319428871"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42887-1_35","type":"book-chapter","created":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T08:27:22Z","timestamp":1469089642000},"page":"432-443","source":"Crossref","is-referenced-by-count":9,"title":["Gamification of Declarative Process Models for Learning and Model Verification"],"prefix":"10.1007","author":[{"given":"Johannes","family":"De Smedt","sequence":"first","affiliation":[]},{"given":"Jochen","family":"De Weerdt","sequence":"additional","affiliation":[]},{"given":"Estefan\u00eda","family":"Serral","sequence":"additional","affiliation":[]},{"given":"Jan","family":"Vanthienen","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,22]]},"reference":[{"key":"35_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"169","DOI":"10.1007\/11837862_18","volume-title":"Business Process Management Workshops","author":"M Pesic","year":"2006","unstructured":"Pesic, M., van der Aalst, W.M.P.: A declarative approach for flexible business processes management. In: Eder, J., Dustdar, S. (eds.) BPM Workshops 2006. LNCS, vol. 4103, pp. 169\u2013180. Springer, Heidelberg (2006)"},{"issue":"2","key":"35_CR2","doi-asserted-by":"crossref","first-page":"161","DOI":"10.1080\/17517575.2013.830340","volume":"9","author":"S Goedertier","year":"2015","unstructured":"Goedertier, S., Vanthienen, J., Caron, F.: Declarative business process modelling: principles and modelling languages. Enterprise IS 9(2), 161\u2013185 (2015)","journal-title":"Enterprise IS"},{"key":"35_CR3","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"2","DOI":"10.1007\/978-3-642-38484-4_2","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"C Haisjackl","year":"2013","unstructured":"Haisjackl, C., Zugal, S., Soffer, P., Hadar, I., Reichert, M., Pinggera, J., Weber, B.: Making sense of declarative process models: common strategies and typical pitfalls. In: Nurcan, S., Proper, H.A., Soffer, P., Krogstie, J., Schmidt, R., Halpin, T., Bider, I. (eds.) BPMDS 2013 and EMMSAD 2013. LNBIP, vol. 147, pp. 2\u201317. Springer, Heidelberg (2013)"},{"key":"35_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"132","DOI":"10.1007\/978-3-642-23059-2_13","volume-title":"Business Process Management","author":"FM Maggi","year":"2011","unstructured":"Maggi, F.M., Montali, M., Westergaard, M., van der Aalst, W.M.P.: Monitoring business constraints with linear temporal logic: an approach based on colored automata. In: Rinderle-Ma, S., Toumani, F., Wolf, K. (eds.) BPM 2011. LNCS, vol. 6896, pp. 132\u2013147. Springer, Heidelberg (2011)"},{"key":"35_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"513","DOI":"10.1007\/3-540-45581-7_38","volume-title":"Conceptual Modeling - ER 2001","author":"SK Sadiq","year":"2001","unstructured":"Sadiq, S.K., Sadiq, W., Orlowska, M.E.: Pockets of flexibility in workflow specification. In: Kunii, H.S., Jajodia, S., S\u00f8lvberg, A. (eds.) ER 2001. LNCS, vol. 2224, pp. 513\u2013526. Springer, Heidelberg (2001)"},{"key":"35_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"291","DOI":"10.1007\/11914853_18","volume-title":"On the Move to Meaningful Internet Systems 2006: CoopIS, DOA, GADA, and ODBASE","author":"M Adams","year":"2006","unstructured":"Adams, M., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Worklets: a service-oriented implementation of dynamic flexibility in workflows. In: Meersman, R., Tari, Z. (eds.) OTM 2006. LNCS, vol. 4275, pp. 291\u2013308. Springer, Heidelberg (2006)"},{"key":"35_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-19589-1_1","volume-title":"Web Services and Formal Methods","author":"R Hull","year":"2011","unstructured":"Hull, R., et al.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles (invited talk). In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol. 6551, pp. 1\u201324. Springer, Heidelberg (2011)"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.: Declare: full support for loosely-structured processes. In: 11th IEEE International Enterprise Distributed Object Computing Conference, EDOC 2007, pp. 287\u2013287. IEEE (2007)","DOI":"10.1109\/EDOC.2007.14"},{"key":"35_CR9","unstructured":"van der Aalst, W.M.P., Pesic, M.: Decserflow: Towards a truly declarative service flow language. In: The Role of Business Processes in Service Oriented Architectures, 16.07.2006\u201321.07.2006 (2006)"},{"key":"35_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"248","DOI":"10.1007\/10722167_21","volume-title":"Computer Aided Verification","author":"F Somenzi","year":"2000","unstructured":"Somenzi, F., Bloem, R.: Efficient B\u00fcchi automata from LTL formulae. In: Emerson, E.A., Sistla, A.P. (eds.) CAV 2000. LNCS, vol. 1855, pp. 248\u2013263. Springer, Heidelberg (2000)"},{"key":"35_CR11","unstructured":"Westergaard, M., Maggi, F.M.: Declare: a tool suite for declarative workflow modeling and enactment. BPM (Demos) 820 (2011)"},{"key":"35_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"307","DOI":"10.1007\/978-3-642-40176-3_26","volume-title":"Business Process Management","author":"HA Reijers","year":"2013","unstructured":"Reijers, H.A., Slaats, T., Stahl, C.: Declarative modeling\u2013an academic dream or the future for BPM? In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 307\u2013322. Springer, Heidelberg (2013)"},{"key":"35_CR13","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/978-3-642-01862-6_29","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"D Fahland","year":"2009","unstructured":"Fahland, D., L\u00fcbke, D., Mendling, J., Reijers, H., Weber, B., Weidlich, M., Zugal, S.: Declarative versus imperative process modeling languages: the issue of understandability. In: Halpin, T., Krogstie, J., Nurcan, S., Proper, E., Schmidt, R., Soffer, P., Ukor, R. (eds.) EMMSAD 2009. LNBIP, vol. 29, pp. 353\u2013366. Springer, Heidelberg (2009)"},{"key":"35_CR14","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"16","DOI":"10.1007\/978-3-642-29749-6_2","volume-title":"IS Olympics: Information Systems in a Diverse World","author":"S Zugal","year":"2012","unstructured":"Zugal, S., Pinggera, J., Weber, B.: Creating declarative process models using test driven modeling suite. In: Nurcan, S. (ed.) CAiSE Forum 2011. LNBIP, vol. 107, pp. 16\u201332. Springer, Heidelberg (2012)"},{"key":"35_CR15","doi-asserted-by":"crossref","unstructured":"Deterding, S., Dixon, D., Khaled, R., Nacke, L.: From game design elements to gamefulness: defining gamification. In: Proceedings of the 15th International Academic MindTrek Conference: Envisioning Future Media Environments, pp. 9\u201315. ACM (2011)","DOI":"10.1145\/2181037.2181040"},{"key":"35_CR16","doi-asserted-by":"crossref","unstructured":"Hamari, J., Koivisto, J., Sarsa, H.: Does gamification work? - A literature review of empirical studies on gamification. In: 47th Hawaii International Conference on System Sciences (HICSS), 2014, pp. 3025\u20133034. IEEE (2014)","DOI":"10.1109\/HICSS.2014.377"},{"issue":"3","key":"35_CR17","doi-asserted-by":"crossref","first-page":"145","DOI":"10.1080\/14626260802312673","volume":"19","author":"S Selander","year":"2008","unstructured":"Selander, S.: Designs for learning and ludic engagement. Digital Creativity 19(3), 145\u2013152 (2008)","journal-title":"Digital Creativity"},{"key":"35_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"3","DOI":"10.1007\/978-3-540-28643-1_1","volume-title":"Entertainment Computing \u2013 ICEC 2004","author":"CA Lindley","year":"2004","unstructured":"Lindley, C.A.: Ludic engagement and immersion as a generic paradigm for human-computer interaction design. In: Rauterberg, M. (ed.) ICEC 2004. LNCS, vol. 3166, pp. 3\u201313. Springer, Heidelberg (2004)"},{"key":"35_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"39","DOI":"10.1007\/978-3-662-44753-6","volume-title":"On the Move to Meaningful Internet Systems: OTM 2014 Conferences","author":"R Brown","year":"2014","unstructured":"Brown, R., Rinderle-Ma, S., Kriglstein, S., Kabicher-Fuchs, S.: Augmenting and assisting model elicitation tasks with 3D virtual world context metadata. In: Meersman, R., Panetto, H., Dillon, T., Missikoff, M., Liu, L., Pastor, O., Cuzzocrea, A., Sellis, T. (eds.) OTM 2014. LNCS, vol. 8841, pp. 39\u201356. Springer, Heidelberg (2014)"},{"key":"35_CR20","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"crossref","first-page":"98","DOI":"10.1007\/978-3-642-33155-8_8","volume-title":"Business Process Model and Notation","author":"T Allweyer","year":"2012","unstructured":"Allweyer, T., Schweitzer, S.: A Tool for animating BPMN token flow. In: Mendling, J., Weidlich, M. (eds.) BPMN 2012. LNBIP, vol. 125, pp. 98\u2013106. Springer, Heidelberg (2012)"},{"key":"35_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1007\/11767589_26","volume-title":"Petri Nets and Other Models of Concurrency - ICATPN 2006","author":"M Westergaard","year":"2006","unstructured":"Westergaard, M., Lassen, K.B.: The BRITNeY suite animation tool. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 431\u2013440. Springer, Heidelberg (2006)"},{"key":"35_CR22","unstructured":"Westergaard, M., Stahl, C., Reijers, H.A.: UnconstrainedMiner: efficient discovery of generalized declarative process models. Technical Report BPM-13-28, BPMcenter (2013)"},{"issue":"5","key":"35_CR23","doi-asserted-by":"crossref","first-page":"394","DOI":"10.1007\/s00287-008-0275-8","volume":"31","author":"O Pastor","year":"2008","unstructured":"Pastor, O., Espa\u00f1a, S., Panach, J.I., Aquino, N.: Model-driven development. Informatik-Spektrum 31(5), 394\u2013407 (2008)","journal-title":"Informatik-Spektrum"},{"key":"35_CR24","doi-asserted-by":"crossref","unstructured":"Maggi, F.M., Mooij, A.J., van der Aalst, W.M.: User-guided discovery of declarative process models. In: IEEE Symposium on Computational Intelligence and Data Mining (CIDM), 2011, pp. 192\u2013199. IEEE (2011)","DOI":"10.1109\/CIDM.2011.5949297"},{"key":"35_CR25","unstructured":"M\u00f8ller, A.: dk.brics.automaton - Finite-state automata and regular expressions for Java (2010)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42887-1_35","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T14:55:00Z","timestamp":1498316100000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42887-1_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319428864","9783319428871"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42887-1_35","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2016]]}}}