Skip to main content

Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics

  • Conference paper

Part of the Lecture Notes in Computer Science book series (LNISA,volume 4524)

Abstract

Reactive Web systems, Web services, and Web-based publish/subscribe systems communicate events as XML messages, and in many cases require composite event detection: it is not sufficient to react to single event messages, but events have to be considered in relation to other events that are received over time.

Emphasizing language design and formal semantics, we describe the rule-based query language XChangeEQ for detecting composite events. XChangeEQ is designed to completely cover and integrate the four complementary querying dimensions: event data, event composition, temporal relationships, and event accumulation. Semantics are provided as model and fixpoint theories; while this is an established approach for rule languages, it has not been applied for event queries before.

Keywords

  • Query Language
  • Query Term
  • Composite Event
  • Event Stream
  • Deductive Rule

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.

This is a preview of subscription content, access via your institution.

Buying options

Chapter
USD   29.95
Price excludes VAT (USA)
  • DOI: 10.1007/978-3-540-72982-2_2
  • Chapter length: 15 pages
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
eBook
USD   69.99
Price excludes VAT (USA)
  • ISBN: 978-3-540-72982-2
  • Instant PDF download
  • Readable on all devices
  • Own it forever
  • Exclusive offer for individuals only
  • Tax calculation will be finalised during checkout
Softcover Book
USD   89.99
Price excludes VAT (USA)

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  • Adaikkalavan, R., Chakravarthy, S.: SnoopIB: Interval-based event specification and detection for active databases. Data and Knowledge Eng. (in press)

    Google Scholar 

  • Apt, K.R., Blair, H.A., Walker, A.: Towards a theory of declarative knowledge. In: Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Washington (1988)

    Google Scholar 

  • Bry, F., Eckert, M.: A high-level query language for events. In: Proc. Int. Workshop on Event-driven Architecture, Processing and Systems (2006)

    Google Scholar 

  • Bry, F., Eckert, M.: Twelve theses on reactive rules for the Web. In: Proc. Int. Workshop Reactivity on the Web (2006)

    Google Scholar 

  • Bry, F., Eckert, M.: Rule-based composite event queries: The language XChangeEQ and its semantics [extended version]. Technical report, Inst. f. Informatics, U. of Munich (2007) Available at www.pms.ifi.lmu.de/publikationen/

  • Bry, F., Eckert, M.: Temporal order optimizations of incremental joins for composite event detection. Technical report, Inst. f. Informatics, U. of Munich (2007) Available at www.pms.ifi.lmu.de/publikationen/

  • Bry, F., Eckert, M., Grallert, H., Pătrânjan, P.-L.: Evolution of distributed Web data: An application of the reactive language XChange. In: Proc. Int. Conf. on Data Engineering (Demonstrations) (2006)

    Google Scholar 

  • Bry, F., Eckert, M., Pătrânjan, P.-L.: Querying composite events for reactivity on the Web. In: Proc. Int. Workshop on XML Research and Applications (2006)

    Google Scholar 

  • Bry, F., Eckert, M., Pătrânjan, P.-L.: Reactivity on the Web: Paradigms and applications of the language XChange. J. of Web Engineering, 5(1) (2006)

    Google Scholar 

  • Bry, F., Eckert, M., Pătrânjan, P.-L., Romanenko, I.: Realizing business processes with ECA rules: Benefits, challenges, limits. In: Alferes, J.J., Bailey, J., May, W., Schwertel, U. (eds.) PPSWR 2006. LNCS, vol. 4187, Springer, Heidelberg (2006)

    Google Scholar 

  • Bry, F., Marchiori, M.: Ten theses on logic languages for the Semantic Web. In: Fages, F., Soliman, S. (eds.) PPSWR 2005. LNCS, vol. 3703, Springer, Heidelberg (2005)

    Google Scholar 

  • Buchmann, A.P., Zimmermann, J., Blakeley, J.A., Wells, D.L.: Building an integrated active OODBMS: Requirements, architecture, and design decisions. In: Proc. Int. Conf. on Data Engineering (1995)

    Google Scholar 

  • Chakravarthy, S., Krishnaprasad, V., Anwar, E., Kim, S.-K.: Composite events for active databases: Semantics, contexts and detection. In: Proc. Int. Conf. on Very Large Data Bases (1994)

    Google Scholar 

  • Common Base Event, www.ibm.com/developerworks/webservices/library/ws-cbe

  • Diao, Y., Rizvi, S., Franklin, M.J.: Towards an internet-scale XML dissemination service. In: Proc. Int. Conf. on Very Large Data Bases (2004)

    Google Scholar 

  • Etzion, O.: Towards an event-driven architecture: An infrastructure for event processing (position paper). In: Proc. Int. Conf. on Rules and Rule Markup Languages for the Semantic Web (2005)

    Google Scholar 

  • Galton, A., Augusto, J.C.: Two approaches to event definition. In: Proc. Int. Conf. on Database and Expert Systems Applications (2002)

    Google Scholar 

  • Gatziu, S., Dittrich, K.R.: Events in an active object-oriented database system. In: Proc. Int. Workshop on Rules in Database Systems (1993)

    Google Scholar 

  • Gehani, N.H., Jagadish, H.V., Shmueli, O.: Composite event specification in active databases: Model and implementation. In: Proc. Int. Conf. on Very Large Data Bases (1992)

    Google Scholar 

  • Gudgin, M., et al.: SOAP 1.2. W3C recommendation (2003)

    Google Scholar 

  • Hinze, A., Voisard, A.: A parameterized algebra for event notification services. In: Proc. Int. Symp. on Temporal Representation and Reasoning (2002)

    Google Scholar 

  • Lloyd, J.W.: Foundations of Logic Programming. Springer, Heidelberg (1993)

    MATH  Google Scholar 

  • May, W., Alferes, J.J., Amador, R.: Active rules in the Semantic Web: Dealing with language heterogeneity. In: Proc. Int. Conf. on Rules and Rule Markup Languages for the Semantic Web (2005)

    Google Scholar 

  • Motakis, I., Zaniolo, C.: Temporal aggregation in active database rules. In: Proc. Int. Conf. on Management of Data (SIGMOD) (1997)

    Google Scholar 

  • Pereira, J., Fabret, F., Jacobsen, H.-A., Llirbat, F., Shasha, D.: WebFilter: A high-throughput XML-based publish and subscribe system. In: Proc. Int. Conf. on Very Large Databases (2001)

    Google Scholar 

  • Rule Interchange Format WG Charter, www.w3.org/2005/rules/wg/charter

  • Schaffert, S.: Xcerpt: A Rule-Based Query and Transformation Language for the Web. PhD thesis, Inst. f. Informatics, U. of Munich (2004)

    Google Scholar 

  • Schaffert, S., Bry, F.: Querying the Web reconsidered: A practical introduction to Xcerpt. In: Proc. Extreme Markup Languages (2004)

    Google Scholar 

  • Zhu, D., Sethi, A.S.: SEL, a new event pattern specification language for event correlation. In: Proc. Int. Conf. on Computer Communications and Networks (2001)

    Google Scholar 

  • Zimmer, D., Unland, R.: On the semantics of complex events in active database management systems. In: Proc. Int. Conf. on Data Engineering (1999)

    Google Scholar 

Download references

Author information

Authors and Affiliations

Authors

Editor information

Editors and Affiliations

Rights and permissions

Reprints and Permissions

Copyright information

© 2007 Springer Berlin Heidelberg

About this paper

Cite this paper

Bry, F., Eckert, M. (2007). Rule-Based Composite Event Queries: The Language XChangeEQ and Its Semantics . In: Marchiori, M., Pan, J.Z., Marie, C.d.S. (eds) Web Reasoning and Rule Systems. RR 2007. Lecture Notes in Computer Science, vol 4524. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72982-2_2

Download citation

  • DOI: https://doi.org/10.1007/978-3-540-72982-2_2

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-540-72981-5

  • Online ISBN: 978-3-540-72982-2

  • eBook Packages: Computer ScienceComputer Science (R0)