{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,26]],"date-time":"2025-10-26T21:21:27Z","timestamp":1761513687515,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319228846"},{"type":"electronic","value":"9783319228853"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-22885-3_28","type":"book-chapter","created":{"date-parts":[[2015,9,1]],"date-time":"2015-09-01T09:57:08Z","timestamp":1441101428000},"page":"323-335","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["A Validation Method of Configurable Business Processes Based on Data-Flow"],"prefix":"10.1007","author":[{"given":"Yiwang","family":"Huang","sequence":"first","affiliation":[]},{"given":"Zaiwen","family":"Feng","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2015,9,2]]},"reference":[{"issue":"3","key":"28_CR1","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1016\/j.scico.2003.04.004","volume":"53","author":"DL Webber","year":"2004","unstructured":"Webber, D.L., Gomaa, H.: Modeling variability in software product lines with the variation point model. Sci. Comput. Program. 53(3), 305\u2013331 (2004)","journal-title":"Sci. Comput. Program."},{"key":"28_CR2","unstructured":"Classen, A., Heymans, P., Schobbens, P.Y., Legay, A., Raskin, J.F.: Model checking lots of systems: efficient verification of temporal properties in software product lines. In: 32th IEEE International Conference on Software Engineering, pp. 335\u2013344. IEEE Press, New York (2010)"},{"issue":"8","key":"28_CR3","doi-asserted-by":"publisher","first-page":"1069","DOI":"10.1109\/TSE.2012.86","volume":"39","author":"A Classen","year":"2012","unstructured":"Classen, A., Cordy, M., Schobbens, P.Y., Heymans, P., Legay, A., Raskin, J.F.: Featured transition systems: foundations for verifying variability- intensive systems and their application to LTL model checking. IEEE Trans. Softw. Eng. 39(8), 1069\u20131089 (2012)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"28_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","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.: Staged configuration using feature models. In: Nord, R.L. (ed.) SPLC 2004. LNCS, vol. 3154, pp. 266\u2013283. Springer, Heidelberg (2004)"},{"key":"28_CR5","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1007\/978-3-7908-1966-3_3","volume-title":"Reference Modeling: Efficient Information Systems Design through Reuse of Information Models","author":"F Gottschalk","year":"2007","unstructured":"Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, H.M.: Configurable process models: a foundational approach. Reference Modeling: Efficient Information Systems Design through Reuse of Information Models, pp. 59\u201378. Springer, Heidelberg (2007)"},{"issue":"2","key":"28_CR6","doi-asserted-by":"publisher","first-page":"177","DOI":"10.1142\/S0218843008001798","volume":"17","author":"F Gottschalk","year":"2008","unstructured":"Gottschalk, F., van der Aalst, W.M.P., Jansen-Vullers, H.M., la Rosa, M.: Configurable workflow models. Int. J. Coop. Inf. Syst. 17(2), 177\u2013221 (2008)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"28_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"486","DOI":"10.1007\/978-3-642-02144-2_38","volume-title":"Advanced Information Systems Engineering","author":"F Gottschalk","year":"2009","unstructured":"Gottschalk, F., Wagemakers, T.A., Jansen-Vullers, M.H., van der Aalst, W.M., La Rosa, M.: Configurable process models: experiences from a municipality case study. In: van Eck, P., Gordijn, J., Wieringa, R. (eds.) CAiSE 2009. LNCS, vol. 5565, pp. 486\u2013500. Springer, Heidelberg (2009)"},{"issue":"1","key":"28_CR8","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 modeling language. Inf. Syst. 32(1), 1\u201323 (2007)","journal-title":"Inf. Syst."},{"issue":"2","key":"28_CR9","doi-asserted-by":"publisher","first-page":"313","DOI":"10.1016\/j.is.2010.07.001","volume":"36","author":"M La Rosa","year":"2011","unstructured":"La Rosa, M., Dumas, M., ter Hofstede, A.H.M., Mendling, J.: Configurable multi-perspective business process Models. Inf. Syst. 36(2), 313\u2013340 (2011)","journal-title":"Inf. Syst."},{"issue":"2","key":"28_CR10","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10270-008-0090-3","volume":"8","author":"M La Rosa","year":"2009","unstructured":"La Rosa, M., van der Aalst, W.M.P., Dumas, M., terHofstede, A.H.M.: Questionnaire-based variability modeling for system configuration. Softw. Syst. Model. 8(2), 251\u2013274 (2009)","journal-title":"Softw. Syst. Model."},{"key":"28_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/978-3-540-87877-3_16","volume-title":"Conceptual Modeling - ER 2008","author":"M La Rosa","year":"2008","unstructured":"La Rosa, M., Dumas, M., ter Hofstede, A.H., Mendling, J., Gottschalk, F.: Beyond control-flow: extending business process configuration to roles and objects. In: Li, Q., Spaccapietra, S., Yu, E., Oliv\u00e9, A. (eds.) ER 2008. LNCS, vol. 5231, pp. 199\u2013215. Springer, Heidelberg (2008)"},{"key":"28_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"95","DOI":"10.1007\/978-3-642-15618-2_9","volume-title":"Business Process Management","author":"W van der Aalst","year":"2010","unstructured":"van der Aalst, W., Lohmann, N., La Rosa, M., Xu, J.: Correctness ensuring process configuration: an approach based on partner synthesis. In: Hull, R., Mendling, J., Tai, S. (eds.) BPM 2010. LNCS, vol. 6336, pp. 95\u2013111. Springer, Heidelberg (2010)"},{"issue":"3\u20134","key":"28_CR13","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s00165-009-0112-0","volume":"22","author":"WMP van der Aalst","year":"2010","unstructured":"van der Aalst, W.M.P., Dumas, M., Gottschalk, F., terHofstede, A.H.M., La Rosa, M., Mendling, J.: Preserving correctness during business process model configuration. Formal Aspects Comput. 22(3\u20134), 459\u2013482 (2010)","journal-title":"Formal Aspects Comput."},{"issue":"7","key":"28_CR14","doi-asserted-by":"publisher","first-page":"483","DOI":"10.1631\/jzus.C1100364","volume":"13","author":"ZX Wang","year":"2012","unstructured":"Wang, Z.X., Wang, J.M., Zhu, X.C., Wen, L.J.: Verification of workflow nets with transition conditions. J. Zhejiang Univ. Sci. C. 13(7), 483\u2013509 (2012)","journal-title":"J. Zhejiang Univ. Sci. C."},{"issue":"3","key":"28_CR15","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/S0166-3615(02)00099-4","volume":"49","author":"DS Liu","year":"2002","unstructured":"Liu, D.S., Wang, J.M., Chan, S.C.F., Sun, J.G., Zhang, L.: Modeling workflow processes with colored petri nets. Comput. Indus. 49(3), 267\u2013281 (2002)","journal-title":"Comput. Indus."},{"issue":"7","key":"28_CR16","doi-asserted-by":"publisher","first-page":"1026","DOI":"10.1016\/j.is.2011.04.004","volume":"36","author":"N Sidorova","year":"2011","unstructured":"Sidorova, N., Stahl, C., Tr\u010dka, N.: Soundness verification for conceptual workflow nets with data: early detection of errors with the most precision possible. Inf. Syst. 36(7), 1026\u20131043 (2011)","journal-title":"Inf. Syst."},{"key":"28_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"6","DOI":"10.1007\/978-3-642-38143-0_2","volume-title":"Transactions on Petri Nets and Other Models of Concurrency VII","author":"WMP van er Aalst","year":"2013","unstructured":"van der Aalst, W.M.P., Stahl, C., van der Westergaard, M.: Strategies for modeling complex processes using colored petri nets. In: Jensen, K., van der Aalst, W.M., Balbo, G., Koutny, M., Wolf, K. (eds.) ToPNoC VII. LNCS, vol. 7480, pp. 6\u201355. Springer, Heidelberg (2013)"},{"key":"28_CR18","volume-title":"Colored Petri Nets: Modelling and Validation of Concurrent Systems","author":"J Kurt","year":"2009","unstructured":"Kurt, J., Lars, M.K.: Colored Petri Nets: Modelling and Validation of Concurrent Systems. Springer, Berlin (2009)"},{"key":"28_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/11575771_14","volume-title":"On the Move to Meaningful Internet Systems 2005: CoopIS, DOA, and ODBASE","author":"KM van Hee","year":"2005","unstructured":"van Hee, K.M., Oanea, O., Sidorova, N.: Colored petri nets to verify extended event-driven process chains. In: Meersman, R., Tari, Z. (eds.) OTM 2005. LNCS, vol. 3760, pp. 183\u2013201. Springer, Heidelberg (2005)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing - ICSOC 2014 Workshops"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-22885-3_28","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,31]],"date-time":"2023-01-31T04:30:27Z","timestamp":1675139427000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-22885-3_28"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319228846","9783319228853"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-22885-3_28","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"2 September 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}