{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T05:06:49Z","timestamp":1743138409141,"version":"3.40.3"},"publisher-location":"Cham","reference-count":19,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319399577"},{"type":"electronic","value":"9783319399584"}],"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-39958-4_6","type":"book-chapter","created":{"date-parts":[[2016,5,31]],"date-time":"2016-05-31T13:22:56Z","timestamp":1464700976000},"page":"65-77","source":"Crossref","is-referenced-by-count":1,"title":["Detecting Data-model-oriented Anomalies in Parallel Business Process"],"prefix":"10.1007","author":[{"given":"Ning","family":"Yin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shanshan","family":"Wang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hongyan","family":"Li","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lilue","family":"Fan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,6,2]]},"reference":[{"key":"6_CR1","unstructured":"Scott Ananian, C.: The static single information form. Massachusetts Institute of Technology (1999). phdananian1999static"},{"key":"6_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"288","DOI":"10.1007\/978-3-540-75183-0_21","volume-title":"Business Process Management","author":"K Bhattacharya","year":"2007","unstructured":"Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol. 4714, pp. 288\u2013304. Springer, Heidelberg (2007)"},{"key":"6_CR3","doi-asserted-by":"crossref","unstructured":"Chinosi, M., Trombetta, A.: Modeling and validating BPMN diagrams, pp. 353\u2013360 (2009)","DOI":"10.1109\/CEC.2009.48"},{"key":"6_CR4","unstructured":"Crampton, J.: An algebraic approach to the analysis of constrained workflow systems, pp. 61\u201374 (2004)"},{"issue":"5","key":"6_CR5","doi-asserted-by":"crossref","first-page":"188","DOI":"10.1049\/iet-sen:20070002","volume":"1","author":"C-L Hsu","year":"2007","unstructured":"Hsu, C.-L., Wang, F.-J.: Analysing inaccurate artifact usages in workflow specifications. IET Softw. 1(5), 188\u2013205 (2007)","journal-title":"IET Softw."},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1145\/773473.178258","volume":"29","author":"R Johnson","year":"1994","unstructured":"Johnson, R., Pearson, D., Pingali, K.: The program structure tree: Computing control regions in linear time. ACM SIGPLAN Not. 29, 171\u2013185 (1994)","journal-title":"ACM SIGPLAN Not."},{"key":"6_CR7","volume-title":"Production Workflow: Concepts and Techniques","author":"F Leymann","year":"2000","unstructured":"Leymann, F., et al.: Production Workflow: Concepts and Techniques. Prentice-Hall, Upper Saddle River (2000)"},{"key":"6_CR8","series-title":"Lecture Notes in Computer Science","first-page":"114","volume-title":"Web Information Systems \u2013 WISE 2006","author":"M Li","year":"2006","unstructured":"Li, M., Li, H., Tang, L., Qiu, B.: DOPA: A data-driven and ontology-based method for Ad Hoc process awareness in web information systems. In: Aberer, K., Peng, Z., Rundensteiner, E.A., Zhang, Y., Li, X. (eds.) WISE 2006. LNCS, vol. 4255, pp. 114\u2013125. Springer, Heidelberg (2006)"},{"issue":"6","key":"6_CR9","doi-asserted-by":"crossref","first-page":"518","DOI":"10.1016\/j.is.2011.10.005","volume":"37","author":"A Polyvyanyy","year":"2012","unstructured":"Polyvyanyy, A., Garc\u00eda-Ba\u00f1uelos, L., Dumas, M.: Structuring acyclic process models. Inf. Syst. 37(6), 518\u2013538 (2012)","journal-title":"Inf. Syst."},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"353","DOI":"10.1007\/11568322_23","volume-title":"Conceptual Modeling \u2013 ER 2005","author":"N Russell","year":"2005","unstructured":"Russell, N., ter Hofstede, A.H.M., Edmond, D., van der Aalst, W.M.P.: Workflow data patterns: identification, representation and tool support. In: Delcambre, L.M.L., Kop, C., Mayr, H.C., Mylopoulos, J., Pastor, \u00d3. (eds.) ER 2005. LNCS, vol. 3716, pp. 353\u2013368. Springer, Heidelberg (2005)"},{"key":"6_CR11","unstructured":"Russell, N., et al.: Workflow controlflow patterns: A revised view (2006)"},{"key":"6_CR12","unstructured":"Sadiq, S., Orlowska, M., Sadiq, W., Foulger, C.: Data flow and validation in workflow modelling, pp. 207\u2013214 (2004)"},{"issue":"4","key":"6_CR13","doi-asserted-by":"crossref","first-page":"374","DOI":"10.1287\/isre.1060.0105","volume":"17","author":"SX Sun","year":"2006","unstructured":"Sun, S.X., et al.: Formulating the data-flow perspective for business process management. Inf. Syst. Res. 17(4), 374\u2013391 (2006)","journal-title":"Inf. Syst. Res."},{"issue":"2","key":"6_CR14","doi-asserted-by":"crossref","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"WMP Aalst Van der","year":"2005","unstructured":"Van der Aalst, W.M.P., et al.: Case handling: a new paradigm for business process support. Data Knowl. Eng. 53(2), 129\u2013162 (2005)","journal-title":"Data Knowl. Eng."},{"issue":"6","key":"6_CR15","doi-asserted-by":"crossref","first-page":"578","DOI":"10.1016\/j.compind.2007.01.001","volume":"58","author":"BF Dongen van","year":"2007","unstructured":"van Dongen, B.F., Jansen-Vullers, M.H., Verbeek, H.M.W., van der Aalst, W.M.P.: Verification of the sap reference models using EPC reduction, state-space analysis, and invariants. Comput. Ind. 58(6), 578\u2013601 (2007)","journal-title":"Comput. Ind."},{"issue":"9","key":"6_CR16","doi-asserted-by":"crossref","first-page":"793","DOI":"10.1016\/j.datak.2009.02.015","volume":"68","author":"J Vanhatalo","year":"2009","unstructured":"Vanhatalo, J., V\u00f6lzer, H., Koehler, J.: The refined process structure tree. Data Knowl. Eng. 68(9), 793\u2013818 (2009)","journal-title":"Data Knowl. Eng."},{"key":"6_CR17","doi-asserted-by":"crossref","unstructured":"Wang, L., Li, H., Qu, Q., Zhang, H., Zhou, B.: Verifying the consistency between business process model and data model, pp. 171\u2013174 (2009)","DOI":"10.1109\/JCAI.2009.122"},{"issue":"1","key":"6_CR18","doi-asserted-by":"crossref","first-page":"74","DOI":"10.1108\/14637150910931479","volume":"15","author":"MT Wynn","year":"2009","unstructured":"Wynn, M.T., et al.: Business process verification-finally a reality!. Bus. Process Manage. J. 15(1), 74\u201392 (2009)","journal-title":"Bus. Process Manage. J."},{"key":"6_CR19","doi-asserted-by":"crossref","unstructured":"Zhou, B., et al.: PASE: A prototype for ad-hoc process-aware information system declaratively constructing environment, pp. 473\u2013474 (2008)","DOI":"10.1109\/WAIM.2008.40"}],"container-title":["Lecture Notes in Computer Science","Web-Age Information Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-39958-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,8]],"date-time":"2019-09-08T22:35:13Z","timestamp":1567982113000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-39958-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319399577","9783319399584"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-39958-4_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}