{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,1]],"date-time":"2025-12-01T02:48:46Z","timestamp":1764557326035,"version":"3.40.3"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319192482"},{"type":"electronic","value":"9783319192499"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-19249-9_10","type":"book-chapter","created":{"date-parts":[[2015,5,23]],"date-time":"2015-05-23T07:55:31Z","timestamp":1432367731000},"page":"143-160","source":"Crossref","is-referenced-by-count":21,"title":["Safety, Liveness and Run-Time Refinement for Modular Process-Aware Information Systems with Dynamic Sub Processes"],"prefix":"10.1007","author":[{"given":"S\u00f8ren","family":"Debois","sequence":"first","affiliation":[]},{"given":"Thomas","family":"Hildebrandt","sequence":"additional","affiliation":[]},{"given":"Tijs","family":"Slaats","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"1","key":"10_CR1","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1142\/S0218126698000043","volume":"8","author":"W.M.P. van der Aalst","year":"1998","unstructured":"van der Aalst, W.M.P.: The application of petri nets to workflow management. Journal of Circuits, Systems, and Computers\u00a08(1), 21\u201366 (1998)","journal-title":"Journal of Circuits, Systems, and Computers"},{"key":"10_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-44895-0_1","volume-title":"Business Process Management","author":"W.M.P. van der Aalst","year":"2003","unstructured":"van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M.: Business process management: A survey. In: van der Aalst, W.M.P., ter Hofstede, A.H.M., Weske, M. (eds.) BPM 2003. LNCS, vol.\u00a02678, pp. 1\u201312. Springer, Heidelberg (2003)"},{"key":"10_CR3","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":"W.M.P. 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.\u00a04184, pp. 1\u201323. Springer, Heidelberg (2006)"},{"key":"10_CR4","unstructured":"van der Aalst, W.M.P., Pesic, M., Schonenberg, H., Westergaard, M., Maggi, F.M.: Declare. Webpage (2010), \n                        http:\/\/www.win.tue.nl\/declare\/"},{"key":"10_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1007\/978-3-642-35182-2_15","volume-title":"Programming Languages and Systems","author":"G. Anderson","year":"2012","unstructured":"Anderson, G., Rathke, J.: Dynamic software update for message passing programs. In: Jhala, R., Igarashi, A. (eds.) APLAS 2012. LNCS, vol.\u00a07705, pp. 207\u2013222. Springer, Heidelberg (2012)"},{"key":"10_CR6","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1006\/inco.2001.3060","volume":"171","author":"P. Baldan","year":"2001","unstructured":"Baldan, P., Corradini, A., Montanari, U.: Contextual petri nets, asymmetric event structures, and processes. Information and Computation\u00a0171, 1\u201349 (2001)","journal-title":"Information and Computation"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","volume-title":"Software Engineering and Formal Methods","year":"2011","unstructured":"Barthe, G., Pardo, A., Schneider, G. (eds.): SEFM 2011. LNCS, vol.\u00a07041. Springer, Heidelberg (2011)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Giusto, C.D., P\u00e9rez, J.A., Zavattaro, G.: Steps on the road to component evolvability. In: Proceedings of the 7th International Conference on Formal Aspects of Component Software, FACS 2010, pp. 295\u2013299 (2012), \n                        http:\/\/dx.doi.org\/10.1007\/978-3-642-27269-1_19","DOI":"10.1007\/978-3-642-27269-1_19"},{"key":"10_CR9","doi-asserted-by":"crossref","unstructured":"Bravetti, M., Giusto, C.D., P\u00e9rez, J.A., Zavattaro, G.: Adaptable processes. Logical Methods in Computer Science\u00a08(4) (2012)","DOI":"10.2168\/LMCS-8(4:13)2012"},{"key":"10_CR10","doi-asserted-by":"crossref","unstructured":"Debois, S., Hildebrandt, T., Marquard, M., Slaats, T.: A case for declarative process modelling: Agile development of a grant application system. In: EDOCW\/AdaptiveCM 2014, pp. 126 \u2013 133. IEEE (September 2014)","DOI":"10.1109\/EDOCW.2014.27"},{"key":"10_CR11","doi-asserted-by":"crossref","unstructured":"Debois, S., Hildebrandt, T., Slaats, T.: Safety, liveness and run-time refinement for modular process-aware information systems with dynamic sub processes (full version) (2015), \n                        http:\/\/www.itu.dk\/~debois\/dcrstar-tr.pdf","DOI":"10.1007\/978-3-319-19249-9_10"},{"key":"10_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"18","DOI":"10.1007\/978-3-319-10172-9_2","volume-title":"Business Process Management","author":"S. Debois","year":"2014","unstructured":"Debois, S., Hildebrandt, T.T., Slaats, T.: Hierarchical declarative modelling with refinement and sub-processes. In: Sadiq, S., Soffer, P., V\u00f6lzer, H. (eds.) BPM 2014. LNCS, vol.\u00a08659, pp. 18\u201333. Springer, Heidelberg (2014), \n                        http:\/\/dx.doi.org\/10.1007\/978-3-319-10172-9"},{"key":"10_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-662-43613-4_1","volume-title":"Formal Techniques for Distributed Objects, Components, and Systems","author":"S. Debois","year":"2014","unstructured":"Debois, S., Hildebrandt, T.T., Slaats, T., Yoshida, N.: Type checking liveness for collaborative processes with bounded and unbounded recursion. In: \u00c1brah\u00e1m, E., Palamidessi, C. (eds.) FORTE 2014. LNCS, vol.\u00a08461, pp. 1\u201316. Springer, Heidelberg (2014)"},{"key":"10_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/3-540-63139-9_26","volume-title":"Application and Theory of Petri Nets 1997","author":"J. Esparza","year":"1997","unstructured":"Esparza, J., Melzer, S.: Model checking LTL using constraint programming. In: Az\u00e9ma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol.\u00a01248, pp. 1\u201320. Springer, Heidelberg (1997)"},{"issue":"1-2","key":"10_CR15","first-page":"103","volume":"68","author":"H. Fecher","year":"2005","unstructured":"Fecher, H., Majster-Cederbaum, M.: Event structures for arbitrary disruption. Fundam. Inf.\u00a068(1-2), 103\u2013130 (2005)","journal-title":"Fundam. Inf."},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/978-3-540-45187-7_4","volume-title":"CONCUR 2003 - Concurrency Theory","author":"R.J. van Glabbeek","year":"2003","unstructured":"van Glabbeek, R.J., Vaandrager, F.W.: Bundle event structures and CCSP. In: Amadio, R.M., Lugiez, D. (eds.) CONCUR 2003. LNCS, vol.\u00a02761, pp. 57\u201371. Springer, Heidelberg (2003)"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Hildebrandt, T.T., Mukkamala, R.R.: Declarative event-based workflow as distributed dynamic condition response graphs. In: PLACES. EPTCS. EPTCS, vol.\u00a069, pp. 59\u201373 (2010)","DOI":"10.4204\/EPTCS.69.5"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"343","DOI":"10.1007\/978-3-642-29320-7_23","volume-title":"Fundamentals of Software Engineering","author":"T.T. Hildebrandt","year":"2012","unstructured":"Hildebrandt, T.T., Mukkamala, R.R., Slaats, T.: Nested dynamic condition response graphs. In: Arbab, F., Sirjani, M. (eds.) FSEN 2011. LNCS, vol.\u00a07141, pp. 343\u2013350. Springer, Heidelberg (2012)"},{"issue":"5-7","key":"10_CR19","doi-asserted-by":"publisher","first-page":"164","DOI":"10.1016\/j.jlap.2013.05.005","volume":"82","author":"T.T. Hildebrandt","year":"2013","unstructured":"Hildebrandt, T.T., Mukkamala, R.R., Slaats, T., Zanitti, F.: Contracts for cross-organizational workflows as timed dynamic condition response graphs. J. Log. Algebr. Program.\u00a082(5-7), 164\u2013185 (2013)","journal-title":"J. Log. Algebr. Program."},{"issue":"1-2","key":"10_CR20","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1016\/0304-3975(95)00120-4","volume":"153","author":"P.W. Hoogers","year":"1996","unstructured":"Hoogers, P.W., Kleijn, H.C.M., Thiagarajan, P.S.: An event structure semantics for general petri nets. Theoretical Computer Science\u00a0153(1-2), 129\u2013170 (1996)","journal-title":"Theoretical Computer Science"},{"key":"10_CR21","unstructured":"Janneck, J.W., Esser, R.: Higher-order petri net modelling: Techniques and applications. In: Proceedings of the Conference on Application and Theory of Petri Nets: Formal Methods in Software Engineering and Defence Systems, CRPIT 2002, pp. 17\u201325 (2002)"},{"key":"10_CR22","unstructured":"Katoen, J.P.: Quantitative and qualitative extensions of event structures. Ph.D. thesis, University of Twente, Enschede (April 1996)"},{"key":"10_CR23","unstructured":"Langerak, R.: Transformations and Semantics for LOTOS. Universiteit Twente (1992)"},{"key":"10_CR24","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"317","DOI":"10.1007\/3-540-63141-0_22","volume-title":"CONCUR\u201997: Concurrency Theory","author":"R. Langerak","year":"1997","unstructured":"Langerak, R., Brinksma, E., Katoen, J.-P.: Causal ambiguity and partial orders in event structures. In: Mazurkiewicz, A., Winkowski, J. (eds.) CONCUR 1997. LNCS, vol.\u00a01243, pp. 317\u2013331. Springer, Heidelberg (1997)"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"298","DOI":"10.1007\/978-3-540-27793-4_17","volume-title":"Applications and Theory of Petri Nets 2004","author":"T. Latvala","year":"2004","unstructured":"Latvala, T., M\u00e4kel\u00e4, M.: LTL model checking for modular petri nets. In: Cortadella, J., Reisig, W. (eds.) ICATPN 2004. LNCS, vol.\u00a03099, pp. 298\u2013311. Springer, Heidelberg (2004)"},{"key":"10_CR26","unstructured":"Minsky, M.L.: Computation: Finite and Infinite Machines. Prentice-Hall (1967)"},{"key":"10_CR27","doi-asserted-by":"crossref","unstructured":"Montali, M.: Specification and Verification of Declarative Open Interaction Models - A Logic-Based Approach, LNBIP, vol.\u00a056. Springer, Heidelberg (2010)","DOI":"10.1007\/978-3-642-14538-4"},{"key":"10_CR28","unstructured":"Mukkamala, R.R.: A Formal Model For Declarative Workflows: Dynamic Condition Response Graphs. Ph.D. thesis, IT University of Copenhagen (June 2012)"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Mukkamala, R.R., Hildebrandt, T., Slaats, T.: Towards trustworthy adaptive case management with dynamic condition response graphs. In: EDOC, pp. 127\u2013136. IEEE (2013)","DOI":"10.1109\/EDOC.2013.22"},{"key":"10_CR30","unstructured":"Object Management Group BPMN Technical Committee: Business Process Model and Notation, version 2.0, \n                        http:\/\/www.omg.org\/spec\/BPMN\/2.0\/PDF"},{"key":"10_CR31","doi-asserted-by":"crossref","unstructured":"Pinna, G., Poign, A.: On the nature of events: another perspective in concurrency. Theoretical Computer Science\u00a0138(2), 425\u2013454 (1995), meeting on the mathematical foundation of programing semantics","DOI":"10.1016\/0304-3975(94)00174-H"},{"key":"10_CR32","doi-asserted-by":"crossref","unstructured":"Reichert, M., Weber, B.: Enabling Flexibility in Process-Aware Information Systems - Challenges, Methods, Technologies. Springer (2012)","DOI":"10.1007\/978-3-642-30409-5"},{"key":"10_CR33","unstructured":"Russell, N., ter Hofstede, A., van der Aalst, W., Mulyar, N.: Workflow control-flow patterns: A revised view (2006), \n                        http:\/\/BPMcenter.org"},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Sibertin-Blanc, C., Mauran, P., Padiou, G.: Safe Adaptation of Component Coordination. In: Proceedings of the Third International Workshop on Coordination and Adaption Techniques for Software Entities, vol.\u00a0189, pp. 69\u201385 (juillet 2007)","DOI":"10.1016\/j.entcs.2007.05.048"},{"key":"10_CR35","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.\u00a08094, pp. 339\u2013354. Springer, Heidelberg (2013)"},{"key":"10_CR36","unstructured":"Winskel, G.: Events in Computation. Ph.D. thesis, University of Edinburgh (1980)"},{"key":"10_CR37","series-title":"LNBIP","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/978-3-642-31072-0_12","volume-title":"Enterprise, Business-Process and Information Systems Modeling","author":"S. Zugal","year":"2012","unstructured":"Zugal, S., Soffer, P., Pinggera, J., Weber, B.: Expressiveness and understandability considerations of hierarchy in declarative business process models. In: Bider, I., et al. (eds.) EMMSAD 2012 and BPMDS 2012. LNBIP, vol.\u00a0113, pp. 167\u2013181. Springer, Heidelberg (2012)"}],"container-title":["Lecture Notes in Computer Science","FM 2015: Formal Methods"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-19249-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,24]],"date-time":"2023-01-24T11:37:29Z","timestamp":1674560249000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-19249-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319192482","9783319192499"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-19249-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}