{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T06:22:07Z","timestamp":1725603727176},"publisher-location":"Berlin, Heidelberg","reference-count":27,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642230585"},{"type":"electronic","value":"9783642230592"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-23059-2_29","type":"book-chapter","created":{"date-parts":[[2011,8,30]],"date-time":"2011-08-30T13:57:42Z","timestamp":1314712662000},"page":"396-412","source":"Crossref","is-referenced-by-count":19,"title":["On the Equivalence of Incremental and Fixpoint Semantics for Business Artifacts with Guard-Stage-Milestone Lifecycles"],"prefix":"10.1007","author":[{"given":"Elio","family":"Damaggio","sequence":"first","affiliation":[]},{"given":"Richard","family":"Hull","sequence":"additional","affiliation":[]},{"given":"Roman","family":"Vacul\u00edn","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"5","key":"29_CR1","doi-asserted-by":"publisher","first-page":"1019","DOI":"10.1007\/s00778-007-0049-y","volume":"17","author":"S. Abiteboul","year":"2008","unstructured":"Abiteboul, S., Benjelloun, O., Milo, T.: The Active XML project: An overview. Very Large Databases Journal\u00a017(5), 1019\u20131040 (2008)","journal-title":"Very Large Databases Journal"},{"key":"29_CR2","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Bourhis, P., Galland, A., Marinoiu, B.: The AXML Artifact Model. In: Proc. 16th Intl. Symp. on Temporal Representation and Reasoning, TIME (2009)","DOI":"10.1109\/TIME.2009.9"},{"key":"29_CR3","doi-asserted-by":"crossref","unstructured":"Abiteboul, S., Segoufin, L., Vianu, V.: Static analysis of active XML systems. In: Proc. Intl. Symp. on Principles of Database Systems, PODS (2008)","DOI":"10.1145\/1376916.1376948"},{"key":"29_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"288","DOI":"10.1007\/978-3-540-75183-0_21","volume-title":"Business Process Management","author":"K. Bhattacharya","year":"2007","unstructured":"Bhattacharya, K., Gerede, C.E., Hull, R., Liu, R., Su, J.: Towards formal analysis of artifact-centric business process models. In: Alonso, G., Dadam, P., Rosemann, M. (eds.) BPM 2007. LNCS, vol.\u00a04714, pp. 288\u2013304. Springer, Heidelberg (2007)"},{"key":"29_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"722","DOI":"10.1007\/978-3-540-89652-4_63","volume-title":"Service-Oriented Computing \u2013 ICSOC 2008","author":"D. Cohn","year":"2008","unstructured":"Cohn, D., et al.: Siena: From powerpoint to web app in 5 minutes. In: Bouguettaya, A., Krueger, I., Margaria, T. (eds.) ICSOC 2008. LNCS, vol.\u00a05364, pp. 722\u2013723. Springer, Heidelberg (2008)"},{"key":"29_CR6","first-page":"3","volume":"32","author":"D. Cohn","year":"2009","unstructured":"Cohn, D., Hull, R.: Business artifacts: A data-centric approach to modeling business operations and processes. IEEE Data Engineering Bulletin\u00a032, 3\u20139 (2009)","journal-title":"IEEE Data Engineering Bulletin"},{"key":"29_CR7","doi-asserted-by":"crossref","unstructured":"Damaggio, E., Deutsch, A., Vianu, V.: Artifact systems with data dependencies and arithmetic constraints. In: Proc. Intl. Conf. on Database Theory, ICDT (2011)","DOI":"10.1145\/1938551.1938563"},{"key":"29_CR8","doi-asserted-by":"crossref","unstructured":"Damaggio, E., Hull, R., Vacul\u00edn, R.: On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles (full version), available upon request (2011)","DOI":"10.1007\/978-3-642-23059-2_29"},{"key":"29_CR9","unstructured":"de Man, H.: Case management: Cordys approach (February 2009), http:\/\/www.bptrends.com\/deliver_file.cfm?fileType=publication&fileName=02-09-ART-BPTrends%20-%20Case%20Management-DeMan%20-final.doc.pdf"},{"key":"29_CR10","doi-asserted-by":"crossref","unstructured":"Deutsch, A., Hull, R., Patrizi, F., Vianu, V.: Automatic verification of data-centric business processes. In: Proc. Intl. Conf. on Database Theory, ICDT (2009)","DOI":"10.1145\/1514894.1514924"},{"key":"29_CR11","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":"29_CR12","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)"},{"key":"29_CR13","unstructured":"Hildebrandt, T., Mukkamala, R.R.: Distributed dynamic condition response structures. In: Programming Language Approaches to Concurrency and Communication Centric Software, PLACES (2010)"},{"key":"29_CR14","doi-asserted-by":"crossref","unstructured":"Hull, R., Damaggio, E., De Masellis, R., Fournier, F., Gupta, M., Heath III, F., Hobson, S., Linehan, M., Maradugu, S., Nigam, A., Sukaviriya, P., Vacul\u00edn, R.: Business entities with guard-stage-milestone lifecycles: Managing entity interactions with conditions and events. In: Distributed Event-Based Systems, DEBS 2011 (2011)","DOI":"10.1145\/2002259.2002270"},{"key":"29_CR15","series-title":"Lecture Notes in Computer Science","first-page":"1","volume-title":"WS-FM 2010","author":"R. Hull","year":"2011","unstructured":"Hull, R., et al.: Introducing the guard-stage-milestone approach for specifying business entity lifecycles. In: Bravetti, M. (ed.) WS-FM 2010. LNCS, vol.\u00a06551, pp. 1\u201324. Springer, Heidelberg (2011)"},{"key":"29_CR16","unstructured":"Hull, R., et al.: A formal introduction to business entities with guard-stage-milestone lifecycles, Version 0.7, Draft IBM Research internal report (March 14, 2011), http:\/\/researcher.watson.ibm.com\/researcher\/view_page.php?id=1710"},{"key":"29_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J.W. Lloyd","year":"1987","unstructured":"Lloyd, J.W.: Foundations of Logic Programming, 2nd edn. Springer, Heidelberg (1987)","edition":"2"},{"key":"29_CR18","doi-asserted-by":"crossref","unstructured":"Marinoiu, B., Abiteboul, S., Bourhis, P., Galland, A.: AXART \u2013 Enabling collaborative work with AXML artifacts. In: Proc. VLDB Endowment (2010)","DOI":"10.14778\/1920841.1921036"},{"key":"29_CR19","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/67544.66946","volume-title":"Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data","author":"D.R. McCarthy","year":"1989","unstructured":"McCarthy, D.R., Dayal, U.: McCarthy and Umeshwar Dayal. The architecture of an active data base management system. In: Proceedings of the 1989 ACM SIGMOD International Conference on Management of Data, Portland, Oregon, May 31 - June 2, pp. 215\u2013224. ACM Press, New York (1989)"},{"key":"29_CR20","unstructured":"Nandi, P., et al.: Data4BPM, Part 1: Introducing Business Entities and the Business Entity Definition Language (BEDL) (April 2010), http:\/\/www.ibm.com\/developerworks\/websphere\/library\/techarticles\/1004_nandi\/1004_nandi.html"},{"issue":"3","key":"29_CR21","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"},{"issue":"3","key":"29_CR22","doi-asserted-by":"publisher","first-page":"415","DOI":"10.1147\/sj.473.0415","volume":"47","author":"J.K. Strosnider","year":"2008","unstructured":"Strosnider, J.K., Nandi, P., Kumarn, S., Ghosh, S., Arsanjani, A.: Model-driven synthesis of SOA solutions. IBM Systems Journal\u00a047(3), 415\u2013432 (2008)","journal-title":"IBM Systems Journal"},{"key":"29_CR23","doi-asserted-by":"crossref","unstructured":"Vacul\u00edn, R., Hull, R., Heath, T., Cochran, C., Nigam, A., Sukavirirya, P.: Declarative business artifact centric modeling of decision and knowledge intensive business processes. In: Enterprise Distributed Object Computing Conference, EDOC (2011)","DOI":"10.1109\/EDOC.2011.36"},{"issue":"4","key":"29_CR24","doi-asserted-by":"publisher","first-page":"443","DOI":"10.1142\/S0218843001000412","volume":"10","author":"W.M.P. Aalst van der","year":"2001","unstructured":"van der Aalst, W.M.P., Barthelmess, P., Ellis, C.A., Wainer, J.: Proclets: A framework for lightweight interacting workflow processes. Int. J. Coop. Inf. Syst.\u00a010(4), 443\u2013481 (2001)","journal-title":"Int. J. Coop. Inf. Syst."},{"key":"29_CR25","doi-asserted-by":"crossref","unstructured":"van der Aalst, W.M.P., Pesic, M.: Decserflow: Towards a truly declarative service flow language. In: The Role of Business Processes in Service Oriented Architectures (2006)","DOI":"10.1007\/11841197_1"},{"issue":"2","key":"29_CR26","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/j.datak.2004.07.003","volume":"53","author":"W.M.P. Aalst van der","year":"2005","unstructured":"van der Aalst, W.M.P., Weske, M.: Case handling: a new paradigm for business process support. Data Knowl. Eng.\u00a053(2), 129\u2013162 (2005)","journal-title":"Data Knowl. Eng."},{"key":"29_CR27","unstructured":"Zhu, W.-D., et al: Advanced Case Management with IBM Case Manager. Published by IBM, http:\/\/www.redbooks.ibm.com\/redpieces\/abstracts\/sg247929.html?Open"}],"container-title":["Lecture Notes in Computer Science","Business Process Management"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-23059-2_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,14]],"date-time":"2019-06-14T16:10:45Z","timestamp":1560528645000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-23059-2_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642230585","9783642230592"],"references-count":27,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-23059-2_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}