Abstract | ||
---|---|---|
The paper presents work-in-progress aiming at deploying runtime ver- ification techniques to observe whether state changes in a database system conform with temporal business rules. A high level language for tailoring enterprise data- base systems with temporal business rules is defined. Furthermore we present an algorithmic framework for checking temporal business rules at runtime, i.e. we rec- ommend 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- cussed. |
Year | Venue | Keywords |
---|---|---|
2005 | MSVVEIS | business rules,high level language,work in progress,database system |
Field | DocType | Citations |
Computer science,Data definition language,Database schema,Database design,Runtime verification,Intelligent database,Database theory,Business rule,Database,Entity–relationship model | Conference | 1 |
PageRank | References | Authors |
0.35 | 7 | 2 |
Name | Order | Citations | PageRank |
---|---|---|---|
Kåre J. Kristoffersen | 1 | 143 | 19.32 |
Yvonne Dittrich | 2 | 641 | 62.16 |