{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,21]],"date-time":"2026-04-21T23:13:49Z","timestamp":1776813229794,"version":"3.51.2"},"reference-count":87,"publisher":"Springer Science and Business Media LLC","issue":"6","license":[{"start":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T00:00:00Z","timestamp":1550793600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by\/4.0"}],"funder":[{"DOI":"10.13039\/501100004955","name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","doi-asserted-by":"publisher","award":["843461"],"award-info":[{"award-number":["843461"]}],"id":[{"id":"10.13039\/501100004955","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004955","name":"\u00d6sterreichische Forschungsf\u00f6rderungsgesellschaft","doi-asserted-by":"publisher","award":["864707"],"award-info":[{"award-number":["864707"]}],"id":[{"id":"10.13039\/501100004955","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100002428","name":"Austrian Science Fund","doi-asserted-by":"publisher","award":["I 2885-N33"],"award-info":[{"award-number":["I 2885-N33"]}],"id":[{"id":"10.13039\/501100002428","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2019,12]]},"DOI":"10.1007\/s10270-019-00721-4","type":"journal-article","created":{"date-parts":[[2019,2,22]],"date-time":"2019-02-22T02:40:30Z","timestamp":1550803230000},"page":"3331-3371","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Modeling compliance specifications in linear temporal logic, event processing language and property specification patterns: a controlled experiment on understandability"],"prefix":"10.1007","volume":"18","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-0043-5541","authenticated-orcid":false,"given":"Christoph","family":"Czepa","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Amirali","family":"Amiri","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Evangelos","family":"Ntentos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Uwe","family":"Zdun","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,2,22]]},"reference":[{"issue":"2","key":"721_CR1","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"WMP Aalst van der","year":"2009","unstructured":"van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Comput. Sci. 23(2), 99\u2013113 (2009). https:\/\/doi.org\/10.1007\/s00450-009-0057-9","journal-title":"Comput. Sci."},{"key":"721_CR2","doi-asserted-by":"publisher","unstructured":"Awad, A., Barnawi, A., Elgammal, A., Elshawi, R., Almalaise, A., Sakr, S.: Runtime detection of business process compliance violations: An approach based on anti patterns. In: Proceedings of the 30th Annual ACM Symposium on Applied Computing. ACM, New York, SAC \u201915, pp. 1203\u20131210 (2015) https:\/\/doi.org\/10.1145\/2695664.2699488","DOI":"10.1145\/2695664.2699488"},{"key":"721_CR3","volume-title":"Principles of Model Checking (Representation and Mind Series)","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.P.: Principles of Model Checking (Representation and Mind Series). The MIT Press, Cambridge (2008)"},{"key":"721_CR4","unstructured":"Bank for International Settlements: Basel III: International framework for liquidity risk measurement, standards and monitoring. https:\/\/www.bis.org\/publ\/bcbs188.htm Accessed 18 Jan 2019 (2010)"},{"key":"721_CR5","unstructured":"Basili, V.R., Caldiera, G., Rombach, H.D.: The goal question metric approach. In: Encyclopedia of Software Engineering. Wiley (1994)"},{"issue":"3","key":"721_CR6","doi-asserted-by":"publisher","first-page":"651","DOI":"10.1093\/logcom\/exn075","volume":"20","author":"A Bauer","year":"2010","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Comparing ltl semantics for runtime verification. J. Log. Comput. 20(3), 651\u2013674 (2010). https:\/\/doi.org\/10.1093\/logcom\/exn075","journal-title":"J. Log. Comput."},{"issue":"4","key":"721_CR7","doi-asserted-by":"publisher","first-page":"14:1","DOI":"10.1145\/2000799.2000800","volume":"20","author":"A Bauer","year":"2011","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Runtime verification for ltl and tltl. ACM Trans. Softw. Eng. Methodol. 20(4), 14:1\u201314:64 (2011). https:\/\/doi.org\/10.1145\/2000799.2000800","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"1","key":"721_CR8","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1111\/j.2517-6161.1995.tb02031.x","volume":"57","author":"Y Benjamini","year":"1995","unstructured":"Benjamini, Y., Hochberg, Y.: Controlling the false discovery rate: a practical and powerful approach to multiple testing. J. R. Stat. Soc. B Methodol. 57(1), 289\u2013300 (1995)","journal-title":"J. R. Stat. Soc. B Methodol."},{"key":"721_CR9","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1007\/978-3-642-14295-6_31","volume-title":"LTSmin: Distributed and Symbolic Reachability","author":"S Blom","year":"2010","unstructured":"Blom, S., van\u00a0de Pol, J., Weber, M.: LTSmin: Distributed and Symbolic Reachability, pp. 354\u2013359. Springer, Berlin (2010). https:\/\/doi.org\/10.1007\/978-3-642-14295-6_31"},{"key":"721_CR10","doi-asserted-by":"publisher","unstructured":"Carew, D., Exton, C., Buckley, J.: An empirical investigation of the comprehensibility of requirements specifications. In: 2005 International Symposium on Empirical Software Engineering (2005) https:\/\/doi.org\/10.1109\/ISESE.2005.1541834","DOI":"10.1109\/ISESE.2005.1541834"},{"key":"721_CR11","doi-asserted-by":"crossref","unstructured":"Chomsky, N. (ed.): Syntactic structures. Mouton & Co, (1957)","DOI":"10.1515\/9783112316009"},{"key":"721_CR12","unstructured":"Cimatti, .A, Clarke, E.M., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: Nusmv 2: An opensource tool for symbolic model checking. In: Proceedings of the 14th International Conference on Computer Aided Verification. Springer, London, CAV \u201902, pp 359\u2013364, (2002) http:\/\/dl.acm.org\/citation.cfm?id=647771.734431"},{"key":"721_CR13","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1007\/BFb0025774","volume-title":"Design and synthesis of synchronization skeletons using branching time temporal logic","author":"EM Clarke","year":"1982","unstructured":"Clarke, E.M., Emerson, E.A.: Design and synthesis of synchronization skeletons using branching time temporal logic, pp. 52\u201371. Springer, Berlin (1982). https:\/\/doi.org\/10.1007\/BFb0025774"},{"key":"721_CR14","doi-asserted-by":"publisher","first-page":"494","DOI":"10.1037\/0033-2909.114.3.494","volume":"114","author":"N Cliff","year":"1993","unstructured":"Cliff, N.: Dominance statistics: ordinal analyses to answer ordinal questions. Psychol. Bull. 114, 494\u2013509 (1993)","journal-title":"Psychol. Bull."},{"key":"721_CR15","doi-asserted-by":"publisher","unstructured":"Cugola, G., Margara, A.: Tesla: A formally defined event specification language. In: Proceedings of the Fourth ACM International Conference on Distributed Event-Based Systems. ACM, New York, DEBS \u201910, pp 50\u201361 (2010) https:\/\/doi.org\/10.1145\/1827418.1827427","DOI":"10.1145\/1827418.1827427"},{"key":"721_CR16","doi-asserted-by":"publisher","unstructured":"Czepa, C., Zdun, U.: On the Understandability of Temporal Properties Formalized in Linear Temporal Logic, Property Specification Patterns and Event Processing Language [Data set]. (2017) https:\/\/doi.org\/10.5281\/zenodo.891007","DOI":"10.5281\/zenodo.891007"},{"key":"721_CR17","doi-asserted-by":"publisher","unstructured":"Czepa, C., Zdun, U.: On the understandability of temporal properties formalized in linear temporal logic, property specification patterns and event processing language. IEEE Trans. Softw. Eng. (2018) https:\/\/doi.org\/10.1109\/TSE.2018.2859926","DOI":"10.1109\/TSE.2018.2859926"},{"key":"721_CR18","unstructured":"Czepa, C., Tran, H., Zdun, U., Tran, T., Weiss, E., Ruhsam, C.: Plausibility checking of formal business process specifications in linear temporal logic. In: 28th International Conference on Advanced Information Systems Engineering (CAiSE\u201916), Forum Track, http:\/\/eprints.cs.univie.ac.at\/4692\/"},{"key":"721_CR19","unstructured":"Czepa, C., Tran, H., Zdun, U., Tran, T., Weiss, E., Ruhsam, C.: Plausibility checking of formal business process specifications in linear temporal logic (extended abstract). In: Mendling, J., Rinderle-Ma, S. (eds) 7th International Workshop on Enterprise Modeling and Information Systems Architectures (EMISA 2016), (2016b) http:\/\/eprints.cs.univie.ac.at\/4780\/"},{"key":"721_CR20","doi-asserted-by":"crossref","unstructured":"Czepa, C., Tran, H., Zdun, U., Tran, T., Weiss, E., Ruhsam, C.: Towards a compliance support framework for adaptive case management. In: 5th International Workshop on Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 16), 20th IEEE International Enterprise Computing Workshops (EDOCW 2016), (2016c) http:\/\/eprints.cs.univie.ac.at\/4752\/","DOI":"10.1109\/EDOCW.2016.7584390"},{"key":"721_CR21","doi-asserted-by":"crossref","unstructured":"Czepa, C., Tran, H., Zdun, U., Tran, T., Weiss, E., Ruhsam, C.: On the understandability of semantic constraints for behavioral software architecture compliance: A controlled experiment. In: IEEE International Conference on Software Architecture (ICSA 2017), (2017) http:\/\/eprints.cs.univie.ac.at\/5059\/","DOI":"10.1109\/ICSA.2017.10"},{"key":"721_CR22","doi-asserted-by":"publisher","unstructured":"Czepa, C., Amiri, A., Ntentos, E., Zdun, U.: Modeling Compliance Specifications in Linear Temporal Logic, Event Processing Language and Property Specification Patterns [Data set]. (2018) https:\/\/doi.org\/10.5281\/zenodo.1246561","DOI":"10.5281\/zenodo.1246561"},{"key":"721_CR23","unstructured":"De\u00a0Giacomo, G., Vardi, M.Y.: Linear temporal logic and linear dynamic logic on finite traces. In: Proceedings of the Twenty-Third International Joint Conference on Artificial Intelligence. AAAI Press, IJCAI \u201913, pp. 854\u2013860, (2013) http:\/\/dl.acm.org\/citation.cfm?id=2540128.2540252"},{"key":"721_CR24","first-page":"1","volume-title":"Business Process Management","author":"G Giacomo De","year":"2014","unstructured":"De Giacomo, G., De Masellis, R., Grasso, M., Maggi, F.M., Montali, M.: Monitoring business metaconstraints based on ltl and ldl for finite traces. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) Business Process Management, pp. 1\u201317. Springer International Publishing, Cham (2014a)"},{"key":"721_CR25","doi-asserted-by":"crossref","unstructured":"De\u00a0Giacomo, G., De\u00a0Masellis, R., Montali, M.: Reasoning on ltl on finite traces: Insensitivity to infiniteness. In: Proceedings of the Twenty-Eighth AAAI Conference on Artificial Intelligence. AAAI Press, AAAI\u201914, pp. 1027\u20131033, (2014b) http:\/\/dl.acm.org\/citation.cfm?id=2893873.2894033","DOI":"10.1609\/aaai.v28i1.8872"},{"key":"721_CR26","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1007\/978-3-319-39696-5_6","volume-title":"Improving Understandability of Declarative Process Models by Revealing Hidden Dependencies","author":"J Smedt De","year":"2016","unstructured":"De Smedt, J., De Weerdt, J., Serral, E., Vanthienen, J.: Improving Understandability of Declarative Process Models by Revealing Hidden Dependencies, pp. 83\u201398. Springer International Publishing, Cham (2016). https:\/\/doi.org\/10.1007\/978-3-319-39696-5_6"},{"key":"721_CR27","doi-asserted-by":"publisher","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Property specification patterns for finite-state verification. In: Proceedings of the Second Workshop on Formal Methods in Software Practice, ACM, New York, FMSP \u201998, pp. 7\u201315, (1998) https:\/\/doi.org\/10.1145\/298595.298598","DOI":"10.1145\/298595.298598"},{"key":"721_CR28","doi-asserted-by":"publisher","unstructured":"Dwyer, M.B., Avrunin, G.S., Corbett, J.C.: Patterns in property specifications for finite-state verification. In: Proceedings of the 21st International Conference on Software Engineering. ACM, New York, ICSE \u201999, pp 411\u2013420, (1999) https:\/\/doi.org\/10.1145\/302405.302672","DOI":"10.1145\/302405.302672"},{"issue":"1","key":"721_CR29","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/s10270-014-0395-3","volume":"15","author":"A Elgammal","year":"2016","unstructured":"Elgammal, A., Turetken, O., van den Heuvel, W.J., Papazoglou, M.: Formalizing and appling compliance patterns for business process compliance. Softw. Syst. Model. 15(1), 119\u2013146 (2016). https:\/\/doi.org\/10.1007\/s10270-014-0395-3","journal-title":"Softw. Syst. Model."},{"key":"721_CR30","unstructured":"EsperTech Inc: EPL Reference. http:\/\/www.espertech.com\/esper\/release-6.0.1\/esper-reference\/html\/event_patterns.html . Accessed 18 Jan 2019 (2017)"},{"issue":"4","key":"721_CR31","doi-asserted-by":"publisher","first-page":"699","DOI":"10.1007\/s10664-012-9208-x","volume":"18","author":"J Feigenspan","year":"2013","unstructured":"Feigenspan, J., K\u00e4stner, C., Apel, S., Liebig, J., Schulze, M., Dachselt, R., Papendieck, M., Leich, T., Saake, G.: Do background colors improve program comprehension in the #ifdef hell? Empir. Softw. Eng. 18(4), 699\u2013745 (2013)","journal-title":"Empir. Softw. Eng."},{"key":"721_CR32","doi-asserted-by":"publisher","unstructured":"Ferri, F., Pourabbas, E., Rafanelli, M.: The syntactic and semantic correctness of pictorial configurations to query geographic databases by pql. In: Proceedings of the 2002 ACM Symposium on Applied Computing. ACM, New York, SAC \u201902, pp 432\u2013437, (2002) https:\/\/doi.org\/10.1145\/508791.508873","DOI":"10.1145\/508791.508873"},{"key":"721_CR33","unstructured":"Fox, J., Weisberg, S.: An R Companion to Applied Regression, 2nd edn. Sage, Thousand Oaks CA (2011), http:\/\/socserv.socsci.mcmaster.ca\/jfox\/Books\/Companion"},{"issue":"6","key":"721_CR34","doi-asserted-by":"publisher","first-page":"829","DOI":"10.1080\/00207390412331271267","volume":"35","author":"H Habiballa","year":"2004","unstructured":"Habiballa, H., Kmet, T.: Theoretical branches in teaching computer science. Int. J. Math. Educ. Sci. Technol. 35(6), 829\u2013841 (2004). https:\/\/doi.org\/10.1080\/00207390412331271267","journal-title":"Int. J. Math. Educ. Sci. Technol."},{"key":"721_CR35","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/978-3-319-07869-4_17","volume-title":"Investigating Differences between Graphical and Textual Declarative Process Models","author":"C Haisjackl","year":"2014","unstructured":"Haisjackl, C., Zugal, S.: Investigating Differences between Graphical and Textual Declarative Process Models, pp. 194\u2013206. Springer International Publishing, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-07869-4_17"},{"key":"721_CR36","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/978-3-642-38484-4_2","volume-title":"Making Sense of Declarative Process Models: Common Strategies and Typical Pitfalls","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, pp. 2\u201317. Springer, Berlin (2013). https:\/\/doi.org\/10.1007\/978-3-642-38484-4_2"},{"key":"721_CR37","unstructured":"Harel, D., Rumpe, B.: Modeling languages: Syntax, semantics and all that stuff, part i: The basic stuff. Tech. rep, Jerusalem, Israel, Israel (2000)"},{"key":"721_CR38","doi-asserted-by":"publisher","unstructured":"Heijstek, W., Kuhne, T., Chaudron, M.R.V.: Experimental analysis of textual and graphical representations for software architecture design. In: 2011 International Symposium on Empirical Software Engineering and Measurement, pp. 167\u2013176, (2011) https:\/\/doi.org\/10.1109\/ESEM.2011.25","DOI":"10.1109\/ESEM.2011.25"},{"key":"721_CR39","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/978-3-642-01648-6_31","volume-title":"Models in Software Engineering","author":"M Hindawi","year":"2009","unstructured":"Hindawi, M., Morel, L., Aubry, R., Sourrouille, J.L.: Description and implementation of a uml style guide. In: Chaudron, M.R.V. (ed.) Models in Software Engineering, pp. 291\u2013302. Springer, Heidelberg (2009)"},{"key":"721_CR40","doi-asserted-by":"crossref","unstructured":"Hoisl, B., Sobernig, S., Strembeck, M.: Comparing three notations for defining scenario-based model tests: A controlled experiment. In: QUATIC\u201914, pp 95\u2013104, (2014)","DOI":"10.1109\/QUATIC.2014.62"},{"key":"721_CR41","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1007\/978-3-7091-0415-6_5","volume-title":"Model-aware Monitoring of SOAs for Compliance","author":"T Holmes","year":"2011","unstructured":"Holmes, T., Mulo, E., Zdun, U., Dustdar, S.: Model-aware Monitoring of SOAs for Compliance, pp. 117\u2013136. Springer Vienna, Vienna (2011). https:\/\/doi.org\/10.1007\/978-3-7091-0415-6_5"},{"issue":"5","key":"721_CR42","doi-asserted-by":"publisher","first-page":"279","DOI":"10.1109\/32.588521","volume":"23","author":"GJ Holzmann","year":"1997","unstructured":"Holzmann, G.J.: The model checker spin. IEEE Trans. Softw. Eng. 23(5), 279\u2013295 (1997). https:\/\/doi.org\/10.1109\/32.588521","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"3","key":"721_CR43","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1023\/A:1026586415054","volume":"5","author":"M H\u00f6st","year":"2000","unstructured":"H\u00f6st, M., Regnell, B., Wohlin, C.: Using students as subjects\u2013a comparative study of students and professionals in lead-time impact assessment. Empir. Softw. Eng. 5(3), 201\u2013214 (2000). https:\/\/doi.org\/10.1023\/A:1026586415054","journal-title":"Empir. Softw. Eng."},{"key":"721_CR44","unstructured":"Bryer, Jason, Speerschneider, Kimberly: likert: Analysis and Visualization Likert Items. https:\/\/CRAN.R-project.org\/package=likert . Accessed 18 Jan 2019 (2016)"},{"key":"721_CR45","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/978-1-84800-044-5_8","volume-title":"Reporting Experiments in Software Engineering","author":"A Jedlitschka","year":"2008","unstructured":"Jedlitschka, A., Ciolkowski, M., Pfahl, D.: Reporting Experiments in Software Engineering, pp. 201\u2013228. Springer, London (2008). https:\/\/doi.org\/10.1007\/978-1-84800-044-5_8"},{"key":"721_CR46","doi-asserted-by":"publisher","unstructured":"Jot, G., Huber, J., Heriko, M., Polani, G.: An empirical investigation of intuitive understandability of process diagrams. Comput. Stand. Interfaces 48, 90\u2013111 (2016). https:\/\/doi.org\/10.1016\/j.csi.2016.04.006 , http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0920548916300332 , special Issue on Information System in Distributed Environment","DOI":"10.1016\/j.csi.2016.04.006"},{"key":"721_CR47","volume-title":"Basics of Software Engineering Experimentation","author":"N Juristo","year":"2010","unstructured":"Juristo, N., Moreno, A.M.: Basics of Software Engineering Experimentation, 1st edn. Springer, Berlin (2010)","edition":"1"},{"key":"721_CR48","unstructured":"Khoshafian, S.: Intelligent BPM: The Next Wave for Customer Centric Business Applications. Pegasystems Incorporated, (2013) https:\/\/books.google.at\/books?id=IYACnwEACAAJ"},{"key":"721_CR49","first-page":"1","volume":"22","author":"B Kitchenham","year":"2016","unstructured":"Kitchenham, B., Madeyski, L., Budgen, D., Keung, J., Brereton, P., Charters, S., Gibbs, S., Pohthong, A.: Robust statistical methods for empirical software engineering. Empir. Softw. Eng. 22, 1\u201352 (2016)","journal-title":"Empir. Softw. Eng."},{"issue":"8","key":"721_CR50","doi-asserted-by":"publisher","first-page":"721","DOI":"10.1109\/TSE.2002.1027796","volume":"28","author":"BA Kitchenham","year":"2002","unstructured":"Kitchenham, B.A., Pfleeger, S.L., Pickard, L.M., Jones, P.W., Hoaglin, D.C., Emam, K.E., Rosenberg, J.: Preliminary guidelines for empirical research in software engineering. IEEE Trans. Softw. Eng. 28(8), 721\u2013734 (2002). https:\/\/doi.org\/10.1109\/TSE.2002.1027796","journal-title":"IEEE Trans. Softw. Eng."},{"key":"721_CR51","doi-asserted-by":"publisher","unstructured":"Knobelsdorf, M., Frede, C.: Analyzing student practices in theory of computation in light of distributed cognition theory. In: Proceedings of the 2016 ACM Conference on International Computing Education Research. ACM, New York, ICER \u201916, pp. 73\u201381, (2016) https:\/\/doi.org\/10.1145\/2960310.2960331","DOI":"10.1145\/2960310.2960331"},{"issue":"1","key":"721_CR52","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/BF03037383","volume":"4","author":"R Kowalski","year":"1986","unstructured":"Kowalski, R., Sergot, M.: A logic-based calculus of events. New Gener. Comput. 4(1), 67\u201395 (1986). https:\/\/doi.org\/10.1007\/BF03037383","journal-title":"New Gener. Comput."},{"key":"721_CR53","doi-asserted-by":"publisher","unstructured":"Lytra, I., Gaubatz, P., Zdun, U.: Two controlled experiments on model-based architectural decision making. Inf. Softw. Technol. 58, 63\u201375 (2015). https:\/\/doi.org\/10.1016\/j.infsof.2015.03.006 , http:\/\/eprints.cs.univie.ac.at\/4342\/","DOI":"10.1016\/j.infsof.2015.03.006"},{"key":"721_CR54","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/978-3-642-29860-8_11","volume-title":"Runtime Verification","author":"FM Maggi","year":"2012","unstructured":"Maggi, F.M., Westergaard, M., Montali, M., van der Aalst, W.M.P.: Runtime verification of ltl-based declarative process models. In: Khurshid, S., Sen, K. (eds.) Runtime Verification, pp. 131\u2013146. Springer, Heidelberg (2012)"},{"key":"721_CR55","unstructured":"Michael, G Oxley: H.R.3763 - Sarbanes-Oxley Act of 2002. https:\/\/www.congress.gov\/bill\/107th-congress\/house-bill\/3763\/text . Accessed 18 Jan 2019 (2002)"},{"key":"721_CR56","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-14538-4_3","volume-title":"The ConDec Language","author":"M Montali","year":"2010","unstructured":"Montali, M.: The ConDec Language, pp. 47\u201375. Springer, Berlin (2010). https:\/\/doi.org\/10.1007\/978-3-642-14538-4_3"},{"issue":"1","key":"721_CR57","doi-asserted-by":"publisher","first-page":"17:1","DOI":"10.1145\/2542182.2542199","volume":"5","author":"M Montali","year":"2014","unstructured":"Montali, M., Maggi, F.M., Chesani, F., Mello, P., Aalst, WMPvd: Monitoring business constraints with the event calculus. ACM Trans. Intell. Syst. Technol. 5(1), 17:1\u201317:30 (2014). https:\/\/doi.org\/10.1145\/2542182.2542199","journal-title":"ACM Trans. Intell. Syst. Technol."},{"key":"721_CR58","doi-asserted-by":"publisher","unstructured":"Naimi, B., as Hamm, N., Groen, T.A., Skidmore, A.K., Toxopeus, AG.: Where is positional uncertainty a problem for species distribution modelling. Ecography 37, 191\u2013203 (2014). https:\/\/doi.org\/10.1111\/j.1600-0587.2013.00205.x","DOI":"10.1111\/j.1600-0587.2013.00205.x"},{"key":"721_CR59","unstructured":"OMG: BPMN 2.0. http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF . Accessed 18 Jan 2019, (2011)"},{"key":"721_CR60","unstructured":"OMG: Semantics of Business Vocabulary and Rules (SBVR). http:\/\/www.omg.org\/spec\/SBVR\/ . Accessed 18 Jan 2019 (2017)"},{"key":"721_CR61","unstructured":"Pesic, M., Schonenberg, H., van\u00a0der Aalst, W.M.P.: Declare: Full support for loosely-structured processes. In: Proceedings of the 11th IEEE International Enterprise Distributed Object Computing Conference, IEEE Computer Society, Washington, EDOC \u201907, (2007) http:\/\/dl.acm.org\/citation.cfm?id=1317532.1318056"},{"key":"721_CR62","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1007\/978-3-642-16164-3_11","volume-title":"Model Checking Software","author":"M Pe\u0161i\u0107","year":"2010","unstructured":"Pe\u0161i\u0107, M., Bo\u0161na\u010dki, D., van der Aalst, W.M.P.: Enacting declarative languages using ltl: Avoiding errors and improving performance. In: van de Pol, J., Weber, M. (eds.) Model Checking Software, pp. 146\u2013161. Springer, Berlin (2010)"},{"key":"721_CR63","unstructured":"Filzmoser, Peter, Gschwandtner, Moritz: mvoutlier: Multivariate Outlier Detection Based on Robust Methods. https:\/\/CRAN.R-project.org\/package=mvoutlier . Accessed 18 Jan 2019, (2017)"},{"key":"721_CR64","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-642-28108-2_37","volume-title":"Imperative versus Declarative Process Modeling Languages: An Empirical Investigation","author":"P Pichler","year":"2012","unstructured":"Pichler, P., Weber, B., Zugal, S., Pinggera, J., Mendling, J., Reijers, H.A.: Imperative versus Declarative Process Modeling Languages: An Empirical Investigation, pp. 383\u2013394. Springer, Berlin (2012). https:\/\/doi.org\/10.1007\/978-3-642-28108-2_37"},{"key":"721_CR65","doi-asserted-by":"publisher","unstructured":"Pnueli, A.: The temporal logic of programs. In: Proceedings of the 18th Annual Symposium on Foundations of Computer Science, IEEE Computer Society, Washington, SFCS \u201977, pp. 46\u201357, (1977) https:\/\/doi.org\/10.1109\/SFCS.1977.32","DOI":"10.1109\/SFCS.1977.32"},{"key":"721_CR66","doi-asserted-by":"publisher","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)"},{"key":"721_CR67","unstructured":"Revelle, W.: psych: Procedures for Psychological, Psychometric, and Personality Research. Northwestern University, Evanston, Illinois, https:\/\/CRAN.R-project.org\/package=psych , r package version 1.7.5, (2017)"},{"issue":"1","key":"721_CR68","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1177\/0049124113509605","volume":"43","author":"MA Revilla","year":"2014","unstructured":"Revilla, M.A., Saris, W.E., Krosnick, J.A.: Choosing the number of categories in agreedisagree scales. Sociol. Methods Res. 43(1), 73\u201397 (2014). https:\/\/doi.org\/10.1177\/0049124113509605","journal-title":"Sociol. Methods Res."},{"key":"721_CR69","doi-asserted-by":"publisher","unstructured":"Rodrigues, R.D., Barros, M.D., Revoredo, K., Azevedo, L.G., Leopold, H.: An experiment on process model understandability using textual work instructions and bpmn models. In: 2015 29th Brazilian Symposium on Software Engineering (SBES), vol\u00a000, pp. 41\u201350, (2015) https:\/\/doi.org\/10.1109\/SBES.2015.12","DOI":"10.1109\/SBES.2015.12"},{"key":"721_CR70","unstructured":"Rogmann, J.J.: Ordinal dominance statistics (orddom): An r project for statistical computing package to compute ordinal, nonparametric alternatives to mean comparison (version 3.1). Available online from the CRAN website, (2013) http:\/\/cran.r-project.org\/"},{"key":"721_CR71","doi-asserted-by":"publisher","unstructured":"Rovani, M., Maggi, F.M., de Leoni, M., van der Aalst, W.M.: Declarative process mining in healthcare. Exp. Syst. Appl. 42(23), 9236\u20139251 (2015). https:\/\/doi.org\/10.1016\/j.eswa.2015.07.040 , http:\/\/www.sciencedirect.com\/science\/article\/pii\/S095741741500500X","DOI":"10.1016\/j.eswa.2015.07.040"},{"key":"721_CR72","unstructured":"Runeson, P.: Using students as experiment subjects an analysis on graduate and freshmen student data. In: Proceedings 7th International Conference on Empirical Assessment and Evaluation in Software Engineering, pp. 95\u2013102, (2003)"},{"key":"721_CR73","unstructured":"Salman, I., Misirli, A.T., Juristo, N.: Are students representatives of professionals in software engineering experiments? In: Proceedings of the 37th International Conference on Software Engineering - Volume 1, IEEE Press, Piscataway, ICSE \u201915, pp. 666\u2013676, (2015) http:\/\/dl.acm.org\/citation.cfm?id=2818754.2818836"},{"key":"721_CR74","doi-asserted-by":"publisher","unstructured":"Sharafi, Z., Marchetto, A., Susi, A., Antoniol, G., Guhneuc, Y.G.: An empirical study on the efficiency of graphical versus textual representations in requirements comprehension. In: 2013 21st International Conference on Program Comprehension (ICPC), pp. 33\u201342, (2013) https:\/\/doi.org\/10.1109\/ICPC.2013.6613831","DOI":"10.1109\/ICPC.2013.6613831"},{"key":"721_CR75","doi-asserted-by":"crossref","unstructured":"da\u00a0Silva, A.R., Malafaia, G., de Menezes, I.P.P.: biotools: an r function to predict spatial gene diversity via an individual-based approach. Genet. Mol. Res. 16:gmr16029,655, (2017)","DOI":"10.4238\/gmr16029655"},{"key":"721_CR76","unstructured":"Jarek, Slawomir: mvnormtest: Normality test for multivariate variables. https:\/\/CRAN.R-project.org\/package=mvnormtest . Accessed 18 Jan 2019 (2012)"},{"key":"721_CR77","doi-asserted-by":"publisher","first-page":"242","DOI":"10.1007\/978-3-319-50230-4_18","volume-title":"Software Technologies: Applications and Foundations","author":"M Spichkova","year":"2016","unstructured":"Spichkova, M.: \u201cboring formal methods\u201d or \u201csherlock holmes deduction methods\u201d? In: Milazzo, P., Varr\u00f3, D., Wimmer, M. (eds.) Software Technologies: Applications and Foundations, pp. 242\u2013252. Springer International Publishing, Cham (2016)"},{"key":"721_CR78","doi-asserted-by":"publisher","unstructured":"Svahnberg, M., Aurum, A., Wohlin, C.: Using students as subjects - an empirical evaluation. In: Proceedings of the Second ACM-IEEE International Symposium on Empirical Software Engineering and Measurement, ACM, New York, ESEM \u201908, pp. 288\u2013290, (2008) https:\/\/doi.org\/10.1145\/1414004.1414055","DOI":"10.1145\/1414004.1414055"},{"key":"721_CR79","unstructured":"Tran, T., Weiss, E., Ruhsam, C., Czepa, C., Tran, H., Zdun, U.: Embracing process compliance and flexibility through behavioral consistency checking in ACM: A repair service management case. In: 4th International Workshop on Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 15), Business Process Management Workshops 2015, (2015a) http:\/\/eprints.cs.univie.ac.at\/4409\/"},{"key":"721_CR80","unstructured":"Tran, T., Weiss, E., Ruhsam, C., Czepa, C., Tran, H., Zdun, U.: Enabling flexibility of business processes by compliance rules: A case study from the insurance industry. In: 13th International Conference on Business Process Management 2015, Industry Track, (2015b) http:\/\/eprints.cs.univie.ac.at\/4399\/"},{"key":"721_CR81","unstructured":"Tran, T., Weiss, E., Adensamer, A., Ruhsam, C., Czepa, C., Tran, H., Zdun, U.: An ontology-based approach for defining compliance rules by knowledge workers in adaptive case management. In: 5th International Workshop on Adaptive Case Management and other Non-workflow Approaches to BPM (AdaptiveCM 16), 20th IEEE International Enterprise Computing Workshops (EDOCW 2016), (2016) http:\/\/eprints.cs.univie.ac.at\/4753\/"},{"key":"721_CR82","unstructured":"Tran, T., Weiss, E., Ruhsam, C., Czepa, C., Tran, H., Zdun, U.: Enabling flexibility of business processes using compliance rules: The case of Mobiliar. In: vom Brocke, J., Mendling, J. (eds.) Business Process Management Cases. Springer, Berlin (2017). http:\/\/eprints.cs.univie.ac.at\/5094\/"},{"key":"721_CR83","unstructured":"United States Environmental Protection Agency: EPAs Lead-Based Paint Renovation, Repair and Painting (RRP) Rule. https:\/\/www.epa.gov\/lead\/lead-renovation-repair-and-painting-program-rules . Accessed 18 Jan 2019 (2011)"},{"issue":"1\u20132","key":"721_CR84","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1093\/biomet\/34.1-2.28","volume":"34","author":"BL Welch","year":"1947","unstructured":"Welch, B.L.: The generalization of student\u2019s problem when several different population variances are involved. Biometrika 34(1\u20132), 28\u201335 (1947). https:\/\/doi.org\/10.1093\/biomet\/34.1-2.28","journal-title":"Biometrika"},{"key":"721_CR85","doi-asserted-by":"crossref","unstructured":"Wickham, H.: ggplot2: Elegant Graphics for Data Analysis. Springer, New York (2009), http:\/\/ggplot2.org","DOI":"10.1007\/978-0-387-98141-3"},{"key":"721_CR86","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4615-4625-2","volume-title":"Experimentation in Software Engineering: An Introduction","author":"C Wohlin","year":"2000","unstructured":"Wohlin, C., Runeson, P., H\u00f6st, M., Ohlsson, M.C., Regnell, B., Wessl\u00e9n, A.: Experimentation in Software Engineering: An Introduction. Kluwer Academic Publishers, Norwell (2000)"},{"issue":"3","key":"721_CR87","doi-asserted-by":"publisher","first-page":"1081","DOI":"10.1007\/s10270-013-0356-2","volume":"14","author":"S Zugal","year":"2015","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. 14(3), 1081\u20131103 (2015). https:\/\/doi.org\/10.1007\/s10270-013-0356-2","journal-title":"Softw. Syst. Model."}],"container-title":["Software and Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-019-00721-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00721-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-019-00721-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,15]],"date-time":"2024-07-15T00:48:29Z","timestamp":1721004509000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-019-00721-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,22]]},"references-count":87,"journal-issue":{"issue":"6","published-print":{"date-parts":[[2019,12]]}},"alternative-id":["721"],"URL":"https:\/\/doi.org\/10.1007\/s10270-019-00721-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2019,2,22]]},"assertion":[{"value":"24 May 2018","order":1,"name":"received","label":"Received","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"2 January 2019","order":2,"name":"revised","label":"Revised","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"15 January 2019","order":3,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"22 February 2019","order":4,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}