{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,12]],"date-time":"2025-10-12T19:56:57Z","timestamp":1760299017194,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":46,"publisher":"ACM","license":[{"start":{"date-parts":[[2014,9,29]],"date-time":"2014-09-29T00:00:00Z","timestamp":1411948800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2014,9,29]]},"DOI":"10.1145\/2664591.2664603","type":"proceedings-article","created":{"date-parts":[[2014,10,14]],"date-time":"2014-10-14T12:29:24Z","timestamp":1413289764000},"page":"93-103","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Composite, Real-time Validation for Business Process Modelling"],"prefix":"10.1145","author":[{"given":"Martin","family":"Smuts","sequence":"first","affiliation":[{"name":"Department of Computing Sciences, Nelson Mandela Metropolitan University, Port Elizabeth, South Africa"}]},{"given":"Clayton","family":"Burger","sequence":"additional","affiliation":[{"name":"Department of Computing Sciences, Nelson Mandela Metropolitan University, Port Elizabeth, South Africa"}]},{"given":"Brenda","family":"Scholtz","sequence":"additional","affiliation":[{"name":"Department of Computing Sciences, Nelson Mandela Metropolitan University, Port Elizabeth, South Africa"}]}],"member":"320","published-online":{"date-parts":[[2014,9,29]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Worldwide, 2013","author":"Curtiss E. T.","year":"2013","unstructured":"Curtiss , E. T. 2013 . Business Process Management (BPM), Cloud, Mobile, and Patterns: Market Shares, Strategy, and Forecasts , Worldwide, 2013 to 2019. Curtiss, E. T. 2013. Business Process Management (BPM), Cloud, Mobile, and Patterns: Market Shares, Strategy, and Forecasts, Worldwide, 2013 to 2019."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the Australasian Conference of Information Systems","author":"Recker J.","year":"2007","unstructured":"Recker , J. and Dreiling , A . 2007. 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 the Australasian Conference of Information Systems ( Toowoomba, Australia , December 5-7, 2007 ). 356--366. Recker, J. and Dreiling, A. 2007. 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 the Australasian Conference of Information Systems (Toowoomba, Australia, December 5-7, 2007). 356--366."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.17705\/1CAIS.02532"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1558897.1558901"},{"key":"e_1_3_2_1_5_1","first-page":"1","article-title":"Factors Influencing BPM Tools: The Influence on User Experience and User Interfaces","volume":"4","author":"van Greunen D.","year":"2010","unstructured":"van Greunen , D. , van der Merwe , A. and Kotze , P. 2010 . Factors Influencing BPM Tools: The Influence on User Experience and User Interfaces . International Journal of Computing and ICT Research. 4 , 1 (October 2010), 47--57. van Greunen, D., van der Merwe, A. and Kotze, P. 2010. Factors Influencing BPM Tools: The Influence on User Experience and User Interfaces. International Journal of Computing and ICT Research. 4, 1 (October 2010), 47--57.","journal-title":"International Journal of Computing and ICT Research."},{"volume-title":"Business Process Change: A Guide for business Managers and BPM and Six Sigma Professionals","author":"Harmon P.","key":"e_1_3_2_1_6_1","unstructured":"Harmon , P. 2009. Business Process Change: A Guide for business Managers and BPM and Six Sigma Professionals , Second Edition. Morgan Kaufmann Publishers , Burminham . Harmon, P. 2009. Business Process Change: A Guide for business Managers and BPM and Six Sigma Professionals, Second Edition. Morgan Kaufmann Publishers, Burminham."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/TII.2013.2258677"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1155\/2013\/507984"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.v22:6\/7"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1108\/14637151211232696"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.17705\/1CAIS.02741"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2012.11.010"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.01.002"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1108\/14637151011018001"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSMCA.2010.2087017"},{"volume-title":"The Sciences of the Artificial","author":"Simon H.","key":"e_1_3_2_1_17_1","unstructured":"Simon , H. 1996. The Sciences of the Artificial , Third Edition. The MIT Press , Cambridge . Simon, H. 1996. The Sciences of the Artificial, Third Edition. The MIT Press, Cambridge."},{"key":"e_1_3_2_1_18_1","volume-title":"Proceedings of the 14th International Conference on Business Information Systems (Pozna'n, Poland","author":"Speck A.","year":"2011","unstructured":"Speck , A. , Witt , S. , Feja , S. , Lotyzc , A. and Pulverm\u00fcller , E . 2011. Framework for Business Process Verification . In Proceedings of the 14th International Conference on Business Information Systems (Pozna'n, Poland , June 15-17 2011 ), Springer LNBIP, 50--61. Speck, A., Witt, S., Feja, S., Lotyzc, A. and Pulverm\u00fcller, E. 2011. Framework for Business Process Verification. In Proceedings of the 14th International Conference on Business Information Systems (Pozna'n, Poland, June 15-17 2011), Springer LNBIP, 50--61."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Ly L. T. Rinderle-ma S. and Dadam P. 2010. Design and Verification of Instantiable Compliance Rule Graphs in Process-aware Information Systems. In Advanced Information Systems Engineering. Springer Berlin-Heidelberg 9--23.   Ly L. T. Rinderle-ma S. and Dadam P. 2010. Design and Verification of Instantiable Compliance Rule Graphs in Process-aware Information Systems. In Advanced Information Systems Engineering. Springer Berlin-Heidelberg 9--23.","DOI":"10.1007\/978-3-642-13094-6_3"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2011.04.003"},{"volume-title":"Process Management: A Guide for the Design of Business Processes","author":"Becker J.","key":"e_1_3_2_1_21_1","unstructured":"Becker , J. , Krugeler , M. and Rosemann , M . Process Management: A Guide for the Design of Business Processes , Second Edition. Springer , Heidelberg . Becker, J., Krugeler, M. and Rosemann, M. Process Management: A Guide for the Design of Business Processes, Second Edition. Springer, Heidelberg."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1002\/smr.v22:6\/7"},{"key":"e_1_3_2_1_23_1","volume-title":"Proceedings of the Management, Knowledge and Learning International Conference (Romania","author":"Rozman T.","year":"2010","unstructured":"Rozman , T. , Vajde-Horvat , R. and Draghici , A . 2011. Business Process Management Certifications Overview and Transfer of Innovation . In Proceedings of the Management, Knowledge and Learning International Conference (Romania , December , 2010 ). Rozman, T., Vajde-Horvat, R. and Draghici, A. 2011. Business Process Management Certifications Overview and Transfer of Innovation. In Proceedings of the Management, Knowledge and Learning International Conference (Romania, December, 2010)."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2011.10.007"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1108\/14637150610657567"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"crossref","unstructured":"Mendling J. Reijers H. A. and Cardoso J. 2007. What Makes Process Models Understandable?. In Business Process Management. Springer Berlin-Heidelberg 48--63.   Mendling J. Reijers H. A. and Cardoso J. 2007. What Makes Process Models Understandable?. In Business Process Management. Springer Berlin-Heidelberg 48--63.","DOI":"10.1007\/978-3-540-75183-0_4"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.infsof.2009.08.004"},{"key":"e_1_3_2_1_28_1","volume-title":"Proceedings of the Dateso 2008 Workshop (Cerna Ricka","author":"Opocensk\u00e1 K.","year":"2008","unstructured":"Opocensk\u00e1 , K. and M. Kopeck\u00fd . 2008. Incox--a language for XML integrity constraints description . In Proceedings of the Dateso 2008 Workshop (Cerna Ricka , Czech Republic , April 16-17, 2008 ), 1--12. Opocensk\u00e1, K. and M. Kopeck\u00fd. 2008. Incox--a language for XML integrity constraints description. In Proceedings of the Dateso 2008 Workshop (Cerna Ricka, Czech Republic, April 16-17, 2008), 1--12."},{"key":"e_1_3_2_1_29_1","volume-title":"Proceedings of the 19th International Conference, CAiSE 2007","author":"Mendling J.","year":"2007","unstructured":"Mendling , J. and van der Aalst, W. M. P. 2007. Formalization and Verification of EPCs with OR-joins Based on State and Context . In Proceedings of the 19th International Conference, CAiSE 2007 ( Trondheim, Norway , June 11-15, 2007 ), 439--453. Mendling, J. and van der Aalst, W. M. P. 2007. Formalization and Verification of EPCs with OR-joins Based on State and Context. In Proceedings of the 19th International Conference, CAiSE 2007 (Trondheim, Norway, June 11-15, 2007), 439--453."},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"B\u00f6gl A. Schrefl M. Pomberger G. and Weber N. 2009. Semantic Annotation of EPC Models in Engineering Domains to Facilitate an Automated Identification of Common Modelling Practices. In Enterprise Information Systems. Springer Berlin-Heidelberg 155--171.  B\u00f6gl A. Schrefl M. Pomberger G. and Weber N. 2009. Semantic Annotation of EPC Models in Engineering Domains to Facilitate an Automated Identification of Common Modelling Practices. In Enterprise Information Systems. Springer Berlin-Heidelberg 155--171.","DOI":"10.1007\/978-3-642-00670-8_12"},{"key":"e_1_3_2_1_31_1","volume-title":"EPC Verification in the ARIS for MySAP Reference Model Database. In Proceedings of the Business Process Management with Event-Driven Process Chains Conference","author":"van Dongen B. F.","year":"2005","unstructured":"van Dongen , B. F. and Jansen-Vullers , M. H . 2005 . EPC Verification in the ARIS for MySAP Reference Model Database. In Proceedings of the Business Process Management with Event-Driven Process Chains Conference ( Hamburg, Germany , December 8-9, 2005 ), 24--40. van Dongen, B. F. and Jansen-Vullers, M. H. 2005. EPC Verification in the ARIS for MySAP Reference Model Database. In Proceedings of the Business Process Management with Event-Driven Process Chains Conference (Hamburg, Germany, December 8-9, 2005), 24--40."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10257-009-0120-x"},{"volume-title":"Enterprise Information Systems","author":"van der Aalst W. M. P.","key":"e_1_3_2_1_33_1","unstructured":"van der Aalst , W. M. P. 2008. Challenges in Business Process Analysis . In Enterprise Information Systems . Springer , Berlin- Heidelberg , 27--42. van der Aalst, W. M. P. 2008. Challenges in Business Process Analysis. In Enterprise Information Systems. Springer, Berlin-Heidelberg, 27--42."},{"key":"e_1_3_2_1_34_1","unstructured":"Monk E. and Wagner B. 2009. Concepts in Enterprise Resource Planning: International Edition Third Edition. Course Technology Boston.  Monk E. and Wagner B. 2009. Concepts in Enterprise Resource Planning: International Edition Third Edition. Course Technology Boston."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jvlc.2010.11.002"},{"volume-title":"Conceptual Modeling","author":"Knuplesch D.","key":"e_1_3_2_1_36_1","unstructured":"Knuplesch , D. , Reichert , M. , Ly , L. T. , Kumar , A. and Rinderle-Ma , S. 2013. Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives . In Conceptual Modeling . Springer , Berlin- Heidelberg , 106--120. Knuplesch, D., Reichert, M., Ly, L. T., Kumar, A. and Rinderle-Ma, S. 2013. Visual Modeling of Business Process Compliance Rules with the Support of Multiple Perspectives. In Conceptual Modeling. Springer, Berlin-Heidelberg, 106--120."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"crossref","unstructured":"Semmelrodt F. Knuplesch D. and Reichert M. 2014. Modeling the Resource Perspective of Business Process Compliance Rules with the Extended Compliance Rule Graph. In Enterprise Business-Process and Information Systems Modeling. Springer Berlin-Heidelberg 48--63.  Semmelrodt F. Knuplesch D. and Reichert M. 2014. Modeling the Resource Perspective of Business Process Compliance Rules with the Extended Compliance Rule Graph. In Enterprise Business-Process and Information Systems Modeling. Springer Berlin-Heidelberg 48--63.","DOI":"10.1007\/978-3-662-43745-2_4"},{"key":"e_1_3_2_1_38_1","volume-title":"Creating Custom Validation Rules in Visio","author":"Hopkins C. R.","year":"2013","unstructured":"Hopkins , C. R. 2013. Creating Custom Validation Rules in Visio 2013 . {Online}. Available: http:\/\/blogs.msdn.com\/b\/chhopkin\/archive\/2013\/01\/03\/creating-custom-validation-rules-in-visio-2013.aspx. {Accessed: 06-Aug-2013}. Hopkins, C. R. 2013. Creating Custom Validation Rules in Visio 2013. {Online}. Available: http:\/\/blogs.msdn.com\/b\/chhopkin\/archive\/2013\/01\/03\/creating-custom-validation-rules-in-visio-2013.aspx. {Accessed: 06-Aug-2013}."},{"key":"e_1_3_2_1_39_1","first-page":"1","article-title":"Business Process Verification - Finally a Reality!","volume":"15","author":"Wynn M.T.","year":"2007","unstructured":"Wynn , M.T. , Verbeek , H. M. W. , van der Aalst , W. M. P. , ter Hofstede , A. H. M. and Edmond , D. 2007 . Business Process Verification - Finally a Reality! . Business Process Management Journal. 15 , 1 (August 2007), 74--92. Wynn, M.T., Verbeek, H. M. W., van der Aalst, W. M. P., ter Hofstede, A. H. M. and Edmond, D. 2007. Business Process Verification - Finally a Reality!. Business Process Management Journal. 15, 1 (August 2007), 74--92.","journal-title":"Business Process Management Journal."},{"key":"e_1_3_2_1_40_1","volume-title":"Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007","author":"Gruhn V.","year":"2007","unstructured":"Gruhn , V. and Laue , R . 2007. Checking Properties of Business Process Models with Logic Programming . In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007 , In conjunction with ICEIS 2007 (Funchal, Madeira, Portugal, June, 2007), 84--93. Gruhn, V. and Laue, R. 2007. Checking Properties of Business Process Models with Logic Programming. In Proceedings of the 5th International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems, MSVVEIS-2007, In conjunction with ICEIS 2007 (Funchal, Madeira, Portugal, June, 2007), 84--93."},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/EDOC.2006.56"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"crossref","unstructured":"Lewis C. and Wharton C. 1997. Cognitive Walkthroughs. In Handbook of Human-Computer Interaction. Elsevier Amsterdam 717--732.  Lewis C. and Wharton C. 1997. Cognitive Walkthroughs. In Handbook of Human-Computer Interaction. Elsevier Amsterdam 717--732.","DOI":"10.1016\/B978-044481862-1.50096-0"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ipm.2007.07.008"},{"key":"e_1_3_2_1_44_1","volume-title":"Proceedings of the Informatics 2011 conference","author":"Effinger P.","year":"2011","unstructured":"Effinger , P. , Seiz , S. , Jogsch , N. and Eberhard , K . 2011. Evaluating Single Features in Usability Tests for Business Process Modeling Tools . In Proceedings of the Informatics 2011 conference ( Berlin, Germany , October 4-7, 2011 ). Effinger, P., Seiz, S., Jogsch, N. and Eberhard, K. 2011. Evaluating Single Features in Usability Tests for Business Process Modeling Tools. In Proceedings of the Informatics 2011 conference (Berlin, Germany, October 4-7, 2011)."},{"volume-title":"Usability Evaluation in Industry","author":"Brooke J.","key":"e_1_3_2_1_45_1","unstructured":"Brooke , J. 1996. A Quick and Dirty Usability Scale . In Usability Evaluation in Industry . Taylor & Francis Ltd , London , 189--191. Brooke, J. 1996. A Quick and Dirty Usability Scale. In Usability Evaluation in Industry. Taylor & Francis Ltd, London, 189--191."},{"key":"e_1_3_2_1_46_1","unstructured":"Tullis T. and Albert B. 2013. Measuring the User Experiecne Second edition. Morgan Kaufmann Burlington 138--139.   Tullis T. and Albert B. 2013. Measuring the User Experiecne Second edition. Morgan Kaufmann Burlington 138--139."},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1559\/152304009787340197"}],"event":{"name":"SAICSIT '14: Southern African Institute for Computer Scientist and Information Technologists Annual Conference 2014","acronym":"SAICSIT '14","location":"Centurion South Africa"},"container-title":["Proceedings of the Southern African Institute for Computer Scientist and Information Technologists Annual Conference 2014 on SAICSIT 2014 Empowered by Technology"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2664591.2664603","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2664591.2664603","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T06:13:24Z","timestamp":1750227204000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2664591.2664603"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014,9,29]]},"references-count":46,"alternative-id":["10.1145\/2664591.2664603","10.1145\/2664591"],"URL":"https:\/\/doi.org\/10.1145\/2664591.2664603","relation":{},"subject":[],"published":{"date-parts":[[2014,9,29]]},"assertion":[{"value":"2014-09-29","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}