{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T20:55:09Z","timestamp":1725569709114},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642169335"},{"type":"electronic","value":"9783642169342"}],"license":[{"start":{"date-parts":[[2010,1,1]],"date-time":"2010-01-01T00:00:00Z","timestamp":1262304000000},"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":[[2010]]},"DOI":"10.1007\/978-3-642-16934-2_7","type":"book-chapter","created":{"date-parts":[[2010,11,5]],"date-time":"2010-11-05T10:15:39Z","timestamp":1288952139000},"page":"44-59","source":"Crossref","is-referenced-by-count":5,"title":["Monitoring Unmanaged Business Processes"],"prefix":"10.1007","author":[{"given":"Nirmal K.","family":"Mukhi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"484","DOI":"10.1007\/978-3-540-73094-1_28","volume-title":"Petri Nets and Other Models of Concurrency \u2013 ICATPN 2007","author":"W.M.P. Aalst van der","year":"2007","unstructured":"van der Aalst, W.M.P., van Dongen, B.F., G\u00fcnther, C.W., Mans, R.S., de Medeiros, A.K.A., Rozinat, A., Rubin, V., Song, M., Verbeek, H.M.W.E., Weijters, A.J.M.M.: Prom 4.0: Comprehensive support for eal process analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol.\u00a04546, pp. 484\u2013494. Springer, Heidelberg (2007)"},{"key":"7_CR2","doi-asserted-by":"crossref","unstructured":"Antova, L., Koch, C., Olteanu, D.: Maybms: Managing incomplete information with probabilistic world-set decompositions. In: ICDE, pp. 1479\u20131480 (2007)","DOI":"10.1109\/ICDE.2007.369042"},{"issue":"5","key":"7_CR3","doi-asserted-by":"publisher","first-page":"1021","DOI":"10.1007\/s00778-009-0149-y","volume":"18","author":"L. Antova","year":"2009","unstructured":"Antova, L., Koch, C., Olteanu, D.: $10^{(10^6)}$ worlds and beyond: efficient representation and processing of incomplete information. VLDB J.\u00a018(5), 1021\u20131040 (2009)","journal-title":"VLDB J."},{"key":"7_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1007\/978-3-540-85758-7_24","volume-title":"Business Process Management","author":"A. Awad","year":"2008","unstructured":"Awad, A., Decker, G., Weske, M.: Efficient compliance checking using bpmn-q and temporal logic. In: Dumas, M., Reichert, M., Shan, M.-C. (eds.) BPM 2008. LNCS, vol.\u00a05240, pp. 326\u2013341. Springer, Heidelberg (2008)"},{"issue":"1","key":"7_CR5","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1016\/S0022-0000(02)00034-X","volume":"66","author":"M. Benedikt","year":"2003","unstructured":"Benedikt, M., Grohe, M., Libkin, L., Segoufin, L.: Reachability and connectivity queries in constraint databases. J. Comput. Syst. Sci.\u00a066(1), 169\u2013206 (2003)","journal-title":"J. Comput. Syst. Sci."},{"key":"7_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1007\/3-540-49099-X_2","volume-title":"Programming Languages and Systems","author":"M. Benedikt","year":"1999","unstructured":"Benedikt, M., Reps, T.W., Sagiv, S.: A decidable logic for describing linked data structures. In: Swierstra, S.D. (ed.) ESOP 1999. LNCS, vol.\u00a01576, pp. 2\u201319. Springer, Heidelberg (1999)"},{"key":"7_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"100","DOI":"10.1007\/978-3-540-88871-0_10","volume-title":"On the Move to Meaningful Internet Systems: OTM 2008","author":"F. Curbera","year":"2008","unstructured":"Curbera, F., Doganata, Y.N., Martens, A., Mukhi, N., Slominski, A.: Business provenance - a technology to increase traceability of end-to-end operations. In: Meersman, R., Tari, Z. (eds.) OTM 2008, Part I. LNCS, vol.\u00a05331, pp. 100\u2013119. Springer, Heidelberg (2008)"},{"key":"7_CR8","doi-asserted-by":"crossref","unstructured":"Davidson, S.B., Freire, J.: Provenance and scientific workflows: challenges and opportunities. In: Proceedings of ACM SIGMOD, pp. 1345\u20131350 (2008)","DOI":"10.1145\/1376616.1376772"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"310","DOI":"10.1007\/978-3-642-03848-8_21","volume-title":"Business Process Management","author":"Y.N. Doganata","year":"2009","unstructured":"Doganata, Y.N., Curbera, F.: Effect of using automated auditing tools on detecting compliance failures in unmanaged processes. In: Dayal, U., Eder, J., Koehler, J., Reijers, H.A. (eds.) Business Process Management. LNCS, vol.\u00a05701, pp. 310\u2013326. Springer, Heidelberg (2009)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"169","DOI":"10.1007\/978-3-540-74974-5_14","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"A. Ghose","year":"2007","unstructured":"Ghose, A., Koliadis, G.: Auditing business process compliance. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 169\u2013180. Springer, Heidelberg (2007)"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Giugno, R., Shasha, D.: Graphgrep: A fast and universal method for querying graphs. In: ICPR, vol.\u00a0(2), pp. 112\u2013115 (2002)","DOI":"10.1109\/ICPR.2002.1048250"},{"key":"7_CR12","series-title":"Wiley Series in probability and statistics","doi-asserted-by":"publisher","DOI":"10.1002\/0471722146","volume-title":"Applied logistic regression","author":"D.W. Hosmer","year":"2000","unstructured":"Hosmer, D.W., Lemeshow, S.: Applied logistic regression, 2nd edn. Wiley Series in probability and statistics. Wiley-Interscience Publication, Hoboken (2000)","edition":"2"},{"key":"7_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"323","DOI":"10.1007\/978-3-540-89965-5_31","volume-title":"Provenance and Annotation of Data and Processes","author":"L. Moreau","year":"2008","unstructured":"Moreau, L., Freire, J., Futrelle, J., McGrath, R.E., Myers, J., Paulson, P.: The open provenance model: An overview. In: Freire, J., Koop, D., Moreau, L. (eds.) IPAW 2008. LNCS, vol.\u00a05272, pp. 323\u2013326. Springer, Heidelberg (2008)"},{"key":"7_CR14","doi-asserted-by":"crossref","unstructured":"P\u00e9rez, J., Arenas, M., Gutierrez, C.: Semantics and complexity of sparql. ACM Trans. Database Syst. 34(3) (2009)","DOI":"10.1145\/1567274.1567278"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1007\/978-3-540-75183-0_12","volume-title":"Business Process Management","author":"S.W. Sadiq","year":"2007","unstructured":"Sadiq, S.W., Governatori, G., Namiri, K.: Modeling control objectives for business process compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 149\u2013164. Springer, Heidelberg (2007)"},{"key":"7_CR16","doi-asserted-by":"crossref","unstructured":"Simmhan, Y.L., Plale, B., Gannon, D.: Karma2: Provenance management for data driven workflows. International Journal of Web Services Research\u00a05 (2008)","DOI":"10.4018\/jwsr.2008040101"},{"key":"7_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"118","DOI":"10.1007\/11890850_14","volume-title":"Provenance and Annotation of Data","author":"W. System","year":"2006","unstructured":"System, W., Altintas, I., Barney, O., Jaeger-frank, E.: Provenance collection support in the kepler scientific workflow system. In: Moreau, L., Foster, I. (eds.) IPAW 2006. LNCS, vol.\u00a04145, pp. 118\u2013132. Springer, Heidelberg (2006)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2010"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-16934-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,5]],"date-time":"2019-06-05T22:58:28Z","timestamp":1559775508000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-16934-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010]]},"ISBN":["9783642169335","9783642169342"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-16934-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2010]]}}}