{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,28]],"date-time":"2025-09-28T15:08:24Z","timestamp":1759072104135,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":47,"publisher":"ACM","license":[{"start":{"date-parts":[[2009,3,23]],"date-time":"2009-03-23T00:00:00Z","timestamp":1237766400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000145","name":"Division of Information and Intelligent Systems","doi-asserted-by":"publisher","award":["IIS-0415257IIS-0415195CNS-0613998IIS-0812578"],"award-info":[{"award-number":["IIS-0415257IIS-0415195CNS-0613998IIS-0812578"]}],"id":[{"id":"10.13039\/100000145","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2009,3,23]]},"DOI":"10.1145\/1514894.1514924","type":"proceedings-article","created":{"date-parts":[[2009,4,6]],"date-time":"2009-04-06T16:34:53Z","timestamp":1239035693000},"page":"252-267","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":121,"title":["Automatic verification of data-centric business processes"],"prefix":"10.1145","author":[{"given":"Alin","family":"Deutsch","sequence":"first","affiliation":[{"name":"UC San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Hull","sequence":"additional","affiliation":[{"name":"IBM Research"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabio","family":"Patrizi","sequence":"additional","affiliation":[{"name":"Sapienza Univ. of Rome"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Victor","family":"Vianu","sequence":"additional","affiliation":[{"name":"UC San Diego"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2009,3,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/237661.237674"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1376916.1376948"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1006\/jcss.2000.1708"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.464.0703"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.441.0145"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/1793114.1793141"},{"key":"e_1_3_2_1_7_1","volume-title":"Handbook of Research on Business Process Management.","author":"Bhattacharya K.","year":"2009","unstructured":"K. Bhattacharya , R. Hull , and J. Su . A Data-centric Design Methodology for Business Processes . In J. Cardoso and W. van der Aalst, editors, Handbook of Research on Business Process Management. 2009 . to appear. K. Bhattacharya, R. Hull, and J. Su. A Data-centric Design Methodology for Business Processes. In J. Cardoso and W. van der Aalst, editors, Handbook of Research on Business Process Management. 2009. to appear."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2006.51"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-59207-2"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74240-1_1"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/2780705.2781194"},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"690","DOI":"10.1007\/978-3-540-71209-1_54","volume-title":"TACAS'07","author":"Bouajjani A.","year":"2007","unstructured":"A. Bouajjani , Y. Jurski , and M. Sighireanu . A generic framework for reasoning about dynamic networks of infinite-state processes . In TACAS'07 , volume 4424 of Lecture Notes in Computer Science , pages 690 -- 705 . Springer , 2007 . A. Bouajjani, Y. Jurski, and M. Sighireanu. A generic framework for reasoning about dynamic networks of infinite-state processes. In TACAS'07, volume 4424 of Lecture Notes in Computer Science, pages 690--705. Springer, 2007."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(02)00229-6"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0890-5401(03)00038-5"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1016\/B978-044482830-9\/50027-8"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1137\/0214049"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89652-4_63"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2006.31"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/1792803.1792837"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1066157.1066219"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.jcss.2006.10.006"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142473.1142584"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1142351.1142364"},{"key":"e_1_3_2_1_24_1","first-page":"152","volume-title":"Proc. Intl. Workshop on Database Programming Languages (DBPL)","author":"Dong G.","year":"1999","unstructured":"G. Dong , R. Hull , B. Kumar , J. Su , and G. Zhou . A framework for optimizing distributed workflow executions . In Proc. Intl. Workshop on Database Programming Languages (DBPL) , pages 152 -- 167 , 1999 . G. Dong, R. Hull, B. Kumar, J. Su, and G. Zhou. A framework for optimizing distributed workflow executions. In Proc. Intl. Workshop on Database Programming Languages (DBPL), pages 152--167, 1999."},{"key":"e_1_3_2_1_25_1","volume-title":"Handbook of Theoretical Computer Science","author":"Emerson E. A.","year":"1990","unstructured":"E. A. Emerson . Temporal and modal logic. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science , Volume B: Formal Models and Sematics, pages 995-- 1072 . North-Holland Pub. Co.\/MIT Press , 1990 . E. A. Emerson. Temporal and modal logic. In J. V. Leeuwen, editor, Handbook of Theoretical Computer Science, Volume B: Formal Models and Sematics, pages 995--1072. North-Holland Pub. Co.\/MIT Press, 1990."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1514894.1514922"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1109\/SOCA.2007.42"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74974-5_15"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.7551\/mitpress\/2475.001.0001"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-88873-4_17"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.5555\/846219.847357"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/295665.295674"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2007.11"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-69534-9_3"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.5555\/827273.829232"},{"key":"e_1_3_2_1_36_1","volume-title":"Proceedings of 5th International Conference on Business Process Management (BPM)","author":"K\u00fcster J.","year":"2007","unstructured":"J. K\u00fcster , K. Ryndina , and H. Gall . Generation of BPM for object life cycle compliance . In Proceedings of 5th International Conference on Business Process Management (BPM) , 2007 . J. K\u00fcster, K. Ryndina, and H. Gall. Generation of BPM for object life cycle compliance. In Proceedings of 5th International Conference on Business Process Management (BPM), 2007."},{"key":"e_1_3_2_1_37_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"301","DOI":"10.1007\/978-3-540-73094-1_19","volume-title":"ICATPN'07","author":"Lazi\u0107 R.","year":"2007","unstructured":"R. Lazi\u0107 , T. Newcomb , J. Ouaknine , A. Roscoe , and J. Worrell . Nets with tokens which carry data . In ICATPN'07 , volume 4546 of Lecture Notes in Computer Science , pages 301 -- 320 . Springer , 2007 . R. Lazi\u0107, T. Newcomb, J. Ouaknine, A. Roscoe, and J. Worrell. Nets with tokens which carry data. In ICATPN'07, volume 4546 of Lecture Notes in Computer Science, pages 301--320. Springer, 2007."},{"key":"e_1_3_2_1_38_1","series-title":"LNCS","volume-title":"CAiSE","author":"Liu R.","year":"2007","unstructured":"R. Liu , K. Bhattacharya , and F. Y. Wu . Modeling business contexture and behavior using business artifacts . In CAiSE , volume 4495 of LNCS , 2007 . R. Liu, K. Bhattacharya, and F. Y. Wu. Modeling business contexture and behavior using business artifacts. In CAiSE, volume 4495 of LNCS, 2007."},{"key":"e_1_3_2_1_39_1","volume-title":"W3C Member Submission","author":"Martin D.","year":"2003","unstructured":"D. Martin OWL-S: Semantic markup for web services , W3C Member Submission , November 2003 . D. Martin et al. OWL-S: Semantic markup for web services, W3C Member Submission, November 2003."},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1109\/5254.920599"},{"key":"e_1_3_2_1_41_1","first-page":"179","volume-title":"Proc. Intl. Conf. on Enterprise Information Systems","author":"Nandi P.","year":"2005","unstructured":"P. Nandi and S. Kumaran . Adaptive business objects -- a new component model for business integration . In Proc. Intl. Conf. on Enterprise Information Systems , pages 179 -- 188 , 2005 . P. Nandi and S. Kumaran. Adaptive business objects -- a new component model for business integration. In Proc. Intl. Conf. on Enterprise Information Systems, pages 179--188, 2005."},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/511446.511457"},{"key":"e_1_3_2_1_43_1","doi-asserted-by":"publisher","DOI":"10.1145\/1013560.1013562"},{"key":"e_1_3_2_1_44_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.423.0428"},{"key":"e_1_3_2_1_46_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0022-0000(02)00029-6"},{"key":"e_1_3_2_1_47_1","doi-asserted-by":"publisher","DOI":"10.1147\/sj.473.0415"},{"key":"e_1_3_2_1_48_1","doi-asserted-by":"publisher","DOI":"10.1007\/11538394_19"}],"event":{"name":"EDBT\/ICDT '09: EDBT\/ICDT '09 joint conference","acronym":"EDBT\/ICDT '09","location":"St. Petersburg Russia"},"container-title":["Proceedings of the 12th International Conference on Database Theory"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1514894.1514924","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1514894.1514924","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T13:38:43Z","timestamp":1750253923000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1514894.1514924"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,3,23]]},"references-count":47,"alternative-id":["10.1145\/1514894.1514924","10.1145\/1514894"],"URL":"https:\/\/doi.org\/10.1145\/1514894.1514924","relation":{},"subject":[],"published":{"date-parts":[[2009,3,23]]},"assertion":[{"value":"2009-03-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}