{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,21]],"date-time":"2026-01-21T20:48:57Z","timestamp":1769028537262,"version":"3.49.0"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642195884","type":"print"},{"value":"9783642195891","type":"electronic"}],"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-19589-1_1","type":"book-chapter","created":{"date-parts":[[2011,3,19]],"date-time":"2011-03-19T07:24:06Z","timestamp":1300519446000},"page":"1-24","source":"Crossref","is-referenced-by-count":95,"title":["Introducing the Guard-Stage-Milestone Approach for Specifying Business Entity Lifecycles"],"prefix":"10.1007","author":[{"given":"Richard","family":"Hull","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elio","family":"Damaggio","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabiana","family":"Fournier","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Manmohan","family":"Gupta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"suffix":"III","given":"Fenno (Terry)","family":"Heath","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stacy","family":"Hobson","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mark","family":"Linehan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sridhar","family":"Maradugu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anil","family":"Nigam","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Piyawadee","family":"Sukaviriya","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Roman","family":"Vaculin","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"5","key":"1_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":"1_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":"1_CR3","unstructured":"Artifact-centric service interoperation (ACSI) web site (2010), http:\/\/acsi-project.eu\/"},{"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","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":"1_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"260","DOI":"10.1007\/978-3-540-77010-7_25","volume-title":"Web Information Systems Engineering \u2013 WISE 2007 Workshops","author":"M. Born","year":"2007","unstructured":"Born, M., D\u00f6rr, F., Weber, I.: User-friendly semantic annotation in business process modeling. In: Weske, M., Hacid, M.-S., Godart, C. (eds.) WISE Workshops 2007. LNCS, vol.\u00a04832, pp. 260\u2013271. Springer, Heidelberg (2007)"},{"key":"1_CR7","doi-asserted-by":"publisher","first-page":"545","DOI":"10.1016\/B978-044482830-9\/50027-8","volume-title":"Handbook of Process Algebra","author":"O. Burkart","year":"2001","unstructured":"Burkart, O., Caucal, D., Moller, F., Steffen, B.: Verification of infinite structures. In: Bergstra, J.A., Ponse, A., Smolka, S.A. (eds.) Handbook of Process Algebra, pp. 545\u2013623. North-Holland, Amsterdam (2001)"},{"key":"1_CR8","doi-asserted-by":"crossref","unstructured":"Chao, T., et al.: Artifact-based transformation of IBM Global Financing: A case study. In: Intl. Conf. on Business Process Management, BPM (September 2009) (to appear)","DOI":"10.1007\/978-3-642-03848-8_18"},{"key":"1_CR9","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., Dhoolia, P., (Terry)Heath III, F., Pinel, F., Vergo, J.: 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":"1_CR10","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":"1_CR11","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) (to appear)","DOI":"10.1145\/1938551.1938563"},{"key":"1_CR12","doi-asserted-by":"crossref","unstructured":"Damaggio, E., Hull, R., Vaculin, R.: On the equivalence of incremental and fixpoint semantics for business entities with guard-stage-milestone lifecycles (2011) (in preparation)","DOI":"10.1007\/978-3-642-23059-2_29"},{"key":"1_CR13","unstructured":"de Man. H.: Case management: Cordys approach (February 2009), http:\/\/www.bptrends.com\/deliver_file.cfmfileType=publication&fileName=02-09-ART-BPTrends%20_%20Case%20Management-DeMan%20-final.doc.pdf"},{"key":"1_CR14","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":"1_CR15","doi-asserted-by":"crossref","unstructured":"Fritz, C., Hull, R., Su, J.: Automatic construction of simple artifact-based workflows. In: Proc. of Intl. Conf. on Database Theory, ICDT (2009)","DOI":"10.1145\/1514894.1514922"},{"key":"1_CR16","unstructured":"Object\u00a0Management Group. Object Constraint Language: OMG Available Specification, Version 2.0 (May 2006), http:\/\/www.omg.org\/technology\/documents\/formal\/ocl.htm"},{"key":"1_CR17","doi-asserted-by":"crossref","unstructured":"Hull, R.: Artifact-centric business process models: Brief survey of research results and challenges. In: On the Move to Meaningful Internet Systems: OTM 2008, OTM 2008 Confederated Intl. Conf.s, CoopIS, DOA, GADA, IS, and ODBASE 2008, Monterrey, Mexico (2008)","DOI":"10.1007\/978-3-540-88873-4_17"},{"key":"1_CR18","unstructured":"Hull, R., et al.: A lifecycle meta-model for business entities based on guards, stages, and milestones (2011) (in preparation)"},{"key":"1_CR19","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":"1_CR20","doi-asserted-by":"crossref","unstructured":"Kumaran, S., Nandi, P. (Terry) Heath III, F.F., Bhaskaran, K., Das, R.: ADoc-oriented programming. In: Symp. on Applications and the Internet (SAINT), pp. 334\u2013343 (2003)","DOI":"10.1109\/SAINT.2003.1183067"},{"issue":"2","key":"1_CR21","first-page":"1553","volume":"3","author":"B. Marinoiu","year":"2010","unstructured":"Marinoiu, B., Abiteboul, S., Bourhis, P., Galland, A.: AXART \u2013 Enabling collaborative work with AXML artifacts. Proc. VLDB Endowment\u00a03(2), 1553\u20131556 (2010)","journal-title":"Proc. VLDB Endowment"},{"key":"1_CR22","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":"1_CR23","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_CR24","unstructured":"Object Management Group (OMG). Semantics of Business Vocabulary and Business Rules (SBVR), Version 1.0 (January 2008), http:\/\/www.omg.org\/spec\/SBVR\/1.0\/"},{"key":"1_CR25","unstructured":"Object Management\u00a0Group (OMG). Business process management initiative (2011), http:\/\/www.bpmn.org\/"},{"key":"1_CR26","doi-asserted-by":"crossref","unstructured":"Redding, G., Dumas, M., ter Hofstede, A.H.M., Iordachescu, A.: Modelling flexible processes with business objects. In: Proc. 11th IEEE Intl. Conf. on Commerce and Enterprise Computing, CEC (2009)","DOI":"10.1109\/CEC.2009.39"},{"issue":"3","key":"1_CR27","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"},{"issue":"4","key":"1_CR28","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":"1_CR29","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":"1_CR30","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":"1_CR31","unstructured":"Yang, F., Shanmugasundaram, J., Riedewald, M., Gehrke, J.: Hilda: A high-level language for data-drivenweb applications. In: Proc. Intl. Conf. on Data Eng, ICDE (2006)"}],"container-title":["Lecture Notes in Computer Science","Web Services and Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19589-1_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,4]],"date-time":"2025-03-04T16:27:45Z","timestamp":1741105665000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19589-1_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642195884","9783642195891"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19589-1_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}