{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,14]],"date-time":"2025-06-14T08:46:03Z","timestamp":1749890763549,"version":"3.37.3"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642336058"},{"type":"electronic","value":"9783642336065"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-33606-5_16","type":"book-chapter","created":{"date-parts":[[2013,1,15]],"date-time":"2013-01-15T14:28:22Z","timestamp":1358260102000},"page":"250-267","source":"Crossref","is-referenced-by-count":21,"title":["Looking into the Future"],"prefix":"10.1007","author":[{"given":"Michael","family":"Westergaard","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fabrizio Maria","family":"Maggi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"16_CR1","doi-asserted-by":"publisher","first-page":"99","DOI":"10.1007\/s00450-009-0057-9","volume":"23","author":"W.M.P. Aalst van der","year":"2009","unstructured":"van der Aalst, W.M.P., Pesic, M., Schonenberg, H.: Declarative workflows: Balancing between flexibility and support. Computer Science - Research and Development\u00a023, 99\u2013113 (2009)","journal-title":"Computer Science - Research and Development"},{"issue":"2","key":"16_CR2","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1016\/0304-3975(94)90010-8","volume":"126","author":"R. Alur","year":"1994","unstructured":"Alur, R., Dill, D.: A Theory of Timed Automata. Theoretical Computer Science\u00a0126(2), 183\u2013235 (1994)","journal-title":"Theoretical Computer Science"},{"key":"16_CR3","doi-asserted-by":"crossref","unstructured":"Alur, R., Henzinger, T.: Real-time logics: complexity and expressiveness. In: Proceedings of Fifth Annual IEEE Symposium on Logic in Computer Science, LICS 1990, pp. 390\u2013401 (June 1990)","DOI":"10.21236\/ADA323441"},{"key":"16_CR4","doi-asserted-by":"crossref","unstructured":"Bauer, A., Leucker, M., Schallhart, C.: Comparing ltl semantics for runtime verification. Logic and Computation, 651\u2013674 (2010)","DOI":"10.1093\/logcom\/exn075"},{"key":"16_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-642-01364-5_4","volume-title":"Web Services and Formal Methods","author":"F. Chesani","year":"2009","unstructured":"Chesani, F., Mello, P., Montali, M., Torroni, P.: Verification of Choreographies During Execution Using the Reactive Event Calculus. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol.\u00a05387, pp. 55\u201372. Springer, Heidelberg (2009)"},{"key":"16_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"197","DOI":"10.1007\/3-540-52148-8_17","volume-title":"Automatic Verification Methods for Finite State Systems","author":"D. David","year":"1990","unstructured":"David, D.: Timing Assumptions and Verification of Finite-state Concurrent Systems. In: Sifakis, J. (ed.) CAV 1989. LNCS, vol.\u00a0407, pp. 197\u2013212. Springer, Heidelberg (1990)"},{"key":"16_CR7","doi-asserted-by":"publisher","first-page":"255","DOI":"10.1007\/BF01995674","volume":"2","author":"R. Koymans","year":"1990","unstructured":"Koymans, R.: Specifying real-time properties with metric temporal logic. Real-Time Systems\u00a02, 255\u2013299 (1990), \n                    \n                      http:\/\/dx.doi.org\/10.1007\/BF01995674\n                    \n                    \n                  , 10.1007\/BF01995674","journal-title":"Real-Time Systems"},{"key":"16_CR8","series-title":"LNBIP","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/978-3-642-14538-4","volume-title":"Specification and Verification of Declarative Open Interaction Models","author":"M. Montali","year":"2010","unstructured":"Montali, M.: Specification and Verification of Declarative Open Interaction Models. LNBIP, vol.\u00a056, pp. 1\u2013383. Springer, Heidelberg (2010)"},{"key":"16_CR9","unstructured":"Pesic, M.: Constraint-Based Workflow Management Systems: Shifting Controls to Users. Ph.D. thesis, Beta Research School for Operations Management and Logistics, Eindhoven (2008)"},{"key":"16_CR10","doi-asserted-by":"crossref","unstructured":"Pesic, M., Schonenberg, H., van der Aalst, W.M.P.: Declare: Full support for loosely-structured processes. In: IEEE International EDOC Conference 2007, pp. 287\u2013300 (2007)","DOI":"10.1109\/EDOC.2007.4384001"},{"key":"16_CR11","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1016\/j.entcs.2004.01.029","volume":"113","author":"P. Thati","year":"2005","unstructured":"Thati, P., Ro\u015fu, G.: Monitoring algorithms for metric temporal logic specifications. Electron. Notes Theor. Comput. Sci.\u00a0113, 145\u2013162 (2005), \n                    \n                      http:\/\/dx.doi.org\/10.1016\/j.entcs.2004.01.029","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"16_CR12","unstructured":"UppAal webpage, \n                    \n                      http:\/\/www.uppaal.org"},{"key":"16_CR13","unstructured":"Westergaard, M., Maggi, F.: Declare: A Tool Suite for Declarative Workflow Modeling and Enactment. In: Ludwig, H., Reijers, H. (eds.) Business Process Management Demonstration Track (BPMDemos 2011). CEUR Workshop Proceedings, vol.\u00a0820. CEUR-WS.org (2011)"}],"container-title":["Lecture Notes in Computer Science","On the Move to Meaningful Internet Systems: OTM 2012"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-33606-5_16.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,4]],"date-time":"2021-05-04T12:15:31Z","timestamp":1620130531000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-33606-5_16"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642336058","9783642336065"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-33606-5_16","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}