{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:03:51Z","timestamp":1774915431353,"version":"3.50.1"},"reference-count":68,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2014,9,28]],"date-time":"2014-09-28T00:00:00Z","timestamp":1411862400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/creativecommons.org\/licenses\/by\/4.0"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2016,5]]},"DOI":"10.1007\/s10270-014-0435-z","type":"journal-article","created":{"date-parts":[[2014,9,27]],"date-time":"2014-09-27T03:49:55Z","timestamp":1411789795000},"page":"325-352","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":55,"title":["Understanding Declare models: strategies, pitfalls, empirical results"],"prefix":"10.1007","volume":"15","author":[{"given":"Cornelia","family":"Haisjackl","sequence":"first","affiliation":[]},{"given":"Irene","family":"Barba","sequence":"additional","affiliation":[]},{"given":"Stefan","family":"Zugal","sequence":"additional","affiliation":[]},{"given":"Pnina","family":"Soffer","sequence":"additional","affiliation":[]},{"given":"Irit","family":"Hadar","sequence":"additional","affiliation":[]},{"given":"Manfred","family":"Reichert","sequence":"additional","affiliation":[]},{"given":"Jakob","family":"Pinggera","sequence":"additional","affiliation":[]},{"given":"Barbara","family":"Weber","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,9,28]]},"reference":[{"key":"435_CR1","doi-asserted-by":"crossref","unstructured":"Aalst, W., Pesic, M.: Decserflow: towards a truly declarative service flow language. In Proceedings of WS-FM\u201906, pp. 1\u201323 (2006)","DOI":"10.1007\/11841197_1"},{"key":"435_CR2","doi-asserted-by":"crossref","unstructured":"Aranda, J., Ernst, N., Horkoff, J., Easterbrook, S.: A framework for empirical evaluation of model comprehensibility. In: Proceedings of MISE\u201907, pp. 7\u201312 (2007)","DOI":"10.1109\/MISE.2007.2"},{"issue":"3","key":"435_CR3","doi-asserted-by":"crossref","first-page":"453","DOI":"10.2307\/25148803","volume":"31","author":"DJ Armstrong","year":"2007","unstructured":"Armstrong, D.J., Hardgrave, B.C.: Understanding mindshift learning: the transition to object-oriented development. MIS Q. 31(3), 453\u2013474 (2007)","journal-title":"MIS Q."},{"issue":"1","key":"435_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1146\/annurev-psych-120710-100422","volume":"63","author":"A Baddeley","year":"2012","unstructured":"Baddeley, A.: Working memory: theories, models, and controversies. Annu. Rev. Psychol. 63(1), 1\u201329 (2012)","journal-title":"Annu. Rev. Psychol."},{"key":"435_CR5","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1016\/j.datak.2013.01.004","volume":"86","author":"I Barba","year":"2013","unstructured":"Barba, I., Weber, B., Valle, C.D., Ram\u00edrez, A.J.: User recommendations for the optimized execution of business processes. Data Knowl. Eng. 86, 61\u201384 (2013)","journal-title":"Data Knowl. Eng."},{"key":"435_CR6","volume-title":"Case Study Research in Educational Settings. Doing Qualitative Research in Educational Settings","author":"M Bassey","year":"1999","unstructured":"Bassey, M.: Case Study Research in Educational Settings. Doing Qualitative Research in Educational Settings. Open University Press, New York (1999)"},{"key":"435_CR7","doi-asserted-by":"crossref","unstructured":"Becker, J., Rosemann, M., Uthmann, C.: Guidelines of business process modeling. In: Business Process Management, Models, Techniques, and Empirical Studies, pp. 30\u201349, London, UK. Springer (2000)","DOI":"10.1007\/3-540-45594-9_3"},{"issue":"4","key":"435_CR8","doi-asserted-by":"crossref","first-page":"384","DOI":"10.1287\/isre.12.4.384.9702","volume":"12","author":"F Bodart","year":"2001","unstructured":"Bodart, F., Patel, A., Sim, M., Weber, R.: Should optional properties be used in conceptual modelling? A theory and three empirical tests. Inf. Syst. Res. 12(4), 384\u2013405 (2001)","journal-title":"Inf. Syst. Res."},{"issue":"2","key":"435_CR9","doi-asserted-by":"crossref","first-page":"115","DOI":"10.1023\/A:1015297914742","volume":"7","author":"J-M Burkhardt","year":"2002","unstructured":"Burkhardt, J.-M., D\u00e9tienne, F., Wiedenbeck, S.: Object-oriented program comprehension: effect of expertise, task and phase. Empir. Softw. Eng. 7(2), 115\u2013156 (2002)","journal-title":"Empir. Softw. Eng."},{"issue":"1","key":"435_CR10","doi-asserted-by":"crossref","first-page":"38","DOI":"10.1287\/isre.1050.0079","volume":"17","author":"A Burton-Jones","year":"2006","unstructured":"Burton-Jones, A., Meso, P.N.: Conceptualizing systems for understanding: an empirical test of decomposition principles in object-oriented analysis. Inf. Syst. Res. 17(1), 38\u201360 (2006)","journal-title":"Inf. Syst. Res."},{"key":"435_CR11","doi-asserted-by":"crossref","unstructured":"Claes, J., Vanderfeesten, I., Pinggera, J., Reijers, H., Weber, B., Poels, G.: Visualizing the process of process modeling with PPMCharts. In: Proceedings of TAProViz \u201912, pp. 744\u2013755 (2013)","DOI":"10.1007\/978-3-642-36285-9_75"},{"key":"435_CR12","doi-asserted-by":"crossref","unstructured":"Claes, J., Vanderfeesten, I., Reijers, H., Pinggera, J., Weidlich, M., Zugal, S., Fahland, D., Weber, B., Mendling, J., Poels, G.: Tying process model quality to the modeling process: the impact of structuring, movement, and speed. In: Proceedings of BPM\u201912, pp. 33\u201348 (2012)","DOI":"10.1007\/978-3-642-32885-5_3"},{"key":"435_CR13","volume-title":"Basics of Qualitative Research: Techniques and Procedures for Developing Grounded Theory","author":"J Corbin","year":"2007","unstructured":"Corbin, J., Strauss, A.: Basics of Qualitative Research: Techniques and Procedures for Developing Grounded Theory. Sage, London (2007)"},{"key":"435_CR14","unstructured":"Costain, G.F.: Cognitive support during object-oriented software development: the case of UML diagrams. Ph.D. thesis, University of Auckland (2007)"},{"issue":"1","key":"435_CR15","doi-asserted-by":"crossref","first-page":"87","DOI":"10.1017\/S0140525X01003922","volume":"24","author":"N Cowan","year":"2001","unstructured":"Cowan, N.: The magical number 4 in short-term memory: a reconsideration of mental storage capacity. Behav. Brain Sci. 24(1), 87\u2013185 (2001)","journal-title":"Behav. Brain Sci."},{"key":"435_CR16","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5657.001.0001","volume-title":"Protocol Analysis: Verbal Reports as Data","author":"KA Ericsson","year":"1993","unstructured":"Ericsson, K.A., Simon, H.A.: Protocol Analysis: Verbal Reports as Data. MIT Press, Cambridge (1993)"},{"key":"435_CR17","doi-asserted-by":"crossref","unstructured":"Fahland, D., Mendling, J., Reijers, H.A., Weber, B., Weidlich, M., Zugal, S.: Declarative versus imperative process modeling languages: the issue of understandability. In: Proceedings of EMMSAD\u201909, pp. 353\u2013366 (2009)","DOI":"10.1007\/978-3-642-01862-6_29"},{"issue":"4","key":"435_CR18","doi-asserted-by":"crossref","first-page":"485","DOI":"10.1142\/S0218843006001463","volume":"15","author":"H Ferreira","year":"2006","unstructured":"Ferreira, H., Ferreira, D.: An integrated life cycle for workflow management based on learning and planning. Int. J. Coop. Inf. Syst. 15(4), 485\u2013505 (2006)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"435_CR19","doi-asserted-by":"crossref","unstructured":"Goldberg, J.H., Stimson, M.J., Lewenstein, M., Scott, N., Wichansky, A.M.: Eye Tracking in web search tasks: design implications. In: Proceedings of ETRA\u201902, pp. 51\u201358 (2002)","DOI":"10.1145\/507072.507082"},{"issue":"2","key":"435_CR20","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1006\/jvlc.1996.0009","volume":"7","author":"TR Green","year":"1996","unstructured":"Green, T.R., Petre, M.: Usability analysis of visual programming environments: a \u2018cognitive dimensions\u2019 framework. J. Vis. Lang. Comput. 7(2), 131\u2013174 (1996)","journal-title":"J. Vis. Lang. Comput."},{"key":"435_CR21","unstructured":"Haisjackl, C.: Test driven modeling meets declarative process modeling: a case study. Master\u2019s thesis, University of Innsbruck, Aug 2012"},{"key":"435_CR22","doi-asserted-by":"crossref","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: Proceedings of BPMDS\u201913, pp. 2\u201317 (2013)","DOI":"10.1007\/978-3-642-38484-4_2"},{"issue":"1","key":"435_CR23","doi-asserted-by":"crossref","first-page":"119","DOI":"10.1111\/j.1469-8986.2007.00605.x","volume":"45","author":"RP Heitz","year":"2008","unstructured":"Heitz, R.P., Schrock, J.C., Payne, T.W., Engle, R.W.: Effects of incentive on working memory capacity: behavioral and pupillometric data. Psychophysiology 45(1), 119\u2013129 (2008)","journal-title":"Psychophysiology"},{"key":"435_CR24","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T., Mukkamala, R., Slaats T.: Nested dynamic condition response graphs. In: Proceedings of FSEN\u201911, pp. 343\u2013350 (2012)","DOI":"10.1007\/978-3-642-29320-7_23"},{"key":"435_CR25","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T., Mukkamala, R.R., Slaats, T.: Designing a cross-organizational case management system using dynamic condition response graphs. In: Proceedings of EDOC\u201911, pp. 161\u2013170 (2011)","DOI":"10.1109\/EDOC.2011.35"},{"issue":"2","key":"435_CR26","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1109\/TSE.2004.1265814","volume":"30","author":"BC Hungerford","year":"2004","unstructured":"Hungerford, B.C., Hevner, A.R., Collins, R.W.: Reviewing software diagrams: a cognitive study. IEEE Trans. Software Eng. 30(2), 82\u201396 (2004)","journal-title":"IEEE Trans. Software Eng."},{"key":"435_CR27","doi-asserted-by":"crossref","unstructured":"Jim\u00e9nez-Ram\u00edrez, A., Barba, I., Del Valle, C., Weber, B.: Generating multi-objective optimized business process enactment plans. In: Proceedings of CAiSE\u201913, pp. 99\u2013115 (2013)","DOI":"10.1007\/978-3-642-38709-8_7"},{"key":"435_CR28","first-page":"449","volume":"8","author":"D Kahneman","year":"2002","unstructured":"Kahneman, D.: Maps of bounded rationality: a perspective on intuitive judgment and choice. Nobel Prize Lect. 8, 449\u2013489 (2002)","journal-title":"Nobel Prize Lect."},{"issue":"1","key":"435_CR29","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1287\/isre.1060.0081","volume":"17","author":"V Khatri","year":"2006","unstructured":"Khatri, V., Vessey, I., Ramesh, P.C.V., Park, S.-J.: Understanding conceptual schemas: exploring the role of application and IS domain knowledge. Inf. Syst. Res. 17(1), 81\u201399 (2006)","journal-title":"Inf. Syst. Res."},{"issue":"3","key":"435_CR30","doi-asserted-by":"crossref","first-page":"284","DOI":"10.1287\/isre.11.3.284.12206","volume":"11","author":"J Kim","year":"2000","unstructured":"Kim, J., Hahn, J., Hahn, H.: How do we understand a system with (so) many diagrams? Cognitive integration processes in diagrammatic reasoning. Inf. Syst. Res. 11(3), 284\u2013303 (2000)","journal-title":"Inf. Syst. Res."},{"issue":"6","key":"435_CR31","doi-asserted-by":"crossref","first-page":"103","DOI":"10.1145\/203241.203265","volume":"38","author":"Y-G Kim","year":"1995","unstructured":"Kim, Y.-G., March, S.T.: Comparing data modeling formalisms. Commun. ACM 38(6), 103\u2013115 (1995)","journal-title":"Commun. ACM"},{"key":"435_CR32","doi-asserted-by":"crossref","unstructured":"Lamma, E., Mello, P., Montali, M., Riguzzi, F., Storari, S.: Inducing declarative logic-based models from labeled traces. In: Proceedings of BPM\u201907, pp. 344\u2013359 (2007)","DOI":"10.1007\/978-3-540-75183-0_25"},{"issue":"2","key":"435_CR33","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1037\/0022-0663.93.2.390","volume":"93","author":"R Mayer","year":"2001","unstructured":"Mayer, R., Chandler, P.: When learning is just a click away: does simple user interaction foster deeper understanding of multimedia messages. J. Educ. Psychol. 93(2), 390\u2013397 (2001)","journal-title":"J. Educ. Psychol."},{"issue":"2","key":"435_CR34","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/j.infsof.2009.08.004","volume":"52","author":"J Mendling","year":"2010","unstructured":"Mendling, J., Reijers, H.A., van der Aalst, W.M.P.: Seven process modeling guidelines (7pmg). Inf. Softw. Technol. 52(2), 127\u2013136 (2010)","journal-title":"Inf. Softw. Technol."},{"issue":"1","key":"435_CR35","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1016\/j.dss.2011.12.013","volume":"53","author":"J Mendling","year":"2012","unstructured":"Mendling, J., Strembeck, M., Recker, J.: Factors of process model comprehension\u2014findings from a series of experiments. Decis. Support Syst. 53(1), 195\u2013206 (2012)","journal-title":"Decis. Support Syst."},{"issue":"1","key":"435_CR36","doi-asserted-by":"crossref","first-page":"312","DOI":"10.1016\/j.datak.2007.06.019","volume":"64","author":"J Mendling","year":"2008","unstructured":"Mendling, J., Verbeek, H., van Dongen, B., van der Aalst, W., Neumann, G.: Detection and prediction of errors in EPCS of the sap reference model. Data Knowl. Eng. 64(1), 312\u2013329 (2008)","journal-title":"Data Knowl. Eng."},{"issue":"2","key":"435_CR37","doi-asserted-by":"crossref","first-page":"81","DOI":"10.1037\/h0043158","volume":"63","author":"G Miller","year":"1956","unstructured":"Miller, G.: The magical number seven, plus or minus two: some limits on our capacity for processing information. Psychol. Rev. 63(2), 81\u201397 (1956)","journal-title":"Psychol. Rev."},{"key":"435_CR38","doi-asserted-by":"crossref","unstructured":"Montali, M.: Specification and verification of declarative open interaction models: a logic-based approach. Ph.D. thesis, Department of Electronics, Computer Science and Telecommunications Engineering, University of Bologna (2009)","DOI":"10.1007\/978-3-642-14538-4"},{"issue":"1","key":"435_CR39","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1658373.1658376","volume":"4","author":"M Montali","year":"2010","unstructured":"Montali, M., Pesic, M., van der Aalst, W., Chesani, F., Mello, P., Storari, S.: Declarative specification and verification of service choreographies. ACM Trans. Web 4(1), 1\u201362 (2010)","journal-title":"ACM Trans. Web"},{"key":"435_CR40","doi-asserted-by":"crossref","unstructured":"Moody, D.L.: Cognitive load effects on end user understanding of conceptual models: an experimental analysis. In: Proceedings of ADBIS\u201904, pp. 129\u2013143 (2004)","DOI":"10.1007\/978-3-540-30204-9_9"},{"key":"435_CR41","unstructured":"Mukkamala, R.R.: A formal model for declarative workflows-dynamic condition response graphs. Ph.D. thesis, IT University of Copenhagen (2012)"},{"issue":"3\/4","key":"435_CR42","doi-asserted-by":"crossref","first-page":"127","DOI":"10.1016\/S0306-4379(98)00005-2","volume":"23","author":"J Mylopoulos","year":"1998","unstructured":"Mylopoulos, J.: Information modeling in the time of the revolution. Inf. Syst. 23(3\/4), 127\u2013155 (1998)","journal-title":"Inf. Syst."},{"issue":"3","key":"435_CR43","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1006\/ijhc.1994.1065","volume":"41","author":"J Nielsen","year":"1994","unstructured":"Nielsen, J.: Estimating the number of subjects needed for a thinking aloud test. Int. J. Hum.\u2013Comput. Stud. 41(3), 385\u2013397 (1994)","journal-title":"Int. J. Hum.\u2013Comput. Stud."},{"issue":"1","key":"435_CR44","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1207\/S15326985EP3801_1","volume":"38","author":"F Paas","year":"2003","unstructured":"Paas, F., Renkl, A., Sweller, J.: Cognitive load theory and instructional design: recent developments. Educ. Psychol. 38(1), 1\u20134 (2003)","journal-title":"Educ. Psychol."},{"issue":"4","key":"435_CR45","doi-asserted-by":"crossref","first-page":"883","DOI":"10.2307\/41409965","volume":"35","author":"B Palash","year":"2011","unstructured":"Palash, B., Burton-Jones, A., Wand, Y.: Guidelines for designing visual ontologies to support knowledge identification. MIS Q. 35(4), 883\u2013908 (2011)","journal-title":"MIS Q."},{"issue":"12","key":"435_CR46","doi-asserted-by":"crossref","first-page":"1053","DOI":"10.1145\/361598.361623","volume":"15","author":"DL Parnas","year":"1972","unstructured":"Parnas, D.L.: On the criteria to be used in decomposing systems into modules. Commun. ACM 15(12), 1053\u20131058 (1972)","journal-title":"Commun. ACM"},{"key":"435_CR47","unstructured":"Pesic, M.: Constraint-based workflow management systems: shifting control to users. Ph.D. thesis, TU Eindhoven (2008)"},{"key":"435_CR48","doi-asserted-by":"crossref","unstructured":"Pinggera, J., Furtner, M., Martini, M., Sachse, P., Reiter, K., Zugal, S., Weber, B.: Investigating the process of process modeling with eye movement analysis. In: Proceedings of ER-BPM\u201912, pp. 438\u2013450 (2013)","DOI":"10.1007\/978-3-642-36285-9_46"},{"key":"435_CR49","doi-asserted-by":"crossref","unstructured":"Pinggera, J., Soffer, P., Fahland, D., Weidlich, M., Zugal, S., Weber, B., Reijers, H., Mendling, J.: Styles in business process modeling: an exploration and a model. Softw. Syst. Model. (2013). doi: 10.1007\/s10270-013-0349-1","DOI":"10.1007\/s10270-013-0349-1"},{"key":"435_CR50","doi-asserted-by":"crossref","unstructured":"Pinggera, J., Zugal, S., Weidlich, M., Fahland, D., Weber, B., Mendling, J., Reijers, H.: Tracing the process of process modeling with modeling phase diagrams. In: Proceedings of ER-BPM\u201911, pp. 370\u2013382 (2012)","DOI":"10.1007\/978-3-642-28108-2_36"},{"key":"435_CR51","unstructured":"Recker, J.C., Dreiling, A.: Does it matter which process modelling language we teach or use? An experimental study on understanding process modelling languages without formal education. In: Proceedings of ACIS\u201907, pp. 356\u2013366 (2007)"},{"key":"435_CR52","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-30409-5","volume-title":"Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies","author":"M Reichert","year":"2012","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems: Challenges, Methods, Technologies. Springer, Berlin (2012)"},{"issue":"5","key":"435_CR53","doi-asserted-by":"crossref","first-page":"881","DOI":"10.1016\/j.is.2011.03.003","volume":"36","author":"H Reijers","year":"2011","unstructured":"Reijers, H., Mendling, J., Dijkman, R.: Human and automatic modularizations of process models to enhance their comprehension. Inf. Syst. 36(5), 881\u2013897 (2011)","journal-title":"Inf. Syst."},{"issue":"3","key":"435_CR54","doi-asserted-by":"crossref","first-page":"449","DOI":"10.1109\/TSMCA.2010.2087017","volume":"41","author":"HA Reijers","year":"2011","unstructured":"Reijers, H.A., Mendling, J.: A study into the factors that influence the understandability of business process models. IEEE Trans. Syst. Man Cybern. A 41(3), 449\u2013462 (2011)","journal-title":"IEEE Trans. Syst. Man Cybern. A"},{"key":"435_CR55","doi-asserted-by":"crossref","unstructured":"Reijers, H.A., Slaats, T., Stahl, C.: Declarative modeling\u2014an academic dream or the future for BPM? In: Proceedings of BPM\u201913, pp. 307\u2013322 (2013)","DOI":"10.1007\/978-3-642-40176-3_26"},{"issue":"2","key":"435_CR56","doi-asserted-by":"crossref","first-page":"185","DOI":"10.1006\/ijhc.1996.0048","volume":"45","author":"M Scaife","year":"1996","unstructured":"Scaife, M., Rogers, Y.: External cognition: how do graphical representations work? Int. J. Hum.\u2013Comput. Stud. 45(2), 185\u2013213 (1996)","journal-title":"Int. J. Hum.\u2013Comput. Stud."},{"key":"435_CR57","doi-asserted-by":"crossref","unstructured":"Schonenberg, H., Weber, B., van Dongen, B., van der Aalst, W.M.P.: Supporting flexible processes through recommendations based on history. In: Proceedings of BPM\u201908, pp. 51\u201366 (2008)","DOI":"10.1007\/978-3-540-85758-7_7"},{"key":"435_CR58","doi-asserted-by":"crossref","unstructured":"Shehnaaz, Y., Kagdi, H., Maletic, J.: Assessing the comprehension of UML class diagrams via eye tracking. In: Proceedings of ICPC\u201907, pp. 113\u2013122 (2007)","DOI":"10.1109\/ICPC.2007.10"},{"key":"435_CR59","volume-title":"Basics of Qualitative Research: Techniques and Procedures for Developing Grounded Theory","author":"A Strauss","year":"1998","unstructured":"Strauss, A., Corbin, J.: Basics of Qualitative Research: Techniques and Procedures for Developing Grounded Theory. Sage, London (1998)"},{"issue":"2","key":"435_CR60","doi-asserted-by":"crossref","first-page":"257","DOI":"10.1207\/s15516709cog1202_4","volume":"12","author":"J Sweller","year":"1988","unstructured":"Sweller, J.: Cognitive load during problem solving: effects on learning. Cogn. Sci. 12(2), 257\u2013285 (1988)","journal-title":"Cogn. Sci."},{"issue":"1","key":"435_CR61","doi-asserted-by":"crossref","first-page":"104","DOI":"10.1037\/0033-295X.114.1.104","volume":"114","author":"N Unsworth","year":"2007","unstructured":"Unsworth, N., Engle, R.W.: The nature of individual differences in working memory capacity: active maintenance in primary memory and controlled search from secondary memory. Psychol. Rev. 114(1), 104\u2013132 (2007)","journal-title":"Psychol. Rev."},{"key":"435_CR62","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., de Beer, H.T., van Dongen, B.: Process mining and verification of properties: an approach based on temporal logic. In: Proceedings of OTM\u201905, pp. 130\u2013147 (2005)","DOI":"10.1007\/11575771_11"},{"issue":"2","key":"435_CR63","doi-asserted-by":"crossref","first-page":"23","DOI":"10.4018\/jismd.2013040102","volume":"4","author":"S Zugal","year":"2013","unstructured":"Zugal, S., Haisjackl, C., Pinggera, J., Weber, B.: Empirical evaluation of test driven modeling. Int. J. Inf. Syst. Model. Des. 4(2), 23\u201343 (2013)","journal-title":"Int. J. Inf. Syst. Model. Des."},{"key":"435_CR64","doi-asserted-by":"crossref","unstructured":"Zugal, S., Pinggera, J., Mendling, J., Reijers, H., Weber, B.: Assessing the impact of hierarchy on model understandability\u2014a cognitive perspective. In: Proceedings of EESSMod\u201911, pp. 123\u2013133 (2011)","DOI":"10.1007\/978-3-642-29645-1_14"},{"key":"435_CR65","doi-asserted-by":"crossref","unstructured":"Zugal, S., Pinggera, J., Reijers, H., Reichert, M., Weber, B.: Making the case for measuring mental effort. In: Proceedings of EESSMod\u201912, pp. 37\u201342 (2012)","DOI":"10.1145\/2424563.2424571"},{"key":"435_CR66","unstructured":"Zugal, S., Pinggera, J., Weber B.: Assessing process models with cognitive psychology. In: Proceedings of EMISA\u201911, pp. 177\u2013182 (2011)"},{"key":"435_CR67","doi-asserted-by":"crossref","unstructured":"Zugal, S., Pinggera, J., Weber, B.: Toward enhanced life-cycle support for declarative processes. J. Softw. Evol. Process 24(3), 285\u2013302 (2012)","DOI":"10.1002\/smr.554"},{"key":"435_CR68","unstructured":"Zugal, S., Soffer, P., Haisjackl, C., Pinggera, J., Reichert, M., Weber, B.: Investigating expressiveness and understandability of hierarchy in declarative business process models. Softw. Syst. Model. (2013). doi: 10.1007\/10270-013-0356-2"}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0435-z.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-014-0435-z\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-014-0435-z","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T21:52:16Z","timestamp":1746395536000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-014-0435-z"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,28]]},"references-count":68,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2016,5]]}},"alternative-id":["435"],"URL":"https:\/\/doi.org\/10.1007\/s10270-014-0435-z","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014,9,28]]}}}