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

作     者：Al-Jumaily, Harith T. Cuadra, Dolores Martinez, Paloma 

作者机构：Univ Carlos III Madrid Dept Comp Sci Madrid 28911 Spain 

出 版 物：《JOURNAL OF SYSTEMS AND SOFTWARE》 (系统与软件杂志)

年 卷 期：2008年第81卷第12期

页      面：2299-2314页

核心收录：

学科分类：08[工学] 0835[工学-软件工程] 0812[工学-计算机科学与技术（可授工学、理学学位）] 

主　　题：Integrity constraints Model-Driven Architecture CASE tools Active database systems OCL Sequence diagrams 

摘      要：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 too] in Rational Rose called OCL2Trigger. (C) 2008 Elsevier Inc. All rights reserved.