Publication:
OCL2Trigger: Deriving active mechanisms for relational databases using Model-Driven Architecture

Thumbnail Image
Identifiers
URI: https://hdl.handle.net/10016/8221
ISSN: 0164-1212
DOI: 10.1016/j.jss.2008.04.027
Files
al_jumaily_Ocl2Trigger_jss_2008_ps.pdf (1.57 MB)
Publication date
2008-12
Defense date
Authors
Advisors
Tutors
Journal Title
Journal ISSN
Volume Title
Publisher
Elsevier
Impact
Google Scholar
Export
Research Projects
Organizational Units
Journal Issue
Abstract
Transforming integrity constraints into active rules or triggers for verifying database consistency produces a serious and complex problem related to real time behaviour that must be considered for any implementation. Our main contribution to this work is to provide a complete approach for deriving the active mechanisms for Relational Databases from the specification of the integrity constraints by using OCL. This approach is designed in accordance with the MDA approach which consists of transforming the specified OCL clauses into a class diagram into SQL:2003 standard triggers, then transforming the standard triggers into target DBMS triggers. We believe that developing triggers and plugging them into a given model is insufficient because the behaviour of such triggers is invisible to the developers, and therefore not controllable. For this reason, a DBMS trigger verification model is used in our approach, in order to ensure the termination of trigger execution. Our approach is implemented as an add-in tool in Rational Rose called OCL2Trigger.
Description
16 pages, 10 figures.-- Issue title: "Best papers from the 2007 Australian Software Engineering Conference (ASWEC 2007), Melbourne, Australia, April 10-13, 2007, Australian Software Engineering Conference 2007".
Keywords
Integrity constraints, Model-Driven Architecture, CASE tools, Active database systems, OCL, Sequence diagrams
Bibliographic citation
Journal of Systems and Software, 2008, vol. 81, n. 12, p. 2299-2314
Collections
DI - LABDA - Artículos de Revistas