Expanding Database Systems into self-verifying Entities

The paper presents work-in-progress aiming at deploying runtime verification techniques to observe whether state changes in a database system conform with temporal business rules. A high level language for tailoring enterprise database systems with temporal business rules is defined. Furthermore we present an algorithmic framework for checking temporal business rules at runtime, i.e. we recommend on-line checking of data in the system as opposed to post-checking, i.e. off–line processing. A prototypical implementation of a runtime verifier (called Verification Server) based on this algorithmic framework is presented and dis-