{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,30]],"date-time":"2026-04-30T05:58:13Z","timestamp":1777528693218,"version":"3.51.4"},"publisher-location":"Cham","reference-count":20,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319699035","type":"print"},{"value":"9783319699042","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-319-69904-2_31","type":"book-chapter","created":{"date-parts":[[2017,10,20]],"date-time":"2017-10-20T05:18:33Z","timestamp":1508476713000},"page":"403-418","source":"Crossref","is-referenced-by-count":15,"title":["Various Notions of Soundness for\u00a0Decision-Aware Business Processes"],"prefix":"10.1007","author":[{"given":"Kimon","family":"Batoulis","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephan","family":"Haarmann","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mathias","family":"Weske","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,10,21]]},"reference":[{"issue":"1","key":"31_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"WMP Aalst van der","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. J. Circuits Syst. Comput. 8(1), 21\u201366 (1998)","journal-title":"J. Circuits Syst. Comput."},{"key":"31_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"407","DOI":"10.1007\/3-540-63139-9_48","volume-title":"Application and Theory of Petri Nets 1997","author":"WMP 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. 1248, pp. 407\u2013426. Springer, Heidelberg (1997). doi:\n10.1007\/3-540-63139-9_48"},{"key":"31_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"349","DOI":"10.1007\/978-3-319-19069-3_22","volume-title":"Advanced Information Systems Engineering","author":"K Batoulis","year":"2015","unstructured":"Batoulis, K., Meyer, A., Bazhenova, E., Decker, G., Weske, M.: Extracting decision logic from process models. In: Zdravkovic, J., Kirikova, M., Johannesson, P. (eds.) CAiSE 2015. LNCS, vol. 9097, pp. 349\u2013366. Springer, Cham (2015). doi:\n10.1007\/978-3-319-19069-3_22"},{"key":"31_CR4","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-319-65015-9_7","volume-title":"Business Process Management Forum","author":"K Batoulis","year":"2017","unstructured":"Batoulis, K., Weske, M.: Soundness of decision-aware business processes. In: Carmona, J., Engels, G., Kumar, A. (eds.) BPM 2017. LNBIP, vol. 297, pp. 106\u2013124. Springer, Cham (2017). doi:\n10.1007\/978-3-319-65015-9_7"},{"key":"31_CR5","unstructured":"Business process model and notation, specification 2.0, version 2 (2011)"},{"key":"31_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1007\/978-3-319-45348-4_13","volume-title":"Business Process Management","author":"D Calvanese","year":"2016","unstructured":"Calvanese, D., Dumas, M., Laurson, \u00dc., Maggi, F.M., Montali, M., Teinemaa, I.: Semantics and analysis of DMN decision tables. In: La Rosa, M., Loos, P., Pastor, O. (eds.) BPM 2016. LNCS, vol. 9850, pp. 217\u2013233. Springer, Cham (2016). doi:\n10.1007\/978-3-319-45348-4_13"},{"key":"31_CR7","unstructured":"Decision model and notation, specification 1.1, version 1.1 (2016)"},{"key":"31_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-45341-5_11","volume-title":"Advanced Information Systems Engineering","author":"J Dehnert","year":"2001","unstructured":"Dehnert, J., Rittgen, P.: Relaxed soundness of business processes. In: Dittrich, K.R., Geppert, A., Norrie, M.C. (eds.) CAiSE 2001. LNCS, vol. 2068, pp. 157\u2013170. Springer, Heidelberg (2001). doi:\n10.1007\/3-540-45341-5_11"},{"issue":"12","key":"31_CR9","doi-asserted-by":"publisher","first-page":"1281","DOI":"10.1016\/j.infsof.2008.02.006","volume":"50","author":"RM Dijkman","year":"2008","unstructured":"Dijkman, R.M., Dumas, M., Ouyang, C.: Semantics and analysis of business process models in BPMN. Inf. Softw. Technol. 50(12), 1281\u20131294 (2008)","journal-title":"Inf. Softw. Technol."},{"key":"31_CR10","unstructured":"Janssens, L., Bazhenova, E., Smedt, J.D., Vanthienen, J., Denecker, M.: Consistent integration of decision (DMN) and process (BPMN) models. In: CAiSE 2016 Forum, pp. 121\u2013128 (2016)"},{"key":"31_CR11","doi-asserted-by":"crossref","unstructured":"Kherbouche, O.M., Ahmad, A., Basson, H.: Using model checking to control the structural errors in BPMN models. In: 2013 IEEE Seventh International Conference on Research Challenges in Information Science (RCIS), pp. 1\u201312. IEEE (2013)","DOI":"10.1109\/RCIS.2013.6577723"},{"issue":"1","key":"31_CR12","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1145\/363707.363725","volume":"8","author":"H Kirk","year":"1965","unstructured":"Kirk, H.: Use of decision tables in computer programming. Commun. ACM 8(1), 41\u201343 (1965)","journal-title":"Commun. ACM"},{"issue":"3","key":"31_CR13","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1093\/comjnl\/27.3.230","volume":"27","author":"A Lew","year":"1984","unstructured":"Lew, A.: Proof of correctness of decision table programs. Comput. J. 27(3), 230\u2013232 (1984)","journal-title":"Comput. J."},{"issue":"12\u201320","key":"31_CR14","first-page":"100","volume":"65","author":"A Martens","year":"2003","unstructured":"Martens, A.: On compatibility of web services. Petri Net Newsl. 65(12\u201320), 100 (2003)","journal-title":"Petri Net Newsl."},{"key":"31_CR15","doi-asserted-by":"crossref","unstructured":"Martens, A.: Consistency between executable and abstract processes. In: The 2005 IEEE International Conference on 2005 Proceedings e-Technology, e-Commerce and e-Service, pp. 60\u201367. IEEE (2005)","DOI":"10.1109\/EEE.2005.53"},{"issue":"3","key":"31_CR16","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"WMP Aalst Van Der","year":"2011","unstructured":"Van Der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H., Sidorova, N., Verbeek, H., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3), 333\u2013363 (2011)","journal-title":"Formal Aspects Comput."},{"key":"31_CR17","unstructured":"Vanthienen, J., Dries, E.: Developments in decision tables: Evolution, applications and a proposed standard. DTEW Research Report (1992)"},{"key":"31_CR18","volume-title":"The Decision Model: A Business Logic Framework Linking Business and Technology","author":"B Halle Von","year":"2010","unstructured":"Von Halle, B., Goldberg, L.: The Decision Model: A Business Logic Framework Linking Business and Technology. Taylor and Francis Group, Abingdon (2010)"},{"key":"31_CR19","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M Weske","year":"2010","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures. Springer Publishing Company Incorporated, Heidelberg (2010)"},{"issue":"2","key":"31_CR20","doi-asserted-by":"publisher","first-page":"155","DOI":"10.1016\/S0005-1098(96)00165-3","volume":"33","author":"AK Zaidi","year":"1997","unstructured":"Zaidi, A.K., Levis, A.H.: Validation and verification of decision making rules. Automatica 33(2), 155\u2013169 (1997)","journal-title":"Automatica"}],"container-title":["Lecture Notes in Computer Science","Conceptual Modeling"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-69904-2_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2018,12,6]],"date-time":"2018-12-06T15:25:52Z","timestamp":1544109952000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-69904-2_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319699035","9783319699042"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-69904-2_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]}}}