{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,23]],"date-time":"2026-04-23T10:29:35Z","timestamp":1776940175195,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":42,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642018619","type":"print"},{"value":"9783642018626","type":"electronic"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-01862-6_29","type":"book-chapter","created":{"date-parts":[[2009,4,29]],"date-time":"2009-04-29T08:42:09Z","timestamp":1240994529000},"page":"353-366","source":"Crossref","is-referenced-by-count":93,"title":["Declarative versus Imperative Process Modeling Languages: The Issue of Understandability"],"prefix":"10.1007","author":[{"given":"Dirk","family":"Fahland","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Daniel","family":"L\u00fcbke","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Mendling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hajo","family":"Reijers","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Barbara","family":"Weber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Matthias","family":"Weidlich","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stefan","family":"Zugal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","volume-title":"Lectures on Petri Nets I: Basic Models","year":"1998","unstructured":"Reisig, W., Rozenberg, G. (eds.): APN 1998. LNCS, vol.\u00a01491. Springer, Heidelberg (1998)"},{"key":"29_CR2","unstructured":"Recker, J., 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: Toleman, M., Cater-Steel, A., Roberts, D. (eds.) 18th Australasian Conference on Information Systems, pp. 356\u2013366 (2007)"},{"key":"29_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1007\/978-3-540-75183-0_4","volume-title":"Business Process Management","author":"J. Mendling","year":"2007","unstructured":"Mendling, J., Reijers, H., Cardoso, J.: What makes process models understandable? In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 48\u201363. Springer, Heidelberg (2007)"},{"issue":"1","key":"29_CR4","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0020-7373(84)80037-1","volume":"21","author":"D.J. Gilmore","year":"1984","unstructured":"Gilmore, D.J., Green, T.R.G.: Comprehension and recall of miniature programs. International Journal of Man-Machine Studies\u00a021(1), 31\u201348 (1984)","journal-title":"International Journal of Man-Machine Studies"},{"issue":"3","key":"29_CR5","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A. Nigam","year":"2004","unstructured":"Nigam, A., Caswell, N.: Business artifacts: An approach to operational specification. IBM Systems Journal\u00a042(3), 428\u2013445 (2004)","journal-title":"IBM Systems Journal"},{"key":"29_CR6","unstructured":"Owen, M., Raj, J.: BPMN and Business Process Management: Introduction to the New Business Process Modeling Standard. Technical report, Popkin (2003), \n                      \n                        http:\/\/whitepaper.techweb.com\/cmptechweb\/search\/viewabstract\/71"},{"key":"29_CR7","unstructured":"Smith, H., Fingar, P.: Business Process Management: The Third Wave (2003)"},{"key":"29_CR8","unstructured":"Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Control to Users. PhD thesis, Eindhoven University of Technology (2008)"},{"key":"29_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/BFb0013545","volume-title":"Processing Declarative Knowledge","author":"H. Boley","year":"1991","unstructured":"Boley, H.: Declarative and Procedural Paradigms - Do They Really Compete? In: Boley, H., Richter, M.M. (eds.) PDK 1991. LNCS, vol.\u00a0567, pp. 383\u2013385. Springer, Heidelberg (1991)"},{"key":"29_CR10","unstructured":"Korhonen, J.: Evolution of agile enterprise architecture (April 2006), \n                      \n                        http:\/\/blog.jannekorhonen.fi\/?p=11\n                      \n                      \n                     (retrieved February 10, 2009)"},{"key":"29_CR11","unstructured":"Goldberg, L.: Seven deadly sins of business rules (September 2007), \n                      \n                        http:\/\/www.bpminstitute.org\/articles\/article\/article\/seven-deadly-sins.html\n                      \n                      \n                     (retrieved February 10, 2009)"},{"key":"29_CR12","unstructured":"McGregor, M.: Procedure vs. process (January 2009), \n                      \n                        http:\/\/www.it-director.com\/blogs\/Mark_McGregor\/2009\/1\/procedure_vs_process.html\n                      \n                      \n                     (retrieved February 10, 2009)"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Vanderfeesten, I., Reijers, H., van der Aalst, W.: Evaluating workflow process designs using cohesion and coupling metrics. Comp. in Ind.\u00a059(5) (2008)","DOI":"10.1016\/j.compind.2007.12.007"},{"key":"29_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1007\/11538394_26","volume-title":"Business Process Management","author":"A. Guceglioglu","year":"2005","unstructured":"Guceglioglu, A., Demirors, O.: Using Software Quality Characteristics to Measure Business Process Quality. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol.\u00a03649, pp. 374\u2013379. Springer, Heidelberg (2005)"},{"issue":"1-3","key":"29_CR15","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0167-6423(91)90036-W","volume":"17","author":"M. Felleisen","year":"1991","unstructured":"Felleisen, M.: On the Expressive Power of Programming Languages. Science of Computer Programming\u00a017(1-3), 35\u201375 (1991)","journal-title":"Science of Computer Programming"},{"key":"29_CR16","doi-asserted-by":"crossref","unstructured":"Prechelt, L.: An Empirical Comparison of Seven Programming Languages. Computer, 23\u201329 (2000)","DOI":"10.1109\/2.876288"},{"issue":"3","key":"29_CR17","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1145\/362929.362947","volume":"11","author":"E. Dijkstra","year":"1968","unstructured":"Dijkstra, E.: Letters to the editor: go to statement considered harmful. Communications of the ACM\u00a011(3), 147\u2013148 (1968)","journal-title":"Communications of the ACM"},{"key":"29_CR18","first-page":"144","volume-title":"Visual Programming Systems","author":"E. Glinert","year":"1990","unstructured":"Glinert, E.: Nontextual programming environments. In: Visual Programming Systems, pp. 144\u2013230. Prentice-Hall, Englewood Cliffs (1990)"},{"issue":"3","key":"29_CR19","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1016\/S0953-5438(98)00029-0","volume":"11","author":"S. Wiedenbeck","year":"1999","unstructured":"Wiedenbeck, S., Ramalingam, V., Sarasamma, S., Corritore, C.: A comparison of the comprehension of object-oriented and procedural programs by novice programmers. Interacting with Computers\u00a011(3), 255\u2013282 (1999)","journal-title":"Interacting with Computers"},{"issue":"3","key":"29_CR20","doi-asserted-by":"publisher","first-page":"249","DOI":"10.3758\/BF03213171","volume":"4","author":"R. Meyer","year":"1976","unstructured":"Meyer, R.: Comprehension as affected by the structure of the problem representation. Memory & Cognition\u00a04(3), 249\u2013255 (1976)","journal-title":"Memory & Cognition"},{"issue":"3","key":"29_CR21","first-page":"219","volume":"8","author":"B. Shneiderman","year":"1979","unstructured":"Shneiderman, B., Mayer, R.: Syntactic\/semantic interactions in programmer behavior: A model and experimental results. International Journal of Parallel Programming\u00a08(3), 219\u2013238 (1979)","journal-title":"International Journal of Parallel Programming"},{"key":"29_CR22","volume-title":"The Psychology of Language: An Introduction to Psycholinguistics and Generative Grammar","author":"J. Fodor","year":"1974","unstructured":"Fodor, J., Bever, T., Garrett, M.: The Psychology of Language: An Introduction to Psycholinguistics and Generative Grammar. McGraw-Hill Companies, New York (1974)"},{"issue":"3","key":"29_CR23","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/0010-0285(81)90012-8","volume":"13","author":"K. McKeithen","year":"1981","unstructured":"McKeithen, K., Reitman, J., Rueter, H., Hirtle, S.: Knowledge organization and skill differences in computer programmers. Cogn. Psych.\u00a013(3), 307\u2013325 (1981)","journal-title":"Cogn. Psych."},{"issue":"4","key":"29_CR24","doi-asserted-by":"publisher","first-page":"422","DOI":"10.3758\/BF03197568","volume":"9","author":"B. Adelson","year":"1981","unstructured":"Adelson, B.: Problem solving and the development of abstract categories in programming languages. Memory & Cognition\u00a09(4), 422\u2013433 (1981)","journal-title":"Memory & Cognition"},{"key":"29_CR25","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1111\/j.2044-8325.1977.tb00363.x","volume":"50","author":"T. Green","year":"1977","unstructured":"Green, T.: Conditional program statements and their comprehensibility to professional programmers. Journal of Occupational Psychology\u00a050, 93\u2013109 (1977)","journal-title":"Journal of Occupational Psychology"},{"key":"29_CR26","doi-asserted-by":"crossref","unstructured":"Green, T.: Ifs and thens: Is nesting just for the birds? Software Focus 10(5) (1980)","DOI":"10.1002\/spe.4380100505"},{"issue":"1","key":"29_CR27","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/S0020-7373(84)80037-1","volume":"21","author":"D. Gilmore","year":"1984","unstructured":"Gilmore, D., Green, T.: Comprehension and recall of miniature programs. International Journal of Man-Machine Studies\u00a021(1), 31\u201348 (1984)","journal-title":"International Journal of Man-Machine Studies"},{"key":"29_CR28","unstructured":"Green, T.: Cognitive dimensions of notations. In: Sutcliffe, A., Macaulay, L. (eds.) People and Computers V, Proceedings, pp. 443\u2013460 (1989)"},{"issue":"2","key":"29_CR29","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1006\/jvlc.1996.0009","volume":"7","author":"T. Green","year":"1996","unstructured":"Green, T., Petre, M.: Usability Analysis of Visual Programming Environments: A Cognitive Dimensions Framework. J. Vis. Lang. Computing\u00a07(2), 131\u2013174 (1996)","journal-title":"J. Vis. Lang. Computing"},{"issue":"4","key":"29_CR30","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/j.jvlc.2006.04.001","volume":"17","author":"A. Blackwell","year":"2006","unstructured":"Blackwell, A.: Ten years of cognitive dimensions in visual languages and computing. J. Vis. Lang. Computing\u00a017(4), 285\u2013287 (2006)","journal-title":"J. Vis. Lang. Computing"},{"key":"29_CR31","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"480","DOI":"10.1007\/978-3-540-69534-9_36","volume-title":"Advanced Information Systems Engineering","author":"I. Vanderfeesten","year":"2008","unstructured":"Vanderfeesten, I., Reijers, H., Mendling, J., Aalst, W., Cardoso, J.: On a Quest for Good Process Models: The Cross-Connectivity Metric. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 480\u2013494. Springer, Heidelberg (2008)"},{"key":"29_CR32","unstructured":"Lloyd, J.: Practical advantages of declarative programming. In: Joint Conference on Declarative Programming, GULP-PRODE 1994 (1994)"},{"issue":"7","key":"29_CR33","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1145\/359131.359136","volume":"22","author":"R. Kowalski","year":"1979","unstructured":"Kowalski, R.: Algorithm = logic + control. Commun. ACM\u00a022(7), 424\u2013436 (1979)","journal-title":"Commun. ACM"},{"key":"29_CR34","volume-title":"Concepts, Techniques, and Models of Computer Programming","author":"P.V. Roy","year":"2004","unstructured":"Roy, P.V., Haridi, S.: Concepts, Techniques, and Models of Computer Programming. MIT Press, Cambridge (2004)"},{"key":"29_CR35","unstructured":"Petri, C.A.: Concepts of net theory. In: Mathematical Foundations of Computer Science: Proc. of Symposium and Summer School, High Tatras, September 3-8, pp. 137\u2013146. Math. Inst. of the Slovak Acad. of Sciences (1973)"},{"key":"29_CR36","unstructured":"Holt, A.W.: A Mathematical Model of Continuous Discrete Behavior. Massachusettes Computer Associates, Inc. (November 1980)"},{"key":"29_CR37","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"W.M.P. Aalst van der","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: Towards a truly declarative service flow language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol.\u00a04184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"issue":"2\/3","key":"29_CR38","doi-asserted-by":"publisher","first-page":"275","DOI":"10.1007\/BF00121128","volume":"1","author":"C. Courcoubetis","year":"1992","unstructured":"Courcoubetis, C., Vardi, M.Y., Wolper, P., Yannakakis, M.: Memory-efficient algorithms for the verification of temporal properties. Formal Methods in System Design\u00a01(2\/3), 275\u2013288 (1992)","journal-title":"Formal Methods in System Design"},{"key":"29_CR39","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-06289-0","volume-title":"Coloured Petri Nets","author":"K. Jensen","year":"1992","unstructured":"Jensen, K.: Coloured Petri Nets. Springer, Heidelberg (1992)"},{"issue":"1","key":"29_CR40","doi-asserted-by":"publisher","first-page":"45","DOI":"10.1023\/A:1011227529550","volume":"19","author":"W. Damm","year":"2001","unstructured":"Damm, W., Harel, D.: LSCs: Breathing life into message sequence charts. Form. Methods Syst. Des.\u00a019(1), 45\u201380 (2001)","journal-title":"Form. Methods Syst. Des."},{"issue":"5","key":"29_CR41","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"S. Sadiq","year":"2005","unstructured":"Sadiq, S., Sadiq, W., Orlowska, M.: A Framework for Constraint Specification and Validation in Flexible Workflows. Information Systems\u00a030(5), 349\u2013378 (2005)","journal-title":"Information Systems"},{"issue":"3","key":"29_CR42","doi-asserted-by":"publisher","first-page":"872","DOI":"10.1145\/177492.177726","volume":"16","author":"L. Lamport","year":"1994","unstructured":"Lamport, L.: The temporal logic of actions. ACM Trans. Program. Lang. Syst.\u00a016(3), 872\u2013923 (1994)","journal-title":"ACM Trans. Program. Lang. Syst."}],"container-title":["Lecture Notes in Business Information Processing","Enterprise, Business-Process and Information Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-01862-6_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T18:37:01Z","timestamp":1558377421000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-01862-6_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642018619","9783642018626"],"references-count":42,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-01862-6_29","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009]]}}}