{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T16:43:42Z","timestamp":1742402622674},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540749738"},{"type":"electronic","value":"9783540749745"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-74974-5_15","type":"book-chapter","created":{"date-parts":[[2007,8,29]],"date-time":"2007-08-29T08:47:31Z","timestamp":1188377251000},"page":"181-192","source":"Crossref","is-referenced-by-count":70,"title":["Specification and Verification of Artifact Behaviors in Business Process Models"],"prefix":"10.1007","author":[{"given":"Cagdas E.","family":"Gerede","sequence":"first","affiliation":[]},{"given":"Jianwen","family":"Su","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"15_CR1","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"W. Aalst","year":"2005","unstructured":"Aalst, W., Weske, M., Grnbauer, 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":"15_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"8","DOI":"10.1007\/3-540-48683-6_3","volume-title":"Computer Aided Verification","author":"R. Alur","year":"1999","unstructured":"Alur, R.: Timed automata. In: Halbwachs, N., Peled, D.A. (eds.) CAV 1999. LNCS, vol.\u00a01633, pp. 8\u201322. Springer, Heidelberg (1999)"},{"key":"15_CR3","series-title":"Lecture Notes in Computer Science","volume-title":"Computer Aided Verification","author":"I. Beer","year":"2001","unstructured":"Beer, I., Ben-David, S., Eisner, C., Fisman, D., Gringauze, A., Rodeh, Y.: The temporal logic sugar. In: Berry, G., Comon, H., Finkel, A. (eds.) CAV 2001. LNCS, vol.\u00a02102, Springer, Heidelberg (2001)"},{"key":"15_CR4","unstructured":"Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. Business Process Management (BPM)\u00a0 (2007)"},{"issue":"1","key":"15_CR5","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 Systems Journal\u00a044(1), 145\u2013162 (2005)","journal-title":"IBM Systems Journal"},{"key":"15_CR6","volume-title":"Model Checking","author":"E. Clarke","year":"2000","unstructured":"Clarke, E., Grumberg, O., Peled, D.A.: Model Checking. The MIT Press, Cambridge, Massachusetts (2000)"},{"key":"15_CR7","first-page":"995","volume-title":"Handbook of Theoretical Computer Science, ch. 7","author":"E.A. Emerson","year":"1990","unstructured":"Emerson, E.A.: Temporal and modal logic. In: Leeuwen, J. (ed.) Handbook of Theoretical Computer Science, ch. 7, vol.\u00a0B, pp. 995\u20131072. North Holland, Amsterdam (1990)"},{"key":"15_CR8","unstructured":"Gerede, C.E.: Modeling, Analysis, and Composition of Business Processes. PhD thesis, Dept. of Computer Science, University of California at Santa Barbara (2007)"},{"key":"15_CR9","volume-title":"SOCA","author":"C.E. Gerede","year":"2007","unstructured":"Gerede, C.E., Bhattacharya, K., Su, J.: Static analysis of business artifact-centric operational models. In: SOCA. IEEE International Conference on Service-Oriented Computing and Applications, IEEE Computer Society Press, Los Alamitos (2007)"},{"key":"15_CR10","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) (2003)","DOI":"10.1109\/SAINT.2003.1183067"},{"key":"15_CR11","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":"15_CR12","unstructured":"Nandi, P., Kumaran, S.: Adaptive business objects a new component model for business integration. In: Int. Conf. on Enterprise Information Systems (2005)"},{"issue":"3","key":"15_CR13","doi-asserted-by":"crossref","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":"15_CR14","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","Service-Oriented Computing \u2013 ICSOC 2007"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-74974-5_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,23]],"date-time":"2019-02-23T07:08:21Z","timestamp":1550905701000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-74974-5_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540749738","9783540749745"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-74974-5_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}