Rule-based event processing and reaction rules

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5858 LNCS, Issue , 2009, Pages 53-66

  Paschke, Adrian ^a   Kozlenkov, Alexander ^b  

^a FREIE UNIVERSITÄT BERLIN   (Germany)

^b Betfair Ltd London   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

INTERNET INFRASTRUCTURE; PROCESSING APPROACH; PROCESSING SYSTEMS; PROCESSING TECHNOLOGIES; RULE BASED;

INTERCHANGES;

COMPUTER PROGRAMMING LANGUAGES;

EID: 70749101506     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-04985-9_8     Document Type: Conference Paper

References (117)

1. Erikson, J.: CEDE: Composite Event Detector in An Active Database, University of Skövde (1993)
2. Meo, R., Psaila, G., Ceri, S.: Composite Events in Chimera. In: EDBT, Avingnon, France (1996)
3. Behrends, H.: A description of Event Based Activities in Database Related Information Systems, Report 3/1995, Univ. of Oldenburg (1995)
4. Gehani, N., Jagadish, H.V., Shmueli, O.: Event specification in an active object-oriented database. In: Int. Conf. on Management of Data, San Diego (1992)
5. Collet, C., Coupaye, T.: Composite Events in NAOS. In: Dexa, Zürich, Switzerland (1996)
6. Dayal, U., Buchmann, A., Chakravarty, S.: The HiPAC Project. In: Widom, J., Ceri, S. (eds.) Active Database Systems. Morgan Kaufmann, San Francisco (1996)
7. Adi, A., Opher, E.: Amit - the situation manager. VLDB Journal 13(2) (2004)
8. RuleCore (2006), http://www.rulecore.com
9. Cugola, G., Nitto, E.D., Fuggeta, A.: Exploiting an event-based infrastructure to develop complex distributed systems. In: Int. Conf. on Software Engineering (1998)
10. Paton, N., et al.: Formal Specification of Active Database Functionality: A Survey. In: Sellis, T.K. (ed.) RIDS 1995. LNCS, vol. 985, Springer, Heidelberg (1995)
11. Chakravarthy, S., et al.: Composite Events for Active Databases: Semantics Contexts and Detection. In: VLDB 1994 (1994)
12. Gatziu, S., Dittrich, K.: Event in an active object-oriented database system. In: Int. Conf. on Rules in Database Systems, Edinburgh (1993)
13. Aiken, A., Widom, J., Hellerstein, J.M.: Behaviour of database production rules: termination, confluence and observable determinism. In: Int. Conf. on Management of Data. ACM, New York (1994)
14. Baralis, E., Widom, J.: An algebraic approach to rule analysis by means of triggering and activation graphs. In: VLDB 1994 (1994)
15. Baley, J., et al.: Abstract interpretation of active rules and its use in termination analysis. In: Int. Conf. on Database Theory (1997)
16. Widom, J.: A denotational semantics for starbust production rule language. SIGMOD record 21(3), 4-9 (1992)
17. Lausen, G., Ludascher, B., May, W.: On Logical Foundations of Active Databases. Logics for Databases and Information Systems, 389-422 (1998)
18. Zaniolo, C.: A unified semantics for Active Databases. In: Int. Workshop on Rules in Database Systems, Edinburgh, U.K (1993)
19. Dietrich, J., et al.: Rule-Based Agents for the Semantic Web. Journal on Electronic Commerce Research Applications (2003)
20. Hayes-Roth, F.: Rule based systems. ACM Computing Surveys 28(9) (1985)
21. Declambre, L.M.L., Etheredge, J.N.: A self-controlling interpreter for the relational production language. In: ACM SIGMOD Int. Conf. on the Management of Data (1988)
22. Sellis, T., Lin, C.C., Raschid, L.: Coupling production systems and database systems. In: ACM SIGMOND Int. Conf. on the Management of Data (1993)
23. Widom, J., Finkelstein, S.J.: Set-oriented production rules in relational database systems. In: ACM SIGMOND Int. Conf. on the Management of Data (1990)
24. Dung, P.M., Mancaralle, P.: Production Systems with Negation as Failure. IEEE Transactions on Knowledge and Data Engineering 14(2) (2002)
25. Raschid, L.: A semantics for a class of stratified production system programs. Univ. of Maryland Institute for Advanced Computer Studies-UMIACS-TR- 91-114.1: College Park, MD, USA (1992)
26. Raschid, L., Lobo, J.: Semantics for Update Rule Programs and Implementation in a Relational Database Management System. ACM Transactions on Database Systems 22(4), 526-571 (1996)
27. Bonner, A.J., Kifer, M.: Transaction logic programming (or a logic of declarative and procedural knowledge). University of Toronto (1995)
28. Baral, C., Lobo, J.: Formal characterization of active databases. In: Int. Workshop on Logic in Databases (1996)
29. Zaniolo, C.: Active Database Rules with Transaction-Conscious Stable-Model Semantics. In: Int. Conf. on Deductive and Object-Oriented Databases (1995)
30. Flesca, S., Greco, S.: Declarative semantics for active rules. In: Quirchmayr, G., Bench-Capon, T.J.M., Schweighofer, E. (eds.) DEXA 1998. LNCS, vol. 1460, p. 871. Springer, Heidelberg (1998)
31. Paschke, A.: ECA-LP: A Homogeneous Event-Condition-Action Logic Programming Language, Internet-based Information Systems, Technical University Munich (November 2005), http://ibis.in.tum.de/research/projects/rbsla
32. Paschke, A., Kiss, C., Al-Hunaty, S.: NPL: Negotiation Pattern Language - A Design Pattern Language for Decentralized Coordination and Negotiation Protocols. In: e-Negotiations. ICFAI University Press, New Deli (2006), http://ibis.in.tum.de/research/rbsla/docs/ICFAI-Chapter-NPL-final.pdf
33. Ogle, D., et al.: The Common Base Event, IBM (2003)
34. Sandewall, E.: Combining Logic and Differential Equations for Describing Real World Systems. In: KR 1989. Morgan Kaufmann, San Francisco (1989)
35. Kowalski, R.A., Sergot, M.J.: A logic-based calculus of events. New Generation Computing 4, 67-95 (1986)
36. Hayes, P., McCarthy, J.: Some philosophical problems from the standpoint of artificial intelligence. In: Meltzer, B., Michie, D. (eds.) Machine Intelligence 4. Edinburgh University Press, Edinburgh (1969)
37. Reiter, R.: Knowledge in Action: Logical Foundations for Specifying and Implementing Dynamic Systems. MIT Press, Camebridge (2001)
38. Gelfond, M., Lifschitz, V.: Representing action and change by logic programs. Journal of Logic Programming 17(2-4), 301-321 (1993)
39. Fikes, R.E., Nilsson, N.J.: STRIPS: A new approach to the application of theorem proving to problem solving. Artificial Intelligence, 1971(2), 189-208
40. Giunchiglia, E., Lifschitz, V.: An action language based on causal explanation: Preliminary report. In: Conf. on Innovative Applications of Artificial Intelligence. AAAI Press, Menlo Park (1998)
41. Giunchiglia, E., Lifschitz, V.: Action languages, temporal action logics and the situation calculus. Linköping Electronic Articles in Computer and Information Science 4(040) (1999)
42. Doherty, P., et al.: TAL: Temporal Action Logics language specification and tutorial. Linköping Electronic Articles in Computer and Information Science 3(015) (1998)
43. Hölldobler, S., Schneeberger, J.: A new deductive approach to planning. New Generation Computing 8(3), 225-244 (1990)
44. Thielscher, M.: From situation calculus to fluent calculus: State update axioms as a solution to the inferential frame problem. Artificial Intelligence 111, 277-299 (1999)
45. Bennett, B., Galton, A.P.: A unifying semantics for time and events. Artificial Intelligence 153(1-2), 13-48 (2004)
46. Saraswat, V., Jagadeesan, R., Gupta, V.: Timed default concurrency constraint programming. Journal of Symbolic Computation 22(5/6) (1996)
47. Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
48. Hoare, C.A.R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1985)
49. Meolic, R., Kapus, T., Brezonic, Z.: Verification of concurent systems using ACTL. In: IASTED Int. Conf. on Applied Informatics (AI 2000), Anaheim, Calgary. IASTED/ACTA Press (2000)
50. Meolic, R., Kapus, T., Brezonic, Z.: An Action Computation Tree Logic With Unless Operator. In: Proc. of South-East European Workshop on Formal Methods (SEEFM 2003), Thessaloniki, Greece (2003)
51. Ludäscher, B., Hamann, U., Lausen, G.: A logical framework for active rules. In: Int. Conf. on Management of Data, Pune, India (1995)
52. Naqvi, S., Krishnamurthy, R.: Database updates in logic programming. In: ACM Symposium on Principles of Database Systems. ACM, New York (1988)
53. Abiteboul, S., Vianu, V.: Datalog extensions for database queries and updates. Journal of Computer and System Science 43, 62-124 (1991)
54. Leite, J.A., Alferes, J.J., Moniz Pereira, L.: On the use of multi-dimensional dynamic logic programming to represent societal agents' viewpoints. In: Brazdil, P.B., Jorge, A.M. (eds.) EPIA 2001. LNCS (LNAI), vol. 2258, p. 276. Springer, Heidelberg (2001)
55. Alferes, J.J., Brogi, A., Leite, J., Moniz Pereira, L.: Evolving logic programs. In: Flesca, S., Greco, S., Leone, N., Ianni, G. (eds.) JELIA 2002. LNCS (LNAI), vol. 2424, p. 50. Springer, Heidelberg (2002)
56. Eiter, T., et al.: A framework for declarative update specification in logic programs. In: IJCAI (2001)
57. Leite, J.A.: Evolving Knowledge Bases. Frontiers in Artificial Intelligence and Applications 81 (2003)
58. Paschke, A.: ECA-RuleML: An Approach combining ECA Rules with temporal interval-based KR Event/Action Logics and Transactional Update Logics, IBIS, Technische Universität München, Technical Report, 11/2005 (2005)
59. Ludascher, B.: Integration of Active and Deductive Database Rules, Phd thesis, in Insti-tut für Informatik, Universität Freiburg, Germany (1998)
60. McCarthy, J., Hayes, P.: Some philosophical problems from the standpoint of artificial intelligence. Machine Intelligence 4, 463-502 (1969)
61. Reiter, R.: On specifying database updates. Journal of Logic Programming 25(1), 53-91 (1995)
62. Paschke, A., Bichler, M.: SLA Representation, Management and Enforcement - Combining Event Calculus, Deontic Logic, Horn Logic and Event Condition Action Rules. In: EEE 2005, Hong Kong, China (2005)
63. May, W.: XPath-Logic and XPathLog: A logic-programming style XML data manipulation language. Theory and Practice of Logic Programming 4(3) (2004)
64. Initiative, X.D.: XUpdate - XML Update Language (2000), http://www.xmldb.org/xupdate/
65. Liu, M., Lu, L., Wang, G.: A Declarative XML-RL Update Language. In: Song, I.-Y., Liddle, S.W., Ling, T.-W., Scheuermann, P. (eds.) ER 2003. LNCS, vol. 2813, pp. 506-519. Springer, Heidelberg (2003)
66. Tatarinov, I., et al.: Updating XML. ACM SIGMOD, 133-154 (2001)
67. Abiteboul, S., et al.: Active XML: Peer-to-Peer Data and Web Services Integration. In: VLDB (2002)
68. Bonifati, A., Ceri, S., Paraboschi, S.: Pushing Reactive Services to XML Repositories Using Active Rules. In: WWW 2001 (2001)
69. Bonifati, A., et al.: Active XQuery. In: Int. Conf. on Data Engineering, ICDE (2002)
70. Bailey, J., Poulovassilis, A., Wood, P.T.: An Event-Condition-Action Language for XML. In: WWW 2002 (2002)
71. Papamarkos, G., Poulovassilism, A., Wood, P.T.: RDFTL: An Event-Condition-Action Rule Language for RDF. In: Hellenic Data Management Symposium (HDMS 2004)
72. Bry, F., Patranjan, P.L.: Reactivity on the Web: Paradigms and Applications of the Language XChange. In: ACM Symp. Applied Computing (2005)
73. Schaert, S.: A Rule-Based Query and Transformation Language for the Web, Phd thesis, in Institute for Informatics, University of Munich (2004)
74. TIBCO Business Events 3.0, http://www.tibco.de/software/complex-event- processing/businessevents/ (accessed August 2009)
75. jBoss Drools, http://jboss.org/drools/ (accessed August 2009)
76. Paton, N.W., D-az, O.: Active database systems. In: ACM Comput. Surv. ACM Press, New York (1989)
77. Galton, A., Augusto, J.C.: Two approaches to event definition. In: Hameurlain, A., Cicchetti, R., Traunmüller, R. (eds.) DEXA 2002. LNCS, vol. 2453, pp. 547-556. Springer, Heidelberg (2002)
78. Adaikkalavan, R., Chakravarthy, S.: Snoopib: Interval-based event specification and detection for active databases. Data Knowl. Eng. 59(1), 139-165 (2006)
79. Paschke, A.: Eca-lp/eca-ruleml: A homogeneous event-condition-action logic programming language. CoRR, abs/cs/0609143 (2006)
80. Paschke, A.: Eca-ruleml: An approach combining eca rules with temporal interval-based kr event/action logics and transactional update logics. CoRR, abs/cs/0610167 (2006)
81. Paschke, A.: A homogenous reaction rule language for complex event processing. In: Proc. 2nd International Workshop on Event Drive Architecture and Event Processing Systems, EDA-PS (2007)
82. Paschke, A.: Eca-lp/eca-ruleml: A homogeneous event-condition-action logic programming language. In: RuleML 2006, Athens, Georgia, USA (2006)
83. Paschke, A.: Rule-Based Service Level Agreements - Knowledge Representation for Automated e-Contract, SLA and Policy Management. In: IDEA, Munich (2007)
84. Paschke, A., Bichler, M.: Knowledge representation concepts for automated sla management. Decis. Support Syst. 46(1), 187-205 (2008)
85. Chakravarthy, S.: Sentinel: An object-oriented dbms with event-based rules. In: Peckham, J. (ed.) SIGMOD 1997: Proceedings of the 1997 ACM SIGMOD international conference on Management of data, pp. 572-575. ACM Press, New York (1997)
86. Bry, F., Eckert, M.: Towards formal foundations of event queries and rules. In: Second Int. Workshop on Event-Driven Architecture, Processing and Systems EDA-PS (2007)
87. Miranker, D.P.: TREAT: a new and e-cient match algorithm for AI production systems. Morgan Kaufmann Publishers Inc., San Francisco (1990)
88. Batory, D.: The leaps algorithms. Technical report, Austin, TX, USA (1994)
89. Behrends, E., Fritzen, O., May, W., Schenk, F.: Combining eca rules with process algebras for the semantic web. In: RuleML (2006)
90. Luckham, D.C.: The Power of Events: An Introduction to Complex Event Processing in Distributed Enterprise Systems. Addison-Wesley, Reading (2002)
91. IBM Tivoli Enterprise Console - documentation (2001)
92. Sheers, K.: HP OpenView event correlation services. Hewlett Packard Journal 47.5, 31-42 (1996)
93. VERITAS NerveCentertm VERITAS Software (1999), http://eval.veritas.com/ Webfiles/docs/NCOverview.pdf
94. Yemini, S.A., Kliger, S., Mozes, E., Yemini, Y., Ohsie, D.: High speed and robust event correlation. IEEE Communications Magazine 34.5, 82-90 (1996)
95. Common Base Event Infrastructure, IBM (2003)
96. Oracle8 Time Series Data Cartridge, White Paper (February 1998)
97. IBM Informix Time Series Data Blade Module, User Guide, v. 4.0 (2001)
98. Shadri, P., Livny, M., Ramakrishnan, R.: Sequence Query Processing. In: SIGMOD, pp. 430-441 (1994)
99. Ramakrishnan, R., et al.: SQRL: Sorted Relational Query Language. In: SSDBM 1998, pp. 84-95 (1998)
100. Sadri, R., Zaniolo, C., Zarkesh, A., Adibi, J.: Optimization of Sequence Queries in Database Systems (2001)
101. Sadri, R.: Optimization of Sequence Queries in Database Systems., PhD Thesis, UCLA (2001)
102. Motwani, R., Widom, J., Arasu, A., Babcock, B., Babu, S., Datar, M., Manku, G., Olston, C., Rosenstein, J., Varma, R.: Query Processing, Resource Management, and Approximation in a Data Stream Management System, Stanford (2002)
103. Aleri, http://www.aleri.com/ (accessed August 2009)
104. Coral 8, http://www.coral8.com/ (accessed August 2009)
105. Streambase, http://www.streambase.com/ (accessed August 2009)
106. Esper, http://www.espertech.com/ (accessed August 2009-08-25)
107. Prova, http://prova.ws (accessed August 2009)
108. Reaction RuleML, http://reaction.ruleml.org (accessed August 2009)
109. EventZero, http://www.eventzero.com/ (accessed August 2009)
110. AgentLogic, http://www.agentlogic.com/ (accessed August 2009)
111. Hirzel, M., Andrade, H., Gedik, B., Kumar, V., Losa, G., Soulé, R., Wu, K.-L.: SPADE Language Specification, Published In: IBM Technical Report RC24760 in (2009)
112. IBM Netcool, http://www-01.ibm.com/software/tivoli/products/netcool- impact/ (accessed August 2009)
113. Apama, http://web.progress.com/apama/index.html (accessed 2009)
114. RuleResponde, http://responder.ruleml.org (accessed 2009)
115. W3C RIF, http://www.w3.org/2005/rules/wg (accessed 2009)
116. Paschke, A., Boley, H.: Rules Capturing Event and Reactivity. Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches (March 2009)
117. Braubach, L., Pokhar, A., Paschke, A.: Rule-Based Concepts as Foundation for Higher-Level Agent Architectures. Handbook of Research on Emerging Rule-Based Languages and Technologies: Open Solutions and Approaches (March 2009)