loading
Papers Papers/2020

Research.Publish.Connect.

Paper

Paper Unlock

Authors: Kare J. Kristoffersen and Yvonne Dittrich

Affiliation: IT University of Copenhagen, Denmark

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.

CC BY-NC-ND 4.0

Sign In Guest: Register as new SciTePress user now for free.

Sign In SciTePress user: please login.

PDF ImageMy Papers

You are not signed in, therefore limits apply to your IP address 34.239.177.24

In the current month:
Recent papers: 100 available of 100 total
2+ years older papers: 200 available of 200 total

Paper citation in several formats:
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 - MSVVEIS, (ICEIS 2005) ISBN 972-8865-22-8, pages 65-70. DOI: 10.5220/0002563000650070

@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 - MSVVEIS, (ICEIS 2005)},
year={2005},
pages={65-70},
publisher={SciTePress},
organization={INSTICC},
doi={10.5220/0002563000650070},
isbn={972-8865-22-8},
}

TY - CONF

JO - Proceedings of the 3rd International Workshop on Modelling, Simulation, Verification and Validation of Enterprise Information Systems - 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

0123movie.net