{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,1]],"date-time":"2025-11-01T03:43:07Z","timestamp":1761968587124,"version":"build-2065373602"},"reference-count":42,"publisher":"IGI Global","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,7,1]]},"abstract":"<p>This paper investigates the need for complementing automated verification of business process models with a validity analysis performed by human analysts. As business processes become increasingly automated through process aware information systems, the quality of process design becomes crucial. Although verification of process models has gained much attention, their validation, relating to the reachability of the process goal, has hardly been addressed. The paper investigates the need for model validation both theoretically and empirically. The authors present a theoretical analysis, showing that process model verification and validation are complementary in nature, and an empirical evaluation of the effectiveness of validity criteria in validating a process model. The theoretical analysis, which relates to different aspects of process model quality, shows that process model verification and validation are complementary in nature. The empirical findings corroborate the effectiveness of validity criteria and indicate that a systematic criteria-supported validity analysis improves the identification of validity problems in process models.<\/p>","DOI":"10.4018\/jdm.2011070101","type":"journal-article","created":{"date-parts":[[2011,10,19]],"date-time":"2011-10-19T16:59:34Z","timestamp":1319043574000},"page":"1-23","source":"Crossref","is-referenced-by-count":5,"title":["Complementing Business Process Verification by Validity Analysis"],"prefix":"10.4018","volume":"22","author":[{"given":"Pnina","family":"Soffer","sequence":"first","affiliation":[{"name":"University of Haifa, Israel"}]},{"given":"Maya","family":"Kaner","sequence":"additional","affiliation":[{"name":"Ort Braude College, Israel"}]}],"member":"2432","reference":[{"key":"jdm.2011070101-0","doi-asserted-by":"publisher","DOI":"10.1016\/S0925-5273(03)00102-6"},{"journal-title":"An introduction to requirements engineering","year":"2002","author":"K.Bray","key":"jdm.2011070101-1"},{"journal-title":"Implementing six sigma: Smarter solutions using statistical methods","year":"2003","author":"F. W.Breyfogle","key":"jdm.2011070101-2"},{"key":"jdm.2011070101-3","volume":"Vol. 3","author":"M.Bunge","year":"1977","journal-title":"Ontology I: The furniture of the world"},{"key":"jdm.2011070101-4","volume":"Vol. 4","author":"M.Bunge","year":"1979","journal-title":"Ontology II: A world of systems"},{"key":"jdm.2011070101-5","doi-asserted-by":"crossref","unstructured":"Dehnert, J., & Rittgen, P. (2001). Relaxed soundness of business processes. In K. R. Dittrich, A. Geppert, & M. C. Norrie (Eds.), Proceedings of the 13th International Conference on Advanced Information Systems Engineering (LNCS 2068, pp. 157-170).","DOI":"10.1007\/3-540-45341-5_11"},{"key":"jdm.2011070101-6","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843004000973"},{"key":"jdm.2011070101-7","doi-asserted-by":"crossref","unstructured":"Dongen, B. F., van der Aalst, W. M. P., & Verbeek, H. M. W. (2005). Verification of EPCs: Using reduction rules and petri nets. In A. Pastor & J. Falcao e Cunha (Eds.), Proceedings of the 17th International Conference on Advanced Information Systems Engineering (LNCS 3520, pp. 372-386).","DOI":"10.1007\/11431855_26"},{"key":"jdm.2011070101-8","doi-asserted-by":"publisher","DOI":"10.2307\/249356"},{"key":"jdm.2011070101-9","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.06.005"},{"key":"jdm.2011070101-10","doi-asserted-by":"crossref","unstructured":"Kindler, E. (2004). On the semantics of EPCs: A framework for resolving the vicious circle. In J. Desel, B. Pernici, & M. Weske (Eds.), Proceedings of the 2nd International Conference on Business Process Management (LNCS 3080, pp. 82-97).","DOI":"10.1007\/978-3-540-25970-1_6"},{"key":"jdm.2011070101-11","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.02.005"},{"key":"jdm.2011070101-12","doi-asserted-by":"publisher","DOI":"10.1109\/52.268955"},{"key":"jdm.2011070101-13","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.06.006"},{"key":"jdm.2011070101-14","doi-asserted-by":"crossref","unstructured":"Mendling, J., & van der Aalst, W. M. P. (2007). Formalization and verification of EPCs with OR-joins based on state and context. In J. Krogstie, A. L. Opdahl, & J. Sindre (Eds.), Proceedings of the 19th International Conference on Advanced Information Systems Engineering (LNCS 4495, pp. 439-453).","DOI":"10.1007\/978-3-540-72988-4_31"},{"key":"jdm.2011070101-15","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.06.019"},{"key":"jdm.2011070101-16","article-title":"Conceptual modeling and telos","author":"J.Mylopoulos","year":"1992","journal-title":"Conceptual modeling, databases, and cases"},{"issue":"2","key":"jdm.2011070101-17","doi-asserted-by":"crossref","first-page":"43","DOI":"10.3127\/ajis.v14i2.23","article-title":"A socio-pragmatic constructionist framework for understanding quality in process modelling.","volume":"14","author":"J.Recker","year":"2007","journal-title":"Australasian Journal of Information Systems"},{"key":"jdm.2011070101-18","unstructured":"Recker, J., Rosemann, M., & van der Aalst, W. M. P. (2005). On the user perception of configurable reference process models \u2013 Initial insights. In Proceedings of the 16th Australian Conference on Information Systems, Sydney, NSW, Australia."},{"key":"jdm.2011070101-19","unstructured":"Sadiq, S., Orlowska, M., Sadiq, W., & Cameron, F. (2004). Data flow and validation in workflow modelling. In Proceedings of the 15th Australasian Database Conference, Dunedin, New Zealand."},{"key":"jdm.2011070101-20","doi-asserted-by":"crossref","unstructured":"Sarshar, K., & Loos, P. (2005). Comparing the control-flow of EPC and petri net from the end-user perspective. In W. M. P. van der Aalst, B. Benatallah, F. Casati, & F. Curbera (Eds.), Proceedings of the 3rd International Conference on Business Process Management (LNCS 3649, pp. 434-439).","DOI":"10.1007\/11538394_36"},{"issue":"1","key":"jdm.2011070101-21","doi-asserted-by":"crossref","first-page":"91","DOI":"10.3102\/00346543060001091","article-title":"Nonparametric tests of interaction in experimental design.","volume":"60","author":"S.Sawilowsky","year":"1990","journal-title":"Review of Educational Research"},{"journal-title":"ARIS-Business process modeling","year":"1998","author":"A. W.Scheer","key":"jdm.2011070101-22"},{"key":"jdm.2011070101-23","doi-asserted-by":"publisher","DOI":"10.1094\/PHYTO.2004.94.1.33"},{"key":"jdm.2011070101-24","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2004.12.006"},{"key":"jdm.2011070101-25","doi-asserted-by":"crossref","unstructured":"Soffer, P., Kaner, M., & Wand, Y. (2008). Assigning ontology-based semantics to process models: The case of petri nets. In Z. Bellahsene & M. Leonard (Eds.), Proceedings of the International Conference on Advanced Information Systems Engineering (LNCS 5074, pp. 16-31).","DOI":"10.1007\/978-3-540-69534-9_2"},{"key":"jdm.2011070101-26","doi-asserted-by":"crossref","unstructured":"Soffer, P., & Wand, Y. (2004). Goal-driven analysis of process model validity. In A. Pearsson & J. Stirna (Eds.), Proceedings of the International Conference on Advanced Information Systems Engineering (LNCS 3084, pp. 521-535).","DOI":"10.1007\/978-3-540-25975-6_37"},{"key":"jdm.2011070101-27","doi-asserted-by":"publisher","DOI":"10.1108\/14637150510630837"},{"issue":"3","key":"jdm.2011070101-28","doi-asserted-by":"crossref","first-page":"175","DOI":"10.17705\/1jais.00119","article-title":"Goal-driven multi-process analysis.","volume":"8","author":"P.Soffer","year":"2007","journal-title":"Journal of the Association for Information Systems"},{"journal-title":"Software engineering","year":"2007","author":"I.Sommerville","key":"jdm.2011070101-29"},{"issue":"1","key":"jdm.2011070101-30","first-page":"21","article-title":"The application of petri nets to workflow management. Journal of Circuits","volume":"8","author":"W. M. P.van der Aalst","year":"1998","journal-title":"Systems and Computers"},{"key":"jdm.2011070101-31","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(99)00016-6"},{"key":"jdm.2011070101-32","doi-asserted-by":"crossref","unstructured":"van der Aalst, W. M. P. (2002). Making work flow: On the application of petri nets to business process management. In J. Esparza & C. Lakos (Eds.), Proceedings of the 23rd International Conference on Application and Theory of Petri Nets (LNCS 2360, pp. 1-22).","DOI":"10.1007\/3-540-48068-4_1"},{"key":"jdm.2011070101-33","first-page":"71","article-title":"On the semantics of EPCs: A vicious circle","author":"W. M. P.van der Aalst","year":"2002","journal-title":"Gesch\u00e4ftsprozessmanagement mit Ereignisgesteuerten Prozessketten"},{"issue":"3-4","key":"jdm.2011070101-34","first-page":"459","article-title":"Preserving correctness during business process model configuration.","volume":"22","author":"W. M. P.van der Aalst","year":"2009","journal-title":"Formal Aspects of Computing"},{"key":"jdm.2011070101-35","doi-asserted-by":"crossref","unstructured":"Vanderfeesten, I., Reijers, H. A., Mendling, J., van der Aalst, W. M. P., & Cardoso, J. (2008). On a quest for good process models: The cross-connectivity metric. In Z. Bellahsene & M. Leonard (Eds.), Proceedings of the International Conference on Advanced Information Systems Engineering (LNCS 5074, pp. 480-494).","DOI":"10.1007\/978-3-540-69534-9_36"},{"key":"jdm.2011070101-36","unstructured":"Verbeek, H. M. W., & van der Aalst, W. M. P. (2006). On the verification of EPCs using T-invariants (Tech. Rep. No. BPM-06-05). Eindhoven, The Netherlands: BPM Center."},{"key":"jdm.2011070101-37","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/bxl074"},{"key":"jdm.2011070101-38","doi-asserted-by":"publisher","DOI":"10.1109\/32.60316"},{"key":"jdm.2011070101-39","doi-asserted-by":"publisher","DOI":"10.1111\/j.1365-2575.1995.tb00108.x"},{"key":"jdm.2011070101-40","doi-asserted-by":"publisher","DOI":"10.4018\/jdm.2003070101"},{"key":"jdm.2011070101-41","unstructured":"Zur-Muehlen, M., & Rosemann, M. (2004). Multi-paradigm process management. In Proceedings of the Workshop on Business Process Modeling, Development and Support (pp. 169-175)."}],"container-title":["Journal of Database Management"],"original-title":[],"language":"ng","link":[{"URL":"https:\/\/www.igi-global.com\/viewtitle.aspx?TitleId=55131","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,2]],"date-time":"2022-06-02T04:35:54Z","timestamp":1654144554000},"score":1,"resource":{"primary":{"URL":"https:\/\/services.igi-global.com\/resolvedoi\/resolve.aspx?doi=10.4018\/jdm.2011070101"}},"subtitle":["A Theoretical and Empirical Evaluation"],"short-title":[],"issued":{"date-parts":[[2011,7,1]]},"references-count":42,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2011,7]]}},"URL":"https:\/\/doi.org\/10.4018\/jdm.2011070101","relation":{},"ISSN":["1063-8016","1533-8010"],"issn-type":[{"type":"print","value":"1063-8016"},{"type":"electronic","value":"1533-8010"}],"subject":[],"published":{"date-parts":[[2011,7,1]]}}}