Event Correlation: Language and Semantics

  • César Sánchez
  • Sriram Sankaranarayanan
  • Henny Sipma
  • Ting Zhang
  • David Dill
  • Zohar Manna
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 2855)


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.


Event Correlation Operational Semantic Composite Event Mode Expression Input Event 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.


  1. 1.
    Aguilera, M., Storm, R., Sturman, D., Astley, M., Chandra, T.: Matching events in a content based subscription system. In: PODC (1999)Google Scholar
  2. 2.
    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)Google Scholar
  3. 3.
    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)CrossRefGoogle Scholar
  4. 4.
    Courtenage, S.: Specifying and detecting composite events in content-based publish/ subscribe systems. In: Proc. DEBS 2002 (2002)Google Scholar
  5. 5.
    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)CrossRefGoogle Scholar
  6. 6.
    Gehani, N.H., Jagadish, H.V., Shmueli, O.: COMPOSE. a system for composite event specification and detection. Technical report, AT&T Bell Laboratories (1992)Google Scholar
  7. 7.
    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)Google Scholar
  8. 8.
    Gusfield, D.: Algorithms on strings, trees and sequences. Cambridge Univ. Press, Cambridge (1997)zbMATHCrossRefGoogle Scholar
  9. 9.
    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)Google Scholar
  10. 10.
    Hayton, R.: OASIS. An Open Architecture for Secure Internetworking Services. PhD thesis, Fitzwilliam College, University of Cambridge (1996)Google Scholar
  11. 11.
    Huang, Y., Garcia-Molina, H.: Publish/subscribe in a mobile environment. In: Proc. MobiDE (2001)Google Scholar
  12. 12.
    Hunleth, F., Cytron, R., Gill, C.: Building customizable middleware using aspect oriented programming. In: Workshop on Advanced Separation of Concerns, OOPSLA 2001 (2001)Google Scholar
  13. 13.
    Ma, C., Bacon, J.: COBEA: A CORBA-based event architecture. In: Proc. USENIX COOTS 1998, April 1998, pp. 117–131 (1998)Google Scholar
  14. 14.
    Mansouri-Samani, M., Sloman, M.: GEM, a generalised event monitoring language for distributed systems. In: Proceedings of ICODP/ICDP 1997 (1995)Google Scholar
  15. 15.
    Meier, R.: State of the art review of distributed event models. Technical report, University of Dublin, Trinity College (2000)Google Scholar
  16. 16.
    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)Google Scholar
  17. 17.
    Motakis, I., Zaniolo, C.: Formal semantics for composite temporal events in active database rules. Journal of Systems Integration 7(3–4), 291–325 (1997)CrossRefGoogle Scholar
  18. 18.
    Reisig, W.: Petri Nets: An Introduction. EATCS Monographs on Theoretical Computer Science, vol. 4. Springer, Berlin (1985)zbMATHGoogle Scholar
  19. 19.
    Schmidt, D., Levine, D., Harrison, T.: The design and performance of a real-time CORBA object event service. In: Proceedings of OOPSLA 1997 (1997)Google Scholar
  20. 20.
    Sharp, D.: Reducing avionics software cost through component based product line development. In: Proceedings of the Software Technology Conference (1998)Google Scholar
  21. 21.
    Vesper, T., Weber, M.: Structuring with distributed algorithms. In: Proceeding of CS&P 1998 (September 1998)Google Scholar
  22. 22.
    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)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2003

Authors and Affiliations

  • César Sánchez
    • 1
  • Sriram Sankaranarayanan
    • 1
  • Henny Sipma
    • 1
  • Ting Zhang
    • 1
  • David Dill
    • 1
  • Zohar Manna
    • 1
  1. 1.Computer Science DepartmentStanford University 

Personalised recommendations