TOWARDS CREATION OF LOGICAL FRAMEWORK FOR EVENT-DRIVEN INFORMATION SYSTEMS

Darko Anicic, Nenead Stojanovic

Abstract

Event-Condition-Action (ECA) rules offer extensible and flexible approach to realizing active Enterprise Information Systems. Such systems are enabled to actively respond on events or state changes. Hence their behavior is programable by means of ECA rules. We propose an implementation of ECA rules in a completely logical framework, using Transaction Datalog¬ as an underlying logic. In this way, we extend the current ECA framework by means of powerful and declarative semantics, which also have an appropriate procedural interpretation. We show how a logical calculus of Transaction Datalog¬ can be exploited for realizing composite events, conditions, and actions; justifying the use of declarative semantics for solving some of the existing issues in reactive systems.

References

  1. Behrends, E., Fritzen, O., May, W., and Schenk, F. (2006). Combining eca rules with process algebras for the semantic web. In RuleML.
  2. Berstel, B., Bonnard, P., Bry, F., Eckert, M., and Patranjan, P. L. (2007). Reactive rules on the web. In Reasoning Web. Springer.
  3. Bonner, A. J. (1998). Transaction datalog: A compositional language for transaction programming. In Database Programming Languages. Springer.
  4. Bonner, A. J. (1999). Workflow, transactions and datalog. In PODS 7899: Proceedings of the eighteenth ACM SIGMOD-SIGACT-SIGART symposium on Principles of database systems. ACM.
  5. Bonner, A. J. and Kifer, M. (1995). Transaction logic programming (or, a logic of procedural and declarative knowledge. In Technical Report CSRI-270.
  6. Bonner, A. J. and Kifer, M. (1996). Concurrency and communication in transaction logic. In Joint International Conference and Symposium on Logic Programming. MIT Press.
  7. Bry, F. and Eckert, M. (2007a). Rule-based composite event queries: The language xchangeeq and its semantics. In RR. Springer.
  8. Bry, F. and Eckert, M. (2007b). Towards formal foundations of event queries and rules. In Second Int. Workshop on Event-Driven Architecture, Processing and Systems EDA-PS.
  9. Kifer, M., Bernstein, A., and Lewis, P. (2006).
  10. Database Systems - An Application-Oriented Approach. Addison-Wesley Longman Publishing Co., Inc., Boston, MA, USA, 2nd edition.
  11. Lloyd, J. W. (1989). Foundations of Logic Programming. Computer Science Press.
  12. Milner, R. (1983). Calculi for synchrony and asynchrony. In Theor. Comput. Sci.
  13. Paschke, A., Kozlenkov, A., and Boley, H. (2007). A homogenous reaction rules language for complex event processing. In International Workshop on Event Drive Architecture for Complex Event Process. ACM.
  14. Paton, N. W. and Díaz, O. (1999). Active database systems. In ACM Comput. Surv. ACM.
  15. Ullman, J. D. (1990). Principles of Database and Knowledge-Base Systems, Volume I. W. H. Freeman & Co., New York, NY, USA, 2nd edition.
Download


Paper Citation


in Harvard Style

Anicic D. and Stojanovic N. (2008). TOWARDS CREATION OF LOGICAL FRAMEWORK FOR EVENT-DRIVEN INFORMATION SYSTEMS . In Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS, ISBN 978-989-8111-38-8, pages 394-401. DOI: 10.5220/0001716703940401


in Bibtex Style

@conference{iceis08,
author={Darko Anicic and Nenead Stojanovic},
title={TOWARDS CREATION OF LOGICAL FRAMEWORK FOR EVENT-DRIVEN INFORMATION SYSTEMS},
booktitle={Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS,},
year={2008},
pages={394-401},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0001716703940401},
isbn={978-989-8111-38-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the Tenth International Conference on Enterprise Information Systems - Volume 6: ICEIS,
TI - TOWARDS CREATION OF LOGICAL FRAMEWORK FOR EVENT-DRIVEN INFORMATION SYSTEMS
SN - 978-989-8111-38-8
AU - Anicic D.
AU - Stojanovic N.
PY - 2008
SP - 394
EP - 401
DO - 10.5220/0001716703940401