Abstract
Event correlation is a service provided by middleware platforms that allows components in a publish/subscribe architecture to subscribe to patterns of events rather than individual events. Event correlation improves the scalability and performance of distributed systems, increases their analyzability, while reducing their complexity by moving functionality to the middleware. To ensure that event correlation is provided as a standard and reliable service, it must possess well-defined and unambiguous semantics.
In this paper we present a language and formal model for event correlation with operational semantics defined in terms of transducers. The language has been motivated by an avionics application and includes constructs for modes in addition to the more common constructs such as selection, accumulation and sequential composition. Prototype event processing engines for this language have been implemented in both C++ and Java and are now being integrated with third-party event channels.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Aguilera, M., Storm, R., Sturman, D., Astley, M., Chandra, T.: Matching events in a content based subscription system. In: PODC (1999)
Segall, B., Arnold, S.: Elvin has left the building: A publish/subscribe notification service with quenching. In: Queensland AUUG Summer Technical Conference, Brisbane, Australia (1997)
Carzaniga, A., Rosenblum, D.S., Wolf, A.L.: Design and evaluation of a wide-area event notification service. ACM Transactions on Computer Systems 19(3), 332–383 (2001)
Courtenage, S.: Specifying and detecting composite events in content-based publish/ subscribe systems. In: Proc. DEBS 2002 (2002)
Crowcroft, J., Bacon, J., Pietzuch, P., Coulouris, G., Naguib, H.: Channel islands in a reflective ocean: Large-scale event distribution in heterogeneous networks. IEEE Communications Magazine (9), 112–115 (2002)
Gehani, N.H., Jagadish, H.V., Shmueli, O.: COMPOSE. a system for composite event specification and detection. Technical report, AT&T Bell Laboratories (1992)
Gehani, N.H., Jagadish, H.V., Shmueli, O.: Composite event specification in active databases: Model and implementation. In: Proceeding VLDB 1992, pp. 327–338 (1992)
Gusfield, D.: Algorithms on strings, trees and sequences. Cambridge Univ. Press, Cambridge (1997)
Hayton, R., Bacon, J., Bates, J., Moody, K.: Using events to build large scale distributed applications. In: Proc. ACM SIGOPS European Workshop, pp. 9–16. ACM, New York (1996)
Hayton, R.: OASIS. An Open Architecture for Secure Internetworking Services. PhD thesis, Fitzwilliam College, University of Cambridge (1996)
Huang, Y., Garcia-Molina, H.: Publish/subscribe in a mobile environment. In: Proc. MobiDE (2001)
Hunleth, F., Cytron, R., Gill, C.: Building customizable middleware using aspect oriented programming. In: Workshop on Advanced Separation of Concerns, OOPSLA 2001 (2001)
Ma, C., Bacon, J.: COBEA: A CORBA-based event architecture. In: Proc. USENIX COOTS 1998, April 1998, pp. 117–131 (1998)
Mansouri-Samani, M., Sloman, M.: GEM, a generalised event monitoring language for distributed systems. In: Proceedings of ICODP/ICDP 1997 (1995)
Meier, R.: State of the art review of distributed event models. Technical report, University of Dublin, Trinity College (2000)
Motakis, I., Zaniolo, C.: Composite temporal events in active database rules: A logic-oriented approach. In: Ling, T.-W., Vieille, L., Mendelzon, A.O. (eds.) DOOD 1995. LNCS, vol. 1013, pp. 19–37. Springer, Heidelberg (1995)
Motakis, I., Zaniolo, C.: Formal semantics for composite temporal events in active database rules. Journal of Systems Integration 7(3–4), 291–325 (1997)
Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol. 4. Springer, Berlin (1985)
Schmidt, D., Levine, D., Harrison, T.: The design and performance of a real-time CORBA object event service. In: Proceedings of OOPSLA 1997 (1997)
Sharp, D.: Reducing avionics software cost through component based product line development. In: Proceedings of the Software Technology Conference (1998)
Vesper, T., Weber, M.: Structuring with distributed algorithms. In: Proceeding of CS&P 1998 (September 1998)
Zhu, D., Sethi, A.S.: SEL, a new event pattern specification language for event correlation. In: Proc. ICCCN 2001, October 2001, pp. 586–589 (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2003 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Sánchez, C., Sankaranarayanan, S., Sipma, H., Zhang, T., Dill, D., Manna, Z. (2003). Event Correlation: Language and Semantics. In: Alur, R., Lee, I. (eds) Embedded Software. EMSOFT 2003. Lecture Notes in Computer Science, vol 2855. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-45212-6_21
Download citation
DOI: https://doi.org/10.1007/978-3-540-45212-6_21
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-20223-3
Online ISBN: 978-3-540-45212-6
eBook Packages: Springer Book Archive