{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:02:58Z","timestamp":1786978978741,"version":"build-2736575974"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319462943","type":"print"},{"value":"9783319462950","type":"electronic"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-46295-0_29","type":"book-chapter","created":{"date-parts":[[2016,9,19]],"date-time":"2016-09-19T09:21:04Z","timestamp":1474276864000},"page":"467-482","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Deriving Consistent GSM Schemas from DCR Graphs"],"prefix":"10.1007","author":[{"given":"Rik","family":"Eshuis","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"S\u00f8ren","family":"Debois","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Tijs","family":"Slaats","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Thomas","family":"Hildebrandt","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2016,9,20]]},"reference":[{"key":"29_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11841197_1","volume-title":"Web Services and Formal Methods","author":"WMP van der Aalst","year":"2006","unstructured":"van der Aalst, W.M.P., Pesic, M.: DecSerFlow: towards a truly declarative service flow language. In: Bravetti, M., N\u00fa\u00f1ez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"29_CR2","unstructured":"BizAgi, et al.: Case Management Model and Notation (CMMN), v1, OMG Document Number formal\/2014-05-05, Object Management Group, May 2014"},{"key":"29_CR3","unstructured":"Web Services Business Process Execution Language (BPEL), Version 2.0 (2007). http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.html"},{"key":"29_CR4","unstructured":"Business Process Model and Notation (BPMN), Version 2.0 (2011). http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF"},{"key":"29_CR5","doi-asserted-by":"publisher","first-page":"561","DOI":"10.1016\/j.is.2012.09.002","volume":"38","author":"E Damaggio","year":"2013","unstructured":"Damaggio, E., Hull, R., Vacul\u00edn, R.: On the equivalence of incremental and fixpoint semantics for business artifacts with guard-stage-milestone lifecycles. Inf. Syst. 38, 561\u2013584 (2013)","journal-title":"Inf. Syst."},{"key":"29_CR6","doi-asserted-by":"crossref","unstructured":"Debois, S., Slaats, T.: The analysis of a real life declarative process. In: CIDM 2015, pp. 1374\u20131382 (2015)","DOI":"10.1109\/SSCI.2015.196"},{"key":"29_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"143","DOI":"10.1007\/978-3-319-19249-9_10","volume-title":"FM 2015: Formal Methods","author":"S Debois","year":"2015","unstructured":"Debois, S., Hildebrandt, T., Slaats, T.: Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes. In: Bj\u00f8rner, N., Boer, F. (eds.) FM 2015. LNCS, vol. 9109, pp. 143\u2013160. Springer, Heidelberg (2015)"},{"key":"29_CR8","unstructured":"Debois, S., Hildebrandt, T.T., Marquard, M., Slaats, T.: Hybrid process technologies in the financial sector. In: BPM 2015 (Industry track), pp. 107\u2013119 (2015). http:\/\/ceur-ws.org\/Vol-1439\/paper9.pdf"},{"key":"29_CR9","doi-asserted-by":"crossref","unstructured":"Eshuis, R., Debois, S., Slaats, T., Hildebrandt, T.: Deriving consistent GSM schemas from DCR graphs (full version). IT University of Copenhagen (2016). http:\/\/itu.dk\/people\/debois\/tr.pdf","DOI":"10.1007\/978-3-319-46295-0_29"},{"key":"29_CR10","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1016\/j.is.2014.04.005","volume":"46","author":"R Eshuis","year":"2014","unstructured":"Eshuis, R., Hull, R., Sun, Y., Vacul\u00edn, R.: Splitting GSM schemas: a framework for outsourcing of declarative artifact systems. Inf. Syst. 46, 157\u2013187 (2014)","journal-title":"Inf. Syst."},{"issue":"4","key":"29_CR11","doi-asserted-by":"publisher","first-page":"345","DOI":"10.1007\/s00607-015-0442-0","volume":"98","author":"R Eshuis","year":"2016","unstructured":"Eshuis, R., Van Gorp, P.: Synthesizing data-centric models from business process models. Computing 98(4), 345\u2013373 (2016)","journal-title":"Computing"},{"key":"29_CR12","unstructured":"Exformatics: Dcrgraphs editor and simulator. http:\/\/DCRGraphs.net"},{"key":"29_CR13","doi-asserted-by":"crossref","unstructured":"Gonzalez, P., Griesmayer, A., Lomuscio, A.: Verifying GSM-based business artifacts. In: Proceedings of the 2012 IEEE 19th International Conference on Web Services (ICWS), pp. 25\u201332. IEEE Computer Society (2012)","DOI":"10.1109\/ICWS.2012.31"},{"key":"29_CR14","unstructured":"Heath, F., Vacul\u00edn, R., Hull, R.: Barcelona: a design and runtime environment for modeling and execution of artifact-centric business processes. In: Proceedings of the 9th International Conference on Business Process Management, BPM (2011)"},{"key":"29_CR15","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T.T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: PLACES, pp. 59\u201373 (2010)","DOI":"10.4204\/EPTCS.69.5"},{"key":"29_CR16","series-title":"Lecture Notes in Business Information Processing","doi-asserted-by":"publisher","first-page":"24","DOI":"10.1007\/978-3-642-36285-9_4","volume-title":"Business Process Management Workshops","author":"M Marin","year":"2013","unstructured":"Marin, M., Hull, R., Vacul\u00edn, R.: Data centric BPM and the emerging case management standard: a short survey. In: Rosa, M., Soffer, P. (eds.) BPM Workshops 2012. LNBIP, vol. 132, pp. 24\u201330. Springer, Heidelberg (2013)"},{"key":"29_CR17","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"209","DOI":"10.1007\/978-3-319-23063-4_15","volume-title":"Business Process Management","author":"M Marquard","year":"2015","unstructured":"Marquard, M., Shahzad, M., Slaats, T.: Web-based modelling and collaborative simulation of declarative processes. In: Motahari-Nezhad, H.R., Recker, J., Weidlich, M. (eds.) BPM. LNCS, vol. 9253, pp. 209\u2013225. Springer, Heidelberg (2015)"},{"key":"29_CR18","unstructured":"Mukkamala, R.R.: A formal model for declarative workflows: dynamic condition response graphs. Ph.D. thesis, IT University of Copenhagen, June 2012"},{"issue":"01","key":"29_CR19","doi-asserted-by":"crossref","first-page":"1550001","DOI":"10.1142\/S021884301550001X","volume":"24","author":"Viara Popova","year":"2015","unstructured":"Popova, V., Fahland, D., Dumas, M.: Artifact lifecycle discovery. Int. J. Coop. Inf. Syst. 24(1) (2015). http:\/\/dx.doi.org\/10.1142\/S021884301550001X","journal-title":"International Journal of Cooperative Information Systems"},{"issue":"10","key":"29_CR20","doi-asserted-by":"publisher","first-page":"2824","DOI":"10.1109\/TKDE.2015.2421331","volume":"27","author":"M Sadoghi","year":"2015","unstructured":"Sadoghi, M., Jergler, M., Jacobsen, H., Hull, R., Vacul\u00edn, R.: Safe distribution and parallel execution of data-centric workflows over the publish\/subscribe abstraction. IEEE Trans. Knowl. Data Eng. 27(10), 2824\u20132838 (2015)","journal-title":"IEEE Trans. Knowl. Data Eng."},{"key":"29_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"339","DOI":"10.1007\/978-3-642-40176-3_28","volume-title":"Business Process Management","author":"T Slaats","year":"2013","unstructured":"Slaats, T., Mukkamala, R.R., Hildebrandt, T., Marquard, M.: Exformatics declarative case management workflows as DCR graphs. In: Daniel, F., Wang, J., Weber, B. (eds.) BPM 2013. LNCS, vol. 8094, pp. 339\u2013354. Springer, Heidelberg (2013)"},{"key":"29_CR22","unstructured":"Solomakhin, D., Montali, M., Tessaris, S.: Formalizing guard-stage-milestone meta-models as data-centric dynamic systems. Technical report (2012)"},{"key":"29_CR23","volume-title":"Mastering the Unpredictable: How Adaptive Case Management will Revolutionize the Way that Knowledge Workers Get Things Done","author":"KD Swenson","year":"2010","unstructured":"Swenson, K.D.: Mastering the Unpredictable: How Adaptive Case Management will Revolutionize the Way that Knowledge Workers Get Things Done. Meghan-Kiffer, Tampa (2010)"}],"container-title":["Lecture Notes in Computer Science","Service-Oriented Computing"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-46295-0_29","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,9,19]],"date-time":"2021-09-19T20:12:43Z","timestamp":1632082363000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-46295-0_29"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319462943","9783319462950"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-46295-0_29","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"20 September 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"ICSOC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Service-Oriented Computing","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Banff","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Canada","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2016","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2016","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 October 2016","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"14","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"icsoc2016","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}