{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:26:00Z","timestamp":1742401560362},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540787426"},{"type":"electronic","value":"9783540787433"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-78743-3_4","type":"book-chapter","created":{"date-parts":[[2008,4,1]],"date-time":"2008-04-01T19:53:27Z","timestamp":1207079607000},"page":"46-61","source":"Crossref","is-referenced-by-count":30,"title":["Correctness-Preserving Configuration of Business Process Models"],"prefix":"10.1007","author":[{"given":"Wil M. P.","family":"van der Aalst","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marlon","family":"Dumas","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Florian","family":"Gottschalk","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arthur H. M.","family":"ter Hofstede","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marcello","family":"La Rosa","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jan","family":"Mendling","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"4_CR1","series-title":"Lecture Notes in Computer Science","first-page":"407","volume-title":"Application and Theory of Petri Nets 1997","author":"W.M.P. Aalst van der","year":"1997","unstructured":"van der Aalst, W.M.P.: Verification of Workflow Nets. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 407\u2013426. Springer, Heidelberg (1997)"},{"issue":"1-2","key":"4_CR2","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1016\/S0304-3975(00)00321-2","volume":"270","author":"W.M.P. Aalst van der","year":"2002","unstructured":"van der Aalst, W.M.P., Basten, T.: Inheritance of workflows: an approach to tackling problems related to change. Theoretical Computer Science\u00a0270(1-2), 125\u2013203 (2002)","journal-title":"Theoretical Computer Science"},{"issue":"1","key":"4_CR3","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1023\/B:FORM.0000004786.30007.f8","volume":"24","author":"P.A. Abdulla","year":"2004","unstructured":"Abdulla, P.A., Iyer, S.P., Nyln, A.: SAT-solving the coverability problem for Petri nets. Formal Methods in System Design\u00a024(1), 25\u201343 (2004)","journal-title":"Formal Methods in System Design"},{"key":"4_CR4","doi-asserted-by":"crossref","unstructured":"Antkiewicz, M., Czarnecki, K.: FeaturePlugIn: Feature modeling plug-in for Eclipse. In: Proceedings of the 2004 OOPSLA workshop on eclipse technology eXchange, pp. 67\u201372 (2004)","DOI":"10.1145\/1066129.1066143"},{"key":"4_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/11554844_3","volume-title":"Software Product Lines","author":"D.S. Batory","year":"2005","unstructured":"Batory, D.S.: Feature Models, Grammars, and Propositional Formulas. In: Obbink, H., Pohl, K. (eds.) SPLC 2005. LNCS, vol.\u00a03714, pp. 7\u201320. Springer, Heidelberg (2005)"},{"key":"4_CR6","unstructured":"Curran, T., Keller, G.: SAP R\/3 Business Blueprint: Understanding the Business Process Reference Model, Upper Saddle River (1997)"},{"key":"4_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1007\/11561347_28","volume-title":"Generative Programming and Component Engineering","author":"K. Czarnecki","year":"2005","unstructured":"Czarnecki, K., Antkiewicz, M.: Mapping Features to Models: A Template Approach Based on Superimposed Variants. In: Gl\u00fcck, R., Lowry, M. (eds.) GPCE 2005. LNCS, vol.\u00a03676, pp. 422\u2013437. Springer, Heidelberg (2005)"},{"key":"4_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"266","DOI":"10.1007\/978-3-540-28630-1_17","volume-title":"Software Product Lines","author":"K. Czarnecki","year":"2004","unstructured":"Czarnecki, K., Helsen, S., Eisenecker, U.: Staged configuration using feature models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol.\u00a03154, pp. 266\u2013283. Springer, Heidelberg (2004)"},{"key":"4_CR9","volume-title":"Cambridge Tracts in Theoretical Computer Science","author":"J. Desel","year":"1995","unstructured":"Desel, J., Esparza, J.: Free Choice Petri Nets. In: Cambridge Tracts in Theoretical Computer Science, vol.\u00a040, Cambridge University Press, Cambridge (1995)"},{"key":"4_CR10","first-page":"99","volume-title":"Configuration Management","author":"J. Estublier","year":"1994","unstructured":"Estublier, J., Casallas, R.: The Adele Software Configuration Manager. In: Configuration Management, pp. 99\u2013139. John Wiley & Sons, Chichester (1994)"},{"key":"4_CR11","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-7908-1966-3_3","volume-title":"Reference Modeling","author":"F. Gottschalk","year":"2007","unstructured":"Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, M.H.: Configurable Process Models \u2013 A Foundational Approach. In: Becker, J., Delfmann, P. (eds.) Reference Modeling, pp. 59\u201378. Springer, Heidelberg (2007)"},{"key":"4_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"262","DOI":"10.1007\/978-3-540-75183-0_19","volume-title":"Business Process Management","author":"F. Gottschalk","year":"2007","unstructured":"Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, M.H.: SAP WebFlow Made Configurable: Unifying Workflow Templates into a Configurable Model. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 262\u2013270. Springer, Heidelberg (2007)"},{"key":"4_CR13","unstructured":"Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, M.H., La Rosa, M.: Configurable Workflow Models. BETA Working Paper 222, Eindhoven University of Technology, The Netherlands (2007)"},{"key":"4_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"424","DOI":"10.1007\/978-3-540-72988-4_30","volume-title":"Advanced Information Systems Engineering","author":"M. La Rosa","year":"2007","unstructured":"La Rosa, M., Lux, J., Seidel, S., Dumas, M., ter Hofstede, A.H.M.: Questionnaire-driven Configuration of Reference Process Models. In: Krogstie, J., Opdahl, A., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol.\u00a04495, pp. 424\u2013438. Springer, Heidelberg (2007)"},{"key":"4_CR15","doi-asserted-by":"crossref","unstructured":"Minato, S., Ishiura, N., Yajima, S.: Shared Binary Decision Diagram with Attributed Edges for Efficient Boolean function Manipulation. In: Proceedings of the 27th ACM\/IEEE Conference on Design Automation, pp. 52\u201357 (1990)","DOI":"10.1145\/123186.123225"},{"issue":"4","key":"4_CR16","doi-asserted-by":"publisher","first-page":"541","DOI":"10.1109\/5.24143","volume":"77","author":"T. Murata","year":"1989","unstructured":"Murata, T.: Petri Nets: Properties, Analysis and Applications. Proceedings of the IEEE\u00a077(4), 541\u2013580 (1989)","journal-title":"Proceedings of the IEEE"},{"key":"4_CR17","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-28901-1","volume-title":"Software Product-line Engineering \u2013 Foundations, Principles and Techniques","author":"K. Pohl","year":"2005","unstructured":"Pohl, K., B\u00f6ckle, G., van der Linden, F.: Software Product-line Engineering \u2013 Foundations, Principles and Techniques. Springer, Berlin (2005)"},{"issue":"1","key":"4_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.is.2005.05.003","volume":"32","author":"M. Rosemann","year":"2007","unstructured":"Rosemann, M., van der Aalst, W.M.P.: A Configurable Reference Modelling Language. Information Systems\u00a032(1), 1\u201323 (2007)","journal-title":"Information Systems"},{"issue":"5","key":"4_CR19","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1016\/j.is.2004.05.002","volume":"30","author":"S.W. Sadiq","year":"2005","unstructured":"Sadiq, S.W., Orlowska, M.E., Sadiq, W.: Specification and validation of process constraints for flexible workflows. Information Systems\u00a030(5), 349\u2013378 (2005)","journal-title":"Information Systems"},{"issue":"1","key":"4_CR20","first-page":"9","volume":"1","author":"S. Stephens","year":"2001","unstructured":"Stephens, S.: The Supply Chain Council and the SCOR Reference Model. Supply Chain Management - An International Journal\u00a01(1), 9\u201313 (2001)","journal-title":"Supply Chain Management - An International Journal"},{"key":"4_CR21","unstructured":"Taylor, C., Probst, C.: Business Process Reference Model Languages: Experiences from BPI Projects. In: Proceedings of INFORMATIK 2003, Jahrestagung der Gesellschaft f\u00fcr Informatik e. V (GI), pp. 259\u2013263 (2003)"},{"key":"4_CR22","doi-asserted-by":"publisher","first-page":"166","DOI":"10.1145\/986537.986576","volume-title":"Proceedings of the 42nd ACM Southeast Regional Conference","author":"E. Turkay","year":"2004","unstructured":"Turkay, E., Gokhale, A.S., Natarajan, B.: Addressing the Middleware Configuration Challenges using Model-based Techniques. In: Proceedings of the 42nd ACM Southeast Regional Conference, Huntsville AL, pp. 166\u2013170. ACM Press, New York (2004)"},{"issue":"4","key":"4_CR23","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1093\/comjnl\/44.4.246","volume":"44","author":"H.M.W. Verbeek","year":"2001","unstructured":"Verbeek, H.M.W., Basten, T., van der Aalst, W.M.P.: Diagnosing Workflow Processes using Woflan. The Computer Journal\u00a044(4), 246\u2013279 (2001)","journal-title":"The Computer Journal"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-78743-3_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,1,25]],"date-time":"2019-01-25T00:35:43Z","timestamp":1548376543000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-78743-3_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540787426","9783540787433"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-78743-3_4","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}