{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,31]],"date-time":"2026-03-31T00:02:54Z","timestamp":1774915374327,"version":"3.50.1"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319650142","type":"print"},{"value":"9783319650159","type":"electronic"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-65015-9_7","type":"book-chapter","created":{"date-parts":[[2017,8,2]],"date-time":"2017-08-02T07:23:19Z","timestamp":1501658599000},"page":"106-124","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":19,"title":["Soundness of Decision-Aware Business Processes"],"prefix":"10.1007","author":[{"given":"Kimon","family":"Batoulis","sequence":"first","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,8,3]]},"reference":[{"issue":"3","key":"7_CR1","doi-asserted-by":"publisher","first-page":"333","DOI":"10.1007\/s00165-010-0161-4","volume":"23","author":"WMP van der Aalst","year":"2010","unstructured":"van der Aalst, W.M.P., van Hee, K.M., ter Hofstede, A.H.M., Sidorova, N., Verbeek, H.M.W., Voorhoeve, M., Wynn, M.T.: Soundness of workflow nets: classification, decidability, and analysis. Formal Aspects Comput. 23(3), 333\u2013363 (2010)","journal-title":"Formal Aspects Comput."},{"key":"7_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 van der Aalst","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:10.1007\/3-540-63139-9_48"},{"key":"7_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:10.1007\/978-3-319-19069-3_22"},{"key":"7_CR4","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:10.1007\/978-3-319-45348-4_13"},{"key":"7_CR5","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1007\/978-3-642-21863-7_2","volume-title":"Business Information Systems","author":"R Cheng","year":"2011","unstructured":"Cheng, R., Sadiq, S., Indulska, M.: Framework for business process and rule integration: a case of BPMN and SBVR. In: Abramowicz, W. (ed.) BIS 2011. LNBIP, vol. 87, pp. 13\u201324. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-21863-7_2"},{"issue":"5","key":"7_CR6","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1016\/S0020-7373(87)80076-7","volume":"26","author":"BJ Cragun","year":"1987","unstructured":"Cragun, B.J., Steudel, H.J.: A decision-table-based processor for checking completeness and consistency in rule-based expert systems. Int. J. Man Mach. Stud. 26(5), 633\u2013648 (1987)","journal-title":"Int. J. Man Mach. Stud."},{"key":"7_CR7","unstructured":"Debevoise, T., Taylor, J.: The MicroGuide to Process and Decision Modeling in BPMN\/DMN. CreateSpace Independent Publishing Platform (2014)"},{"issue":"12","key":"7_CR8","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":"7_CR9","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1007\/978-3-642-25160-3_12","volume-title":"Business Process Model and Notation","author":"J Hohwiller","year":"2011","unstructured":"Hohwiller, J., Schlegel, D., Grieser, G., Hoekstra, Y.: Integration of BPM and BRM. In: Dijkman, R., Hofstetter, J., Koehler, J. (eds.) BPMN 2011. LNBIP, vol. 95, pp. 136\u2013141. Springer, Heidelberg (2011). doi:10.1007\/978-3-642-25160-3_12"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1007\/978-3-662-45391-9_25","volume-title":"Service-Oriented Computing","author":"A Meyer","year":"2014","unstructured":"Meyer, A., Weske, M.: Weak conformance between process models and synchronized object life cycles. In: Franch, X., Ghose, A.K., Lewis, G.A., Bhiri, S. (eds.) ICSOC 2014. LNCS, vol. 8831, pp. 359\u2013367. Springer, Heidelberg (2014). doi:10.1007\/978-3-662-45391-9_25"},{"key":"7_CR11","unstructured":"Nguyen, T.A., Perkins, W.A., Laffey, T.J., Pecora, D.: Checking an expert systems knowledge base for consistency and completeness. In: Proceeding of IJCAI, pp. 375\u2013378. Morgan Kaufmann Publishers Inc. (1985)"},{"issue":"2","key":"7_CR12","first-page":"69","volume":"8","author":"TA Nguyen","year":"1987","unstructured":"Nguyen, T.A., Perkin, W., Laffey, T.J., Pecora, D.: Knowledge base verification. AI Mag. 8(2), 69\u201375 (1987)","journal-title":"AI Mag."},{"key":"7_CR13","unstructured":"OMG: Business Process Model and Notation, Version 2.0.2, January 2014"},{"key":"7_CR14","unstructured":"OMG: Decision Model and Notation, Version 1.1, May 2016"},{"key":"7_CR15","doi-asserted-by":"crossref","unstructured":"Totschnig, M., Willems, C., Meinel, C.: openHPI: evolution of a MOOC platform from LMS to SOA. In: Proceeding of CSEDU, pp. 593\u2013598. SciTePress (2013)","DOI":"10.5220\/0004416905930598"},{"key":"7_CR16","unstructured":"Vanthienen, J., Dries, E.: Developments in decision tables: evolution, applications and a proposed standard. DTEW Research Report, KU Leuven (1992)"},{"key":"7_CR17","volume-title":"The Decision Model: A Business Logic Framework Linking Business and Technology","author":"B Von Halle","year":"2010","unstructured":"Von Halle, B., Goldberg, L.: The Decision Model: A Business Logic Framework Linking Business and Technology. Taylor and Francis Group, Boca Raton (2010)"},{"key":"7_CR18","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-28616-2","volume-title":"Business Process Management: Concepts, Languages, Architectures","author":"M Weske","year":"2012","unstructured":"Weske, M.: Business Process Management: Concepts, Languages, Architectures, 2nd edn. Springer, Heidelberg (2012)","edition":"2"},{"key":"7_CR19","unstructured":"Xylander, O.: On the Relationship between Decision Modeling and Process Modeling. Master\u2019s thesis. Hasso Plattner Institute, Potsdam, Germany (2015)"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Forum"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-65015-9_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,24]],"date-time":"2025-06-24T19:56:55Z","timestamp":1750795015000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-65015-9_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319650142","9783319650159"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-65015-9_7","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"value":"1865-1348","type":"print"},{"value":"1865-1356","type":"electronic"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"3 August 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"BPM","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Business Process Management","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Barcelona","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 September 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15 September 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"15","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"bpm2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/bpm2017.cs.upc.edu\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}