Advertisement

Expressive Completeness of an Event-Pattern Reactive Programming Language

  • César Sánchez
  • Matteo Slanina
  • Henny B. Sipma
  • Zohar Manna
Part of the Lecture Notes in Computer Science book series (LNCS, volume 3731)

Abstract

Event-pattern reactive programs serve reactive components by pre-processing the input event stream and generating notifications according to temporal patterns. The declarative language PAR allows the expression of complex event-pattern reactions. Despite its simplicity and deterministic nature, PAR is expressively complete in the following sense: every event-pattern reactive system that can be described and implemented using finite memory can also be expressed in PAR

References

  1. 1.
    Hopcroft, J.E., Ullman, J.D.: Introduction to automata theory, languages and computation. Addison-Wesley, Reading (1979)MATHGoogle Scholar
  2. 2.
    Pietzuch, P.R., Shand, B., Bacon, J.: Composite event detection as a generic middleware extension. IEEE Network 18(1) (2004)Google Scholar
  3. 3.
    Sánchez, C., Sankaranarayanan, S., Sipma, H.B., Zhang, T., Dill, D.L., Manna, Z.: Event correlation: Language and semantics. In: Alur, R., Lee, I. (eds.) EMSOFT 2003. LNCS, vol. 2855, pp. 323–339. Springer, Heidelberg (2003)CrossRefGoogle Scholar
  4. 4.
    Sánchez, C., Sipma, H.B., Słanina, M., Manna, Z.: Final semantics for event-pattern reactive programs. In: Fiadeiro, J.L., Harman, N.A., Roggenbach, M., Rutten, J. (eds.) CALCO 2005. LNCS, vol. 3629, pp. 364–378. Springer, Heidelberg (2005)CrossRefGoogle Scholar
  5. 5.
    Sánchez, C., Slanina, M., Sipma, H.B., Manna, Z.: Expressive completeness of an event-pattern reactive programming language, Stanford CS REACT Technical Report (2005), http://Theory.Stanford.EDU/~cesar/papers/completeness.html
  6. 6.
    Segall, B., Arnold, S.: Elvin has left the building: A publish/subscribe notification service with quenching. In: Queensland AUUG Summer Tech. Conf. (1997)Google Scholar

Copyright information

© IFIP International Federation for Information Processing 2005

Authors and Affiliations

  • César Sánchez
    • 1
  • Matteo Slanina
    • 1
  • Henny B. Sipma
    • 1
  • Zohar Manna
    • 1
  1. 1.Computer Science DepartmentStanford UniversityStanfordUSA

Personalised recommendations