{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:22:11Z","timestamp":1761708131675,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540751823"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75183-0_21","type":"book-chapter","created":{"date-parts":[[2007,8,31]],"date-time":"2007-08-31T04:36:32Z","timestamp":1188534992000},"page":"288-304","source":"Crossref","is-referenced-by-count":157,"title":["Towards Formal Analysis of Artifact-Centric Business Process Models"],"prefix":"10.1007","author":[{"given":"Kamal","family":"Bhattacharya","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Cagdas","family":"Gerede","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Richard","family":"Hull","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rong","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jianwen","family":"Su","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"W.M.P. Aalst","year":"2005","unstructured":"Aalst, W.M.P., Weske, M., Gr\u00fcnbauer, D.: Case handling: a new paradigm for business process support. Data and Knowledge Engineering\u00a053, 129\u2013162 (2005)","journal-title":"Data and Knowledge Engineering"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Ailamaki, A., Ioannidis, Y., Livny, M.: Scientific workflow management by database management. In: Proc. Int. Conf. on Statistical and Scientific Database Management (1998)","DOI":"10.1109\/SSDM.1998.688123"},{"key":"21_CR3","unstructured":"Bhattacharya, K., Gerede, C., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models (full paper) (in preparation, 2007)"},{"issue":"1","key":"21_CR4","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1147\/sj.441.0145","volume":"44","author":"K. Bhattacharya","year":"2005","unstructured":"Bhattacharya, K., Guttman, R., Lymann, K., Heath III, F.F., Kumaran, S., Nandi, P., Wu, F., Athma, P., Freiberg, C., Johannsen, L., Staudt, A.: A model-driven approach to industrializing discovery processes in pharmaceutical research. IBM Sys. J.\u00a044(1), 145\u2013162 (2005)","journal-title":"IBM Sys. J."},{"key":"21_CR5","unstructured":"OWL Services Coalition. OWL-S: Semantic markup for web services (November 2003)"},{"issue":"2","key":"21_CR6","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1007\/BF01277643","volume":"3","author":"D. Georgakopoulos","year":"1995","unstructured":"Georgakopoulos, D., Hornick, M., Sheth, A.: An overview of workflow management: From process modeling to workflow automation infrastructure. Distributed and Parallel Databases\u00a03(2), 119\u2013154 (1995)","journal-title":"Distributed and Parallel Databases"},{"key":"21_CR7","doi-asserted-by":"crossref","unstructured":"Gerede, C.E., Bhattacharya, K., Su, J.: Static analysis of business artifact-centric operational models. In: IEEE Int. Conf. on Service-Oriented Computing and Applications (2007)","DOI":"10.1109\/SOCA.2007.42"},{"key":"21_CR8","unstructured":"Hammer, M.: Deep change: How operational innovation can transform your company. Havard Business Review, pp. 84\u201393 (April 2004)"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Hull, R., Llirbat, F., Simon, E., Su, J., Dong, G., Kumar, B., Zhou, G.: Declarative workflows that support easy modification and dynamic browsing. In: Proc. Int. Joint Conf. on Work Activities Coordination and Collaboration (1999)","DOI":"10.1145\/295665.295674"},{"key":"21_CR10","unstructured":"Jackson, M., Twaddle, G.: Business Process Implementation Building Workflow Systems. Addison-Wesley, ACM Press Books, Boston (1997)"},{"key":"21_CR11","doi-asserted-by":"crossref","unstructured":"Kumaran, S., Nandi, P., Heath, T., Bhaskaran, K., Das, R.: ADoc-oriented programming. In: Symposium on Applications and the Internet (SAINT), pp. 334\u2013343 (2003)","DOI":"10.1109\/SAINT.2003.1183067"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Leymann, F., Roller, D.: Business process management with flowmark. In: Proc. of COMPCON (1994)","DOI":"10.1109\/CMPCON.1994.282918"},{"key":"21_CR13","series-title":"Lecture Notes in Computer Science","volume-title":"CAiSE","author":"R. Liu","year":"2007","unstructured":"Liu, R., Bhattacharya, K., Wu, F.Y.: Modeling business contexture and behavior using business artifacts. In: CAiSE. LNCS, vol.\u00a04495, Springer, Heidelberg (2007)"},{"key":"21_CR14","doi-asserted-by":"crossref","unstructured":"McIlraith, S.A., Son, T.C., Zeng, H.: Semantic web services. In: IEEE Intelligent Systems (March\/April 2001)","DOI":"10.1109\/5254.920599"},{"key":"21_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0049154","volume-title":"Database and Expert Systems Applications","author":"C. Medeiros","year":"1995","unstructured":"Medeiros, C., Vossen, G., Weske, M.: Wasa: a workflow-based architecture to support scientific database applications. In: Revell, N., Tjoa, A.M. (eds.) DEXA 1995. LNCS, vol.\u00a0978, Springer, Heidelberg (1995)"},{"key":"21_CR16","volume-title":"Flow-Based Programming","author":"J.P. Morrison","year":"1994","unstructured":"Morrison, J.P.: Flow-Based Programming. Van Nostrand ReinHold, New York (1994)"},{"key":"21_CR17","doi-asserted-by":"crossref","unstructured":"Nandi, P., Kumaran, S.: Adaptive business objects \u2013 a new component model for business integration. In: Proc. Int. Conf. on Enterprise Information Systems, pp. 179\u2013188 (2005)","DOI":"10.5220\/0002553301790188"},{"issue":"3","key":"21_CR18","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 Sys. J.\u00a042(3), 428\u2013445 (2003)","journal-title":"IBM Sys. J."},{"key":"21_CR19","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/0004-3702(80)90014-4","volume":"13","author":"R. Reiter","year":"1980","unstructured":"Reiter, R.: A logic for default reasoning. Artificial Intelligence\u00a013, 81\u2013132 (1980)","journal-title":"Artificial Intelligence"},{"issue":"2","key":"21_CR20","doi-asserted-by":"publisher","first-page":"117","DOI":"10.1016\/S0306-4379(00)00012-0","volume":"25","author":"W. Sadiq","year":"2000","unstructured":"Sadiq, W., Orlowska, M.E.: Analyzing process models using graph reduction techniques. Inf. Syst.\u00a025(2), 117\u2013134 (2000)","journal-title":"Inf. Syst."},{"issue":"4","key":"21_CR21","doi-asserted-by":"publisher","first-page":"374","DOI":"10.1287\/isre.1060.0105","volume":"17","author":"S.X. Sun","year":"2006","unstructured":"Sun, S.X., Nunamaker, J.F., Zhao, J.L., Sheng, O.R.L.: Formulating the data-flow perspective for business process management. Info. Systems Research\u00a017(4), 374\u2013391 (2006)","journal-title":"Info. Systems Research"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P.: The application of Petri nets to workflow management. J. of Circuits, Systems and Computers 8(1) (1998)","DOI":"10.1142\/S0218126698000043"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"Wang, J., Kumar, A.: A framework for document-driven workflow systems. In: Business Process Management, pp. 285\u2013301 (2005)","DOI":"10.1007\/11538394_19"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75183-0_21.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T19:31:30Z","timestamp":1737401490000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75183-0_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540751823"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75183-0_21","relation":{},"subject":[]}}