{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,8]],"date-time":"2026-03-08T09:02:10Z","timestamp":1772960530917,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642452680","type":"print"},{"value":"9783642452697","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-45269-7_2","type":"book-chapter","created":{"date-parts":[[2013,11,19]],"date-time":"2013-11-19T20:33:47Z","timestamp":1384893227000},"page":"26-50","source":"Crossref","is-referenced-by-count":3,"title":["The HIT Model: Workflow-Aware Event Stream Monitoring"],"prefix":"10.1007","author":[{"given":"Olga","family":"Poppe","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sandro","family":"Giessl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Elke A.","family":"Rundensteiner","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Bry","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"322","DOI":"10.1007\/BFb0032042","volume-title":"Automata, Languages and Programming","author":"R. Alur","year":"1990","unstructured":"Alur, R., et al.: Automata for modeling real-time systems. In: Paterson, M. (ed.) ICALP 1990. LNCS, vol.\u00a0443, pp. 322\u2013335. Springer, Heidelberg (1990)"},{"issue":"2","key":"2_CR2","doi-asserted-by":"publisher","first-page":"121","DOI":"10.1007\/s00778-004-0147-z","volume":"15","author":"A. Arasu","year":"2006","unstructured":"Arasu, A., et al.: The CQL continuous query language: semantic foundations and query execution. The VLDB Journal\u00a015(2), 121\u2013142 (2006)","journal-title":"The VLDB Journal"},{"key":"2_CR3","unstructured":"Booch, G., Rumbaugh, J., Jacobson, I.: Unified Modeling Language User Guide, 2nd edn. Addison-Wesley Professional (2005)"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Cheng, K.T., Krishnakumar, A.S.: Automatic functional test generation using the extended finite state machine model. In: Proc. Int. Design Automation Conf., DAC 1993, pp. 86\u201391. ACM (1993)","DOI":"10.1145\/157485.164585"},{"key":"2_CR5","unstructured":"David, A.: Hierarchical Modeling and Analysis of Timed Systems. PhD thesis, Uppsala University (November 2003)"},{"key":"2_CR6","unstructured":"Demers, A., et al.: Cayuga: A general purpose event monitoring system. In: Proc. Biennial Conf. on Innovative Data Systems Research, pp. 411\u2013422 (2007)"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Ding, L., et al.: Runtime semantic query optimization for event stream processing. In: Proc. Int. Conf. on Data Engineering, pp. 676\u2013685. IEEE (2008)","DOI":"10.1109\/ICDE.2008.4497476"},{"key":"2_CR8","series-title":"SCI","doi-asserted-by":"publisher","first-page":"47","DOI":"10.1007\/978-3-642-19724-6_3","volume-title":"Reasoning in Event-Based Distributed Systems","author":"M. Eckert","year":"2011","unstructured":"Eckert, M., Bry, F., Brodt, S., Poppe, O., Hausmann, S.: A CEP babelfish: Languages for complex event processing and querying surveyed. In: Helmer, S., Poulovassilis, A., Xhafa, F., et al. (eds.) Reasoning in Event-Based Distributed Systems. SCI, vol.\u00a0347, pp. 47\u201370. Springer, Heidelberg (2011)"},{"issue":"1-2","key":"2_CR9","doi-asserted-by":"crossref","first-page":"1651","DOI":"10.14778\/1920841.1921065","volume":"3","author":"O. Etzion","year":"2010","unstructured":"Etzion, O.: Event processing: past, present and future. Proc. VLDB Endow.\u00a03(1-2), 1651\u20131652 (2010)","journal-title":"Proc. VLDB Endow."},{"key":"2_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/3-540-36285-1_12","volume-title":"Database Theory - ICDT 2003","author":"T.J. Green","year":"2002","unstructured":"Green, T.J., Miklau, G., Onizuka, M., Suciu, D.: Processing XML streams with deterministic automata. In: Calvanese, D., Lenzerini, M., Motwani, R. (eds.) ICDT 2003. LNCS, vol.\u00a02572, pp. 173\u2013189. Springer, Heidelberg (2002)"},{"key":"2_CR11","unstructured":"Grosskopf, A., Decker, G., Weske, M.: The Process: Business Process Modeling using BPMN. Meghan Kiffer Press (2009)"},{"key":"2_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.1016\/0167-6423(87)90035-9","volume":"8","author":"D. Harel","year":"1987","unstructured":"Harel, D.: Statecharts: A visual formalism for complex systems. Journal on Science of Computer Programming\u00a08, 231\u2013274 (1987)","journal-title":"Journal on Science of Computer Programming"},{"key":"2_CR13","unstructured":"Jordan, D., et al.: Web Services Business Process Execution Language Version 2.0. Website (2007), \n                  \n                    http:\/\/docs.oasis-open.org\/wsbpel\/2.0\/wsbpel-v2.0.html\n                  \n                  \n                 (visited on April 11, 2007)"},{"key":"2_CR14","unstructured":"Joyce, F.: Programming Logic and Design, Comprehensive. Thomson (2008)"},{"key":"2_CR15","doi-asserted-by":"crossref","unstructured":"Lud\u00e4scher, B., et al.: A transducer-based XML query processor. In: Proc. Int. Conf. on Very Large Data Bases, pp. 227\u2013238. VLDB Endowment (2002)","DOI":"10.1016\/B978-155860869-6\/50028-7"},{"key":"2_CR16","doi-asserted-by":"publisher","first-page":"1045","DOI":"10.1002\/j.1538-7305.1955.tb03788.x","volume":"34","author":"G.H. Mealy","year":"1955","unstructured":"Mealy, G.H.: A method for synthesizing sequential circuits. Bell System Technical Journal\u00a034, 1045\u20131079 (1955)","journal-title":"Bell System Technical Journal"},{"key":"2_CR17","first-page":"129","volume":"34","author":"E.F. Moore","year":"1956","unstructured":"Moore, E.F.: Gedanken-experiments on sequential machines. Journal of Automata Studies, Annals of Mathematical Studies\u00a034, 129\u2013153 (1956)","journal-title":"Journal of Automata Studies, Annals of Mathematical Studies"},{"key":"2_CR18","unstructured":"Perrin, D., Pin, J.-E.: Infinite Words: Automata, Semigroups, Logic and Games. Elsevier Science Publishers Ltd. (2004)"},{"key":"2_CR19","unstructured":"Pettersson, P.: Modelling and Verification of Real-Time Systems Using Timed Automata: Theory and Practice. Ph.D. thesis, Uppsala University (1999)"},{"key":"2_CR20","unstructured":"Russell, N., et al.: On the suitability of UML 2.0 activity diagrams for business process modelling. In: Proc. Asia-Pacific Conf. on Conceptual Modelling. APCCM, vol.\u00a053, pp. 95\u2013104. Australian Computer Society, Inc. (2006)"},{"key":"2_CR21","doi-asserted-by":"crossref","unstructured":"Su, H., Rundensteiner, E.A., Mani, M.: Semantic query optimization in an automata-algebra combined XQuery engine over XML streams. In: Proc. Int. Conf. on Very Large Data Bases, pp. 1293\u20131296. VLDB Endowment (2004)","DOI":"10.1016\/B978-012088469-8\/50130-3"},{"key":"2_CR22","unstructured":"Su, H., et al.: Semantic query optimization for XQuery over XML streams. In: Proc. Int. Conf. on Very Large Data Bases. pp. 277\u2013288. VLDB Endowment (2005)"},{"key":"2_CR23","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"315","DOI":"10.1007\/3-540-44929-9_24","volume-title":"Theoretical Computer Science: Exploring New Frontiers of Theoretical Informatics","author":"M. Yannakakis","year":"2000","unstructured":"Yannakakis, M.: Hierarchical State Machines. In: Watanabe, O., Hagiya, M., Ito, T., van Leeuwen, J., Mosses, P.D. (eds.) TCS 2000. LNCS, vol.\u00a01872, pp. 315\u2013330. Springer, Heidelberg (2000)"}],"container-title":["Lecture Notes in Computer Science","Transactions on Large-Scale Data- and Knowledge-Centered Systems XI"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-45269-7_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,24]],"date-time":"2019-05-24T08:17:16Z","timestamp":1558685836000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-45269-7_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642452680","9783642452697"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-45269-7_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2013]]}}}