Managing the Evolution of Information Systems with Intensional Views
(2014) BENEVOL 2014 — Location: Amsterdam (27.November.2014)
Files
benevol2014_submission_Colpaert-Mens-Lambeau.pdf
Open Access - Adobe PDF
- 344.32 KB
Details
- Authors
- Abstract
- Like any software system, information systems suffer from structural inconsistencies that may arise during system evolution. Appropriate tools are needed to encode the structural regularities the system should adhere to, and to check conformance of the system against those regularities upon evolution. Taking inspiration from the intensional views approach to document and verify structural regularities in source code, we developed a similar tool to document and verify structural regularities in large databases. Regularities are expressed by the user at a high level in a graphical user interface, and then translated into relational algebra in order to check the regularities over the data. Discovered inconsistencies are presented back to the user in appropriate high-level data views. As a case study, the developed tool was successfully applied to a safety critical information system deployed at a large Belgian university. It is used by the rescue services to accurately locate users based on the location of their IP phones from which an emergency call was made.
- Affiliations
Citations
Colpaert, D., Mens, K., & Lambeau, B. (2014). Managing the Evolution of Information Systems with Intensional Views. BENEVOL 2014, Amsterdam. https://hdl.handle.net/2078.5/231439