UniKL Logo

Lehrgebiet Informationssysteme

FB Informatik
FB Informatik
 
LG IS
AG DBIS
AG HIS
Jobs / Tasks
Courses
Publications
Contact
Misc
Impressum
(C) AG DBIS
  

A DBMS-based Approach for Automatic Checking of OCL Constraints

U. Marder, N. Ritter, H.-P. Steiert

University of Kaiserslautern, Dept. of Computer Science
P. O. Box 3049, D-67663 Kaiserslautern, Germany
{marder, ritter, steiert}@informatik.uni-kl.de

Full paper (postscript version, compressed by gzip or PDF version )

Abstract

In large software development projects shared databases support cooperation of developers and reuse of design. Facing complex application requirements and new database technology the development of a corresponding database application is a difficult task. In order to simplify this task, our project aims at generating the database schema and an object-oriented database application programming interface (API) from a graphically specified UML model [1][5]. This position paper deals with some very important aspects of our approach: the UML repository (Sect. 2), exploitation of OCL constraints for preserving consistency of both UML models and application data (Sect. 3), and corresponding tool support (Sect. 4).

in: OOPSLA'99-Workshop "Rigourous Modeling and Analysis with the UML: Challenges and Limitations", Denver, Co., 1999