{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,11,12]],"date-time":"2026-11-12T05:06:35Z","timestamp":1794459995222,"version":"4.9.1"},"publisher-location":"Berlin, Heidelberg","reference-count":18,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642416590","type":"print"},{"value":"9783642416606","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-41660-6_1","type":"book-chapter","created":{"date-parts":[[2013,10,28]],"date-time":"2013-10-28T06:59:31Z","timestamp":1382943571000},"page":"1-12","source":"Crossref","is-referenced-by-count":0,"title":["Models for Data-Centric Workflows"],"prefix":"10.1007","author":[{"given":"Serge","family":"Abiteboul","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Victor","family":"Vianu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Bourhis, P., Vianu, V.: Comparing workflow specification languages: A matter of views. In: ICDT (2011)","DOI":"10.1145\/1938551.1938564"},{"key":"1_CR2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Bourhis, P., Galland, A., Marinoiu, B.: The axml artifact model. In: TIME, Symposium on Temporal Representation and Reasoning, pp. 11\u201317 (2009)","DOI":"10.1109\/TIME.2009.9"},{"key":"1_CR3","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Segoufin, L., Vianu, V.: Static analysis of active XML systems. ACM Trans. Database Syst. 34(4) (2009)","DOI":"10.1145\/1620585.1620590"},{"issue":"4","key":"1_CR4","doi-asserted-by":"publisher","first-page":"703","DOI":"10.1147\/sj.464.0703","volume":"46","author":"K. Bhattacharya","year":"2007","unstructured":"Bhattacharya, K., Caswell, N.S., Kumaran, S., Nigam, A., Wu, F.Y.: Artifact-centered operational modeling: Lessons from customer engagements. IBM Systems Journal\u00a046(4), 703\u2013721 (2007)","journal-title":"IBM Systems Journal"},{"key":"1_CR5","doi-asserted-by":"crossref","unstructured":"Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Proc. Int. Conf. on Business Process Management (BPM), pp. 288\u2013304 (2007)","DOI":"10.1007\/978-3-540-75183-0_21"},{"issue":"1","key":"1_CR6","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1147\/sj.441.0145","volume":"44","author":"K. Bhattacharya","year":"2005","unstructured":"Bhattacharya, K., et al.: A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Systems Journal\u00a044(1), 145\u2013162 (2005)","journal-title":"IBM Systems Journal"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic. In: ICDT (2011)","DOI":"10.1145\/1938551.1938563"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: ICDT, pp. 252\u2013267 (2009)","DOI":"10.1145\/1514894.1514924"},{"key":"1_CR9","doi-asserted-by":"crossref","unstructured":"Gerede, C.E., Bhattacharya, K., Su, J.: Static analysis of business artifact-centric operational models. In: IEEE International Conference on Service-Oriented Computing and Applications (2007)","DOI":"10.1109\/SOCA.2007.42"},{"key":"1_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"181","DOI":"10.1007\/978-3-540-74974-5_15","volume-title":"Service-Oriented Computing \u2013 ICSOC 2007","author":"C.E. Gerede","year":"2007","unstructured":"Gerede, C.E., Su, J.: Specification and verification of artifact behaviors in business process models. In: Kr\u00e4mer, B.J., Lin, K.-J., Narasimhan, P. (eds.) ICSOC 2007. LNCS, vol.\u00a04749, pp. 181\u2013192. Springer, Heidelberg (2007), \n                  \n                    http:\/\/www.springerlink.com\/content\/c371144007878627"},{"key":"1_CR11","doi-asserted-by":"crossref","unstructured":"Hull, R.: Artifact-centric business process models: Brief survey of research results and challenges. In: OTM Conferences (2), pp. 1152\u20131163 (2008)","DOI":"10.1007\/978-3-540-88873-4_17"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Hull, R., Damaggio, E., Fournier, F., Gupta, M., Heath, F.T., Hobson, S., Linehan, M.H., Maradugu, S., Nigam, A., Sukaviriya, P., Vacul\u00edn, R.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: Proc. of 7th Intl. Workshop on Web Services and Formal Methods, WS-FM (2010)","DOI":"10.1007\/978-3-642-19589-1_1"},{"key":"1_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-540-69534-9_3","volume-title":"Advanced Information Systems Engineering","author":"S. Kumaran","year":"2008","unstructured":"Kumaran, S., Liu, R., Wu, F.Y.: On the duality of information-centric and activity-centric models of business processes. In: Bellahs\u00e8ne, Z., L\u00e9onard, M. (eds.) CAiSE 2008. LNCS, vol.\u00a05074, pp. 32\u201347. Springer, Heidelberg (2008)"},{"key":"1_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-540-75183-0_13","volume-title":"Business Process Management","author":"J.M. K\u00fcster","year":"2007","unstructured":"K\u00fcster, J.M., Ryndina, K., Gall, H.C.: Generation of business process models for object life cycle compliance. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 165\u2013181. Springer, Heidelberg (2007)"},{"key":"1_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"324","DOI":"10.1007\/978-3-540-72988-4_23","volume-title":"Advanced Information Systems Engineering","author":"R. Liu","year":"2007","unstructured":"Liu, R., Bhattacharya, K., Wu, F.Y.: Modeling business contexture and behavior using business artifacts. In: Krogstie, J., Opdahl, A.L., Sindre, G. (eds.) CAiSE 2007 and WES 2007. LNCS, vol.\u00a04495, pp. 324\u2013339. Springer, Heidelberg (2007)"},{"key":"1_CR16","unstructured":"Segoufin, L., Torunczyk, S.: Automata based verification over linearly ordered data domains. In: Int\u2019l. Symp. on Theoretical Aspects of Computer Science, STACS (2011)"},{"issue":"3","key":"1_CR17","doi-asserted-by":"publisher","first-page":"428","DOI":"10.1147\/sj.423.0428","volume":"42","author":"A. Nigam","year":"2003","unstructured":"Nigam, A., Caswell, N.S.: Business artifacts: An approach to operational specification. IBM Systems Journal\u00a042(3), 428\u2013445 (2003)","journal-title":"IBM Systems Journal"},{"key":"1_CR18","doi-asserted-by":"crossref","unstructured":"Pnueli, A.: The temporal logic of programs. In: FOCS, pp. 46\u201357 (1977)","DOI":"10.1109\/SFCS.1977.32"}],"container-title":["Lecture Notes in Computer Science","In Search of Elegance in the Theory and Practice of Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-41660-6_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,23]],"date-time":"2019-05-23T20:17:13Z","timestamp":1558642633000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-41660-6_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642416590","9783642416606"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-41660-6_1","relation":{"is-part-of":[{"id-type":"doi","id":"https:\/\/doi.org\/10.1007\/978-3-642-41660-6","asserted-by":"object"}]},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}