{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T10:01:43Z","timestamp":1743156103595,"version":"3.40.3"},"publisher-location":"Cham","reference-count":31,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030273545"},{"type":"electronic","value":"9783030273552"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-030-27355-2_4","type":"book-chapter","created":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T23:03:04Z","timestamp":1566169384000},"page":"47-62","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["A SAT-Based Formal Approach for Verifying Business Process Configuration"],"prefix":"10.1007","author":[{"given":"Abderrahim","family":"Ait Wakrime","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Souha","family":"Boubaker","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Slim","family":"Kallel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Walid","family":"Gaaloul","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,8,1]]},"reference":[{"issue":"1","key":"4_CR1","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.: A configurable reference modelling language. Inf. Syst. 32(1), 1\u201323 (2007)","journal-title":"Inf. Syst."},{"key":"4_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"497","DOI":"10.1007\/11678564_46","volume-title":"Business Process Management Workshops","author":"J Recker","year":"2006","unstructured":"Recker, J., Rosemann, M., van der Aalst, W., Mendling, J.: On the syntax of reference model configuration \u2013 transforming the C-EPC into lawful EPC models. In: Bussler, C.J., Haller, A. (eds.) BPM 2005. LNCS, vol. 3812, pp. 497\u2013511. Springer, Heidelberg (2006). https:\/\/doi.org\/10.1007\/11678564_46"},{"issue":"6\u20137","key":"4_CR3","doi-asserted-by":"crossref","first-page":"519","DOI":"10.1002\/smr.491","volume":"22","author":"A Hallerbach","year":"2010","unstructured":"Hallerbach, A., Bauer, T., Reichert, M.: Capturing variability in business process models: the Provop approach. J. Softw. Maint. Evol. Res. Pract. 22(6\u20137), 519\u2013546 (2010)","journal-title":"J. Softw. Maint. Evol. Res. Pract."},{"issue":"2","key":"4_CR4","doi-asserted-by":"publisher","first-page":"112","DOI":"10.1016\/j.compind.2011.12.002","volume":"63","author":"A Kumar","year":"2012","unstructured":"Kumar, A., Yao, W.: Design and management of flexible process variants using templates and rules. Comput. Ind. 63(2), 112\u2013130 (2012)","journal-title":"Comput. Ind."},{"issue":"5","key":"4_CR5","doi-asserted-by":"publisher","first-page":"709","DOI":"10.1016\/j.is.2012.11.010","volume":"38","author":"G Gr\u00f6Ner","year":"2013","unstructured":"Gr\u00f6Ner, G., Bo\u0161Kovi\u0107, M., Parreiras, F.S., Ga\u0161Evi\u0107, D.: Modeling and validation of business process families. Inf. Syst. 38(5), 709\u2013726 (2013)","journal-title":"Inf. Syst."},{"key":"4_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"198","DOI":"10.1007\/978-3-319-23063-4_14","volume-title":"Business Process Management","author":"N Assy","year":"2015","unstructured":"Assy, N., Gaaloul, W.: Extracting configuration guidance models from business process repositories. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM 2015. LNCS, vol. 9253, pp. 198\u2013206. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-23063-4_14"},{"key":"4_CR7","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/j.jss.2014.05.063","volume":"96","author":"M Asadi","year":"2014","unstructured":"Asadi, M., Mohabbati, B., Gr\u00f6ner, G., Gasevic, D.: Development and validation of customized process models. J. Syst. Softw. 96, 73\u201392 (2014)","journal-title":"J. Syst. Softw."},{"issue":"2","key":"4_CR8","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., Dumas, M., Ter Hofstede, A.H.: Questionnaire-based variability modeling for system configuration. Softw. Syst. Model. 8(2), 251\u2013274 (2009)","journal-title":"Softw. Syst. Model."},{"issue":"3\u20134","key":"4_CR9","doi-asserted-by":"publisher","first-page":"459","DOI":"10.1007\/s00165-009-0112-0","volume":"22","author":"WM van der Aalst","year":"2010","unstructured":"van der Aalst, W.M., Dumas, M., Gottschalk, F., Ter Hofstede, A.H., 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."},{"key":"4_CR10","doi-asserted-by":"crossref","unstructured":"Hallerbach, A., Bauer, T., Reichert, M.: Guaranteeing soundness of configurable process variants in Provop. In: 2009 IEEE Conference on Commerce and Enterprise Computing, pp. 98\u2013105. IEEE (2009)","DOI":"10.1109\/CEC.2009.62"},{"issue":"2","key":"4_CR11","doi-asserted-by":"publisher","first-page":"264","DOI":"10.1007\/s11704-016-6048-7","volume":"12","author":"F He","year":"2018","unstructured":"He, F., Gao, Y., Yin, L.: Efficient software product-line model checking using induction and a SAT solver. Front. Comput. Sci. 12(2), 264\u2013279 (2018)","journal-title":"Front. Comput. Sci."},{"key":"4_CR12","unstructured":"Mendonca, M., W\u0105sowski, A., Czarnecki, K.: SAT-based analysis of feature models is easy. In: Proceedings of the 13th International Software Product Line Conference, pp. 231\u2013240. Carnegie Mellon University (2009)"},{"issue":"4","key":"4_CR13","doi-asserted-by":"publisher","first-page":"14","DOI":"10.1145\/3176644","volume":"26","author":"Y Xiang","year":"2018","unstructured":"Xiang, Y., Zhou, Y., Zheng, Z., Li, M.: Configuring software product lines by combining many-objective optimization and SAT solvers. ACM Trans. Softw. Eng. Methodol. (TOSEM) 26(4), 14 (2018)","journal-title":"ACM Trans. Softw. Eng. Methodol. (TOSEM)"},{"key":"4_CR14","doi-asserted-by":"crossref","unstructured":"Marques-Silva, J.P., Sakallah, K.A.: Boolean satisfiability in electronic design automation. In: Proceedings of the 37th Annual Design Automation Conference, pp. 675\u2013680. ACM (2000)","DOI":"10.1145\/337292.337611"},{"key":"4_CR15","doi-asserted-by":"publisher","first-page":"1760","DOI":"10.1093\/comjnl\/bxx039","volume":"60","author":"AA Wakrime","year":"2017","unstructured":"Wakrime, A.A.: Satisfiability-based privacy-aware cloud computing. Comput. J. 60, 1760\u20131769 (2017)","journal-title":"Comput. J."},{"key":"4_CR16","unstructured":"Assy, N.: Automated support of the variability in configurable process models. Ph.D. thesis, University of Paris-Saclay, France (2015)"},{"key":"4_CR17","doi-asserted-by":"crossref","unstructured":"Tseitin, G.: On the complexity of derivations in the propositional calculus. In: Slesenko, H. (ed.): Structures in Constructives Mathematics and Mathematical Logic, Part II, pp. 115\u2013125 (1968)","DOI":"10.1007\/978-1-4899-5327-8_25"},{"key":"4_CR18","doi-asserted-by":"crossref","unstructured":"Moskewicz, M.W., Madigan, C.F., Zhao, Y., Zhang, L., Malik, S.: Chaff: engineering an efficient SAT solver. In: Proceedings of the 38th Annual Design Automation Conference, pp. 530\u2013535. ACM (2001)","DOI":"10.1145\/378239.379017"},{"key":"4_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"502","DOI":"10.1007\/978-3-540-24605-3_37","volume-title":"Theory and Applications of Satisfiability Testing","author":"N E\u00e9n","year":"2004","unstructured":"E\u00e9n, N., S\u00f6rensson, N.: An extensible SAT-solver. In: Giunchiglia, E., Tacchella, A. (eds.) SAT 2003. LNCS, vol. 2919, pp. 502\u2013518. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-24605-3_37"},{"key":"4_CR20","unstructured":"Zhang, L., Madigan, C.F., Moskewicz, M.H., Malik, S.: Efficient conflict driven learning in a Boolean satisfiability solver. In: Proceedings of the 2001 IEEE\/ACM International Conference on Computer-Aided Design, pp. 279\u2013285. IEEE Press (2001)"},{"issue":"3","key":"4_CR21","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/s00236-002-0105-4","volume":"39","author":"B Kiepuszewski","year":"2003","unstructured":"Kiepuszewski, B., ter Hofstede, A.H., van der Aalst, W.M.: Fundamentals of control flow in workflows. Acta Inform. 39(3), 143\u2013209 (2003)","journal-title":"Acta Inform."},{"issue":"02","key":"4_CR22","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., Jansen-Vullers, M.H., La Rosa, M.: Configurable workflow models. Int. J. Coop. Inf. Syst. 17(02), 177\u2013221 (2008)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"4_CR23","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-30359-3_3","volume-title":"Business Information Systems","author":"DMM Schunselaar","year":"2012","unstructured":"Schunselaar, D.M.M., Verbeek, E., van der Aalst, W.M.P., Raijers, H.A.: Creating Sound and reversible configurable process models using CoSeNets. In: Abramowicz, W., Kriksciuniene, D., Sakalauskas, V. (eds.) BIS 2012. LNBIP, vol. 117, pp. 24\u201335. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30359-3_3"},{"key":"4_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"46","DOI":"10.1007\/978-3-540-78743-3_4","volume-title":"Fundamental Approaches to Software Engineering","author":"WMP van der Aalst","year":"2008","unstructured":"van der Aalst, W.M.P., Dumas, M., Gottschalk, F., ter Hofstede, A.H.M., La Rosa, M., Mendling, J.: Correctness-preserving configuration of business process models. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 46\u201361. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78743-3_4"},{"issue":"6","key":"4_CR25","doi-asserted-by":"publisher","first-page":"574","DOI":"10.1016\/j.is.2011.08.004","volume":"37","author":"WM van der Aalst","year":"2012","unstructured":"van der Aalst, W.M., Lohmann, N., La Rosa, M.: Ensuring correctness during process configuration via partner synthesis. Inf. Syst. 37(6), 574\u2013592 (2012)","journal-title":"Inf. Syst."},{"key":"4_CR26","first-page":"583","volume":"85","author":"A Schnieders","year":"2006","unstructured":"Schnieders, A., Puhlmann, F.: Variability mechanisms in e-business process families. BIS 85, 583\u2013601 (2006)","journal-title":"BIS"},{"issue":"2","key":"4_CR27","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/s10270-008-0090-3","volume":"8","author":"M La Rosa","year":"2008","unstructured":"La Rosa, M., Van Der Aalst, W., Dumas, M., ter Hofstede, A.: Questionnaire-based variability modeling for system configuration. Softw. Syst. Model. 8(2), 251\u2013274 (2008)","journal-title":"Softw. Syst. Model."},{"issue":"1","key":"4_CR28","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1145\/3041957","volume":"50","author":"ML Rosa","year":"2017","unstructured":"Rosa, M.L., Van Der Aalst, W.M., Dumas, M., Milani, F.P.: Business process variability modeling: a survey. ACM Comput. Surv. (CSUR) 50(1), 2 (2017)","journal-title":"ACM Comput. Surv. (CSUR)"},{"key":"4_CR29","unstructured":"Boubaker, S.: Formal verification of business process configuration in the Cloud. PhD thesis, University of Paris-Saclay, France (2018)"},{"issue":"3","key":"4_CR30","doi-asserted-by":"publisher","first-page":"528","DOI":"10.1007\/s11704-016-6016-2","volume":"11","author":"Y Bo","year":"2017","unstructured":"Bo, Y., Xia, C., Zhang, Z., Lu, X.: On the satisfiability of authorization requirements in business process. Front. Comput. Sci. 11(3), 528\u2013540 (2017)","journal-title":"Front. Comput. Sci."},{"key":"4_CR31","doi-asserted-by":"crossref","unstructured":"Ait Wakrime, A., Benbernou, S., Jabbour, S.: Relaxation based SaaS for Repairing Failed Queries over the Cloud Computing. In: 2015 IEEE 12th International Conference on e-Business Engineering (ICEBE). IEEE (2015)","DOI":"10.1109\/ICEBE.2015.49"}],"container-title":["Communications in Computer and Information Science","Big Data Innovations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-27355-2_4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,3,7]],"date-time":"2024-03-07T14:41:02Z","timestamp":1709822462000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-27355-2_4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030273545","9783030273552"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-27355-2_4","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"1 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"Innovate-Data","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Big Data Innovations and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Istanbul","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Turkey","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 August 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 August 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"5","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"innovatedata2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.ficloud.org\/innovate-data-2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}