{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T04:42:46Z","timestamp":1742964166005,"version":"3.40.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319428864"},{"type":"electronic","value":"9783319428871"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"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":[[2016]]},"DOI":"10.1007\/978-3-319-42887-1_8","type":"book-chapter","created":{"date-parts":[[2016,7,21]],"date-time":"2016-07-21T08:27:22Z","timestamp":1469089642000},"page":"90-95","source":"Crossref","is-referenced-by-count":3,"title":["Towards Structural Consistency Checking in Adaptive Case Management"],"prefix":"10.1007","author":[{"given":"Christoph","family":"Czepa","sequence":"first","affiliation":[]},{"given":"Huy","family":"Tran","sequence":"additional","affiliation":[]},{"given":"Uwe","family":"Zdun","sequence":"additional","affiliation":[]},{"given":"Thanh","family":"Tran Thi Kim","sequence":"additional","affiliation":[]},{"given":"Erhard","family":"Weiss","sequence":"additional","affiliation":[]},{"given":"Christoph","family":"Ruhsam","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,7,22]]},"reference":[{"issue":"10","key":"8_CR1","doi-asserted-by":"crossref","first-page":"639","DOI":"10.1016\/S0950-5849(99)00016-6","volume":"41","author":"WMP Aalst Van der","year":"1999","unstructured":"Van der Aalst, W.M.P.: Formalization and verification of event-driven process chains. Inf. Softw. Technol. 41(10), 639\u2013650 (1999)","journal-title":"Inf. Softw. Technol."},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"495","DOI":"10.1007\/3-540-48683-6_44","volume-title":"Computer Aided Verification","author":"A Cimatti","year":"1999","unstructured":"Cimatti, A., Clarke, E., Giunchiglia, F., Roveri, M.: NUSMV: a new symbolic model verifier. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol. 1633, pp. 495\u2013499. Springer, Heidelberg (1999)"},{"key":"8_CR3","doi-asserted-by":"crossref","unstructured":"El-Saber, N., Boronat, A.: BPMN formalization and verification using maude. In: 2014 Workshop on Behaviour Modelling-Foundations and Applications (BM-FA), pp. 1:1\u20131:12. ACM (2014)","DOI":"10.1145\/2630768.2630769"},{"issue":"1","key":"8_CR4","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/1125808.1125809","volume":"15","author":"R Eshuis","year":"2006","unstructured":"Eshuis, R.: Symbolic model checking of UML activity diagrams. ACM Trans. Softw. Eng. Methodol. 15(1), 1\u201338 (2006)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"8_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"390","DOI":"10.1007\/978-3-540-85758-7_31","volume-title":"Business Process Management","author":"DPA Greenwood","year":"2008","unstructured":"Greenwood, D.P.A.: Goal-oriented autonomic business process modeling and execution: engineering change management demonstration. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol. 5240, pp. 390\u2013393. Springer, Heidelberg (2008)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Kherbouche, O., Ahmad, A., Basson, H.: Using model checking to control the structural errors in BPMN models. In: 7th International Conference on RCIS, pp. 1\u201312 (2013)","DOI":"10.1109\/RCIS.2013.6577723"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Koehler, J., Tirenni, G., Kumaran, S.: From business process model to consistent implementation: a case for formal verification methods. In: 6th International Conference on EDOC, pp. 96\u2013106 (2002)","DOI":"10.1109\/EDOC.2002.1137700"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Kurz, M., Schmidt, W., Fleischmann, A., Lederer, M.: Leveraging CMMN for ACM: examining the applicability of a new OMG standard for adaptive case management. In: 7th International Conference on Subject-Oriented BPM. ACM, New York (2015). pp. 4:14:9","DOI":"10.1145\/2723839.2723843"},{"key":"8_CR9","unstructured":"Raedts, I., Petkovi\u0107, M., Usenko, Y.S., van der Werf, J.M., Groote, J.F., Somers, L.: Transformation of BPMN models for behaviour analysis. In: MSVVEIS, pp. 126\u2013137. INSTICC (2007)"},{"key":"8_CR10","doi-asserted-by":"crossref","unstructured":"Sbai, Z., Missaoui, A., Barkaoui, K., Ben Ayed, R.: On the verification of business processes by model checking techniques. In: 2nd International Conference on ICSTE, vol. 1, pp. 97\u2013103, October 2010","DOI":"10.1109\/ICSTE.2010.5608905"},{"key":"8_CR11","doi-asserted-by":"crossref","first-page":"806","DOI":"10.1016\/j.protcy.2013.12.089","volume":"9","author":"Y Stavenko","year":"2013","unstructured":"Stavenko, Y., Kazantsev, N., Gromoff, A.: Business process model reasoning: from workflow to case management. Procedia Technol. 9, 806\u2013811 (2013)","journal-title":"Procedia Technol."},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"146","DOI":"10.1137\/0201010","volume":"1","author":"R Tarjan","year":"1972","unstructured":"Tarjan, R.: Depth first search and linear graph algorithms. SIAM J. Comput. 1, 146\u2013160 (1972)","journal-title":"SIAM J. Comput."},{"key":"8_CR13","doi-asserted-by":"crossref","unstructured":"Xiao, D., Zhang, Q.: The implementation of XPDL workflow verification service based on SaaS. In: International Conference on ICSS. pp. 154\u2013158, May 2010","DOI":"10.1109\/ICSS.2010.26"}],"container-title":["Lecture Notes in Business Information Processing","Business Process Management Workshops"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42887-1_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T14:54:56Z","timestamp":1498316096000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42887-1_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319428864","9783319428871"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42887-1_8","relation":{},"ISSN":["1865-1348","1865-1356"],"issn-type":[{"type":"print","value":"1865-1348"},{"type":"electronic","value":"1865-1356"}],"subject":[],"published":{"date-parts":[[2016]]}}}