Expanding Database Systems into self–verifying Entities

Kare J. Kristoffersen, Yvonne Dittrich

Abstract

The paper presents work-in-progress aiming at deploying runtime verification techniques to check whether the state changes in a database system conform with temporal business rules given as expressions in temporal logic. A framework for tailoring enterprise database systems with temporal business rules is defined and an algorithmic framework for checking temporal business rules at runtime is presented. A prototypical implementation of a runtime verifier (called Verification Server) based on this algorithmic framework is presented and discussed.

References

  1. Alur, R., Henzinger, T.: Logics and Models of Real Time: A Survey. Real Time: Theory in Practice, Lecture Notes in Computer Science 600, Springer-Verlag, (1992), pp. 74-106.
  2. Dittrich, Y., Lindeberg, O.: Designing for Changing Work and Business Practices. In: N. Patel (ed.). Evolutionary and Adaptive Information Systems. IDEA group publishing, (2002).
  3. Havelund, K., Ruso, G.: Monitoring Programs using Rewriting. Automated Software Engineering (ASE'01), San Diego, California, (2001), IEEE Computer Society.
  4. Kristoffersen K., Pedersen, C., and Andersen, H. R.: Runtime Verification of Timed LTL using Disjunctive Normalized Equation Systems. Appears in Issue 89.2 of Electronic Notes in Theoretical Computer Science (2003).
  5. Kung, C. H.: A Temporal Framework for Database Specification and Verification. Proceedings of the Tenth International Conference on Very Large Data Bases, Singapore, August, (1984).
  6. Patern, F., Klann, M., Wulf, V.: Research Agenda and Roadmap for EUD. Deliverables of the Network of Excellence on End-User Development, December, (2003). (http://giove.cnuce.cnr.it/eud-net.htm)
  7. Trigg, R., Bødker, S. From Implementation to Design: Tailoring and the Emergence of Systematization in CSCW. Proceedings of the CSCW 94, ACM-Press, New York, (1994), pp. 45-55.
  8. Stiemerling, O., Kahler, H., Wulf, V.: How to make software softer- Designing tailorable applications. Proceedings of the Designing Interactive Systems (DIS) (1997).
Download


Paper Citation


in Harvard Style

J. Kristoffersen K. and Dittrich Y. (2005). Expanding Database Systems into self–verifying Entities . In Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005) ISBN 972-8865-22-8, pages 65-70. DOI: 10.5220/0002563000650070


in Bibtex Style

@conference{msvveis05,
author={Kare J. Kristoffersen and Yvonne Dittrich},
title={Expanding Database Systems into self–verifying Entities},
booktitle={Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)},
year={2005},
pages={65-70},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002563000650070},
isbn={972-8865-22-8},
}


in EndNote Style

TY - CONF
JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - Volume 1: MSVVEIS, (ICEIS 2005)
TI - Expanding Database Systems into self–verifying Entities
SN - 972-8865-22-8
AU - J. Kristoffersen K.
AU - Dittrich Y.
PY - 2005
SP - 65
EP - 70
DO - 10.5220/0002563000650070