{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,12]],"date-time":"2026-05-12T10:04:40Z","timestamp":1778580280685,"version":"3.51.4"},"reference-count":43,"publisher":"Association for Computing Machinery (ACM)","issue":"3","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Form. Asp. Comput."],"published-print":{"date-parts":[[2010,5]]},"abstract":"<jats:title>Abstract<\/jats:title><jats:p>A configurable process model captures a family of related process models in a single artifact. Such models are intended to be configured to fit the requirements of specific organizations or projects, leading to individualized process models that are subsequently used for domain analysis or solution design. This article proposes a formal foundation for individualizing configurable process models incrementally, while preserving correctness, both with respect to syntax and behavioral semantics. Specifically, assuming the configurable process model is behaviorally sound, the individualized process models are guaranteed to be sound. The theory is first developed in the context of Petri nets and then extended to a process modeling notation widely used in practice, namely Event-driven Process Chains.<\/jats:p>","DOI":"10.1007\/s00165-009-0112-0","type":"journal-article","created":{"date-parts":[[2009,4,17]],"date-time":"2009-04-17T22:25:07Z","timestamp":1240007107000},"page":"459-482","source":"Crossref","is-referenced-by-count":84,"title":["Preserving correctness during business process model configuration"],"prefix":"10.1145","volume":"22","author":[{"given":"Wil M. P.","family":"van der Aalst","sequence":"first","affiliation":[{"name":"Eindhoven University of Technology, P.O. Box 513, 5600\u00a0MB, Eindhoven, The Netherlands"},{"name":"Queensland University of Technology, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marlon","family":"Dumas","sequence":"additional","affiliation":[{"name":"University of Tartu, Tartu, Estonia"},{"name":"Queensland University of Technology, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Gottschalk","sequence":"additional","affiliation":[{"name":"Eindhoven University of Technology, P.O. Box 513, 5600\u00a0MB, Eindhoven, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arthur H. M.","family":"ter Hofstede","sequence":"additional","affiliation":[{"name":"Queensland University of Technology, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcello La","family":"Rosa","sequence":"additional","affiliation":[{"name":"Queensland University of Technology, Brisbane, Australia"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Mendling","sequence":"additional","affiliation":[{"name":"Humboldt University of Berlin, Berlin, Germany"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","reference":[{"key":"e_1_2_1_2_1_2","doi-asserted-by":"crossref","unstructured":"van der Aalst WMP (1997) Verification of workflow nets. In: Az\u00e9ma P Balbo G (eds) Proceedings of the 18th international conference on application and theory of Petri net. Lecture Notes in Computer Science vol 1248. Springer Heidelberg pp 407\u2013426","DOI":"10.1007\/3-540-63139-9_48"},{"key":"e_1_2_1_2_2_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0950-5849(99)00016-6"},{"key":"e_1_2_1_2_3_2","doi-asserted-by":"publisher","DOI":"10.1016\/S0304-3975(00)00321-2"},{"key":"e_1_2_1_2_4_2","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1145\/1066129.1066143","volume-title":"Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange, (ETX 2004)","author":"Antkiewicz M","year":"2004"},{"key":"e_1_2_1_2_5_2","doi-asserted-by":"publisher","DOI":"10.1023\/B:FORM.0000004786.30007.f8"},{"key":"e_1_2_1_2_6_2","doi-asserted-by":"publisher","DOI":"10.5555\/1327540.1327710"},{"key":"e_1_2_1_2_7_2","first-page":"7","volume-title":"Proceedings of the 9th international conference on software product lines (SPLC\u201905). Lecture Notes in Computer Science, vol 3714","author":"Batory DS","year":"2005"},{"key":"e_1_2_1_2_8_2","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/978-3-7908-1966-3_2","volume-title":"Proceedings of the reference modeling conference (RM\u201906)","author":"Becker J","year":"2007"},{"key":"e_1_2_1_2_9_2","doi-asserted-by":"crossref","unstructured":"Bunke H (2000) Recent developments in graph matching. In: Sanfeliu A Villanueva JJ Vanrell M Alquezar R Jain AK Kittler J (eds) Proceedings of the 15th international conference on pattern recognition (ICPR\u201900) vol 2. IEEE Computer Society pp 117\u2013124","DOI":"10.1109\/ICPR.2000.906030"},{"key":"e_1_2_1_2_10_2","doi-asserted-by":"crossref","first-page":"422","DOI":"10.1007\/11561347_28","volume-title":"Proceedings of the 4th international conference on generative programming and component engineering","author":"Czarnecki K","year":"2005"},{"key":"e_1_2_1_2_11_2","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/978-3-540-28630-1_17","volume-title":"Proceedings of the 3rd international conference on software product lines (SPLC\u201904)","author":"Czarnecki K","year":"2004"},{"key":"e_1_2_1_2_12_2","unstructured":"Curran T Keller G (1997) SAP R\/3 business blueprint: understanding the business process reference model. Upper Saddle River"},{"key":"e_1_2_1_2_13_2","doi-asserted-by":"publisher","DOI":"10.1109\/12.707587"},{"key":"e_1_2_1_2_14_2","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511526558","volume-title":"Free choice Petri nets. Cambridge tracts in theoretical computer science, vol 40","author":"Desel J","year":"1995"},{"key":"e_1_2_1_2_15_2","unstructured":"Estublier J Casallas R (1994) The adele software configuration manager. In: Configuration management. Wiley London pp 99\u2013139"},{"key":"e_1_2_1_2_16_2","doi-asserted-by":"publisher","DOI":"10.1007\/BF00264611"},{"key":"e_1_2_1_2_17_2","first-page":"210","volume-title":"Advances in Petri nets. Lecture Notes in Computer Science, vol 483","author":"Esparza J","year":"1990"},{"key":"e_1_2_1_2_18_2","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-7908-1966-3_3"},{"key":"e_1_2_1_2_19_2","doi-asserted-by":"publisher","DOI":"10.1142\/S0218843008001798"},{"key":"e_1_2_1_2_20_2","volume-title":"Proceedings of the 21st international conference on advanced information systems engineering (CAiSE\u201909)","author":"Gottschalk F","year":"2009"},{"key":"e_1_2_1_2_21_2","doi-asserted-by":"crossref","unstructured":"van Hee KM Oanea O Sidorova N (2005) Colored Petri nets to verify extended event-driven process chains. In: Meersman R Tari Z (eds) Proceedings of CoopIS\/DOA\/ODBASE. Lecture Notes in Computer Science vol 3760. Springer Heidelberg pp 183\u2013201","DOI":"10.1007\/11575771_14"},{"key":"e_1_2_1_2_22_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2007.06.005"},{"key":"e_1_2_1_2_23_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.datak.2005.02.005"},{"key":"e_1_2_1_2_24_2","unstructured":"Keller G N\u00fcttgens M Scheer A-W (1992) Semantische Prozessmodellierung auf der Grundlage Ereignisgesteuerter Processketten (EPK). Ver\u00f6ffentlichungen des Instituts f\u00fcr Wirtschaftsinformatik University of Saarland Saarbr\u00fccken (in German)"},{"key":"e_1_2_1_2_25_2","doi-asserted-by":"crossref","unstructured":"La Rosa M Dumas M ter Hofstede AHM Mendling J Gottschalk F (2008) Beyond control-flow: extending business process configuration to roles and objects. In: Li Q Spaccapietra S Yu E Oliv\u00e9 A (eds) Proceedings of the 27th international conference on conceptual modeling (ER\u201908). Lecture Notes in Computer Science vol 5231. Springer Heidelberg pp 199\u2013215","DOI":"10.1007\/978-3-540-87877-3_16"},{"key":"e_1_2_1_2_26_2","unstructured":"La Rosa M ter Hofstede AHM Rosemann M Shortland K (2008) Bringing process to post production. In: Proceedings of the international conference \u201cCreating value: between commerce and commons\u201d. Queensland University of Technology"},{"key":"e_1_2_1_2_27_2","unstructured":"La Rosa M Lux J Seidel S Dumas M ter Hofstede AHM (2007) Questionnaire-driven configuration of reference process models. In: Krogstie J Opdahl AL Sindre G (eds) Proceedings of the 19th international conference on advanced information systems engineering (CAiSE\u201907). Lecture Notes in Computer Science vol 4495. Springer Heidelberg pp 424\u2013438"},{"key":"e_1_2_1_2_28_2","doi-asserted-by":"crossref","unstructured":"Langner P Schneider C Wehler J (1998) Petri net based certification of event driven process chains. In: Desel J Silva M (eds) Application and theory of Petri nets of Lecture Notes in Computer Science vol 1420. Springer Heidelberg pp 286\u2013305","DOI":"10.1007\/3-540-69108-1_16"},{"key":"e_1_2_1_2_29_2","unstructured":"Mendling J van der Aalst WMP (2007) Formalization and verification of EPCs with OR-Joins based on state and context. In: Krogstie J Opdahl AL Sindre G (eds) Proceedings of the 19th international conference on advanced information systems engineering (CAiSE\u201907). Lecture Notes in Computer Science vol 4495. Springer Heidelberg pp 439\u2013453"},{"issue":"4","key":"e_1_2_1_2_30_2","first-page":"403","article-title":"Getting Rid of OR-joins and multiple start events in business process models","volume":"2","author":"Mendling J","year":"2008","journal-title":"Enterprise Information Systems. Special Issue on EDOC 2007 Best Papers"},{"key":"e_1_2_1_2_31_2","doi-asserted-by":"crossref","first-page":"52","DOI":"10.1145\/123186.123225","volume-title":"Proceedings of the 27th ACM\/IEEE design automation conference","author":"Minato S","year":"1990"},{"key":"e_1_2_1_2_32_2","doi-asserted-by":"publisher","DOI":"10.1109\/5.24143"},{"key":"e_1_2_1_2_33_2","unstructured":"N\u00fcttgens M Rump FJ (2002) Syntax und Semantik Ereignisgesteuerter Prozessketten (EPK). In: Desel J Weske M (eds) Proceedings of promise. Lecture Notes in Informatics vol 21. GI pp 64\u201377"},{"key":"e_1_2_1_2_34_2","doi-asserted-by":"crossref","unstructured":"Ouyang C Dumas M van der Aalst WMP ter Hofstede AHM Mendling J (2009) From business process models to process-oriented software systems: the BPMN to BPEL way. ACM Trans Softw Eng Methodol (forthcoming)","DOI":"10.1145\/1555392.1555395"},{"key":"e_1_2_1_2_35_2","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software product-line engineering\u2014foundations, principles and techniques","author":"Pohl K","year":"2005"},{"key":"e_1_2_1_2_36_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2005.05.003"},{"key":"e_1_2_1_2_37_2","doi-asserted-by":"crossref","unstructured":"Razavian M Khosravi R (2008) Modeling variability in business process models using UML. In: Latifi S (ed) Proceedings of the 5th international conference on information technology: new generations (ITGN\u201908) pp 82\u201387","DOI":"10.1109\/ITNG.2008.132"},{"key":"e_1_2_1_2_38_2","doi-asserted-by":"crossref","unstructured":"Sarshar K Loos P (2005a) Comparing the control-flow of EPC and Petri net from the end-user perspective. In: van der Aalst WMP Benatallah B Casati F (eds.) Proceedings of the 3rd international conference on business process management (BPM\u201905). Lecture Notes in Computer Science vol 3649. Springer Heidelberg pp 434\u2013439","DOI":"10.1007\/11538394_36"},{"key":"e_1_2_1_2_39_2","doi-asserted-by":"publisher","DOI":"10.1016\/j.is.2004.05.002"},{"key":"e_1_2_1_2_40_2","unstructured":"Schnieders A Puhlmann F (2006) Variability mechanisms in E-Business process families. In: Abramowicz W Mayr HC (eds) Proceedings of the 9th international conference on business information systems (BIS\u201906). LNI vol 85. GI pp 583\u2013601"},{"issue":"1","key":"e_1_2_1_2_41_2","first-page":"9","article-title":"The supply chain council and the supply chain operations reference model","volume":"1","author":"Stephens S","year":"2001","journal-title":"Supply Chain Manag An Int J"},{"key":"e_1_2_1_2_42_2","doi-asserted-by":"crossref","first-page":"166","DOI":"10.1145\/986537.986576","volume-title":"Proceedings of the 42nd ACM southeast regional conference","author":"Turkay E","year":"2004"},{"key":"e_1_2_1_2_43_2","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/44.4.246"}],"container-title":["Formal Aspects of Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1007\/s00165-009-0112-0","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T01:31:18Z","timestamp":1739064678000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1007\/s00165-009-0112-0"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,5]]},"references-count":43,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2010,5]]}},"alternative-id":["10.1007\/s00165-009-0112-0"],"URL":"https:\/\/doi.org\/10.1007\/s00165-009-0112-0","relation":{},"ISSN":["0934-5043","1433-299X"],"issn-type":[{"value":"0934-5043","type":"print"},{"value":"1433-299X","type":"electronic"}],"subject":[],"published":{"date-parts":[[2010,5]]}}}