Authors:
Rosario Baena
1
;
Roberto Aragón
1
;
Manuel Enciso
2
;
Carlos Rossi
3
;
Pablo Cordero
1
and
Ángel Mora
1
Affiliations:
1
University of Málaga, Spain
;
2
Universidad De Malaga, Spain
;
3
Universidad de Málaga, Spain
Keyword(s):
Model-Driven Engineering, Model Quality, OCL, MDE, Logic, Functional Dependency, Data Model, Design by Contract, Model Refactoring
Related
Ontology
Subjects/Areas/Topics:
MetaModeling
;
Model Evolution
;
Model Transformation
;
Models
;
Paradigm Trends
;
Software Engineering
Abstract:
Software verification and modeling quality are permanent challenges in software development. So, smarter and more cohesive methods for the creation and maintenance of data models without loss of quality are required as model complexity increases in current academic and industrial MDE-based system designs. In-place endogenous model transformations (refactorings) are an efficient and straightforward approach to deal with data model complexity, but
ad-hoc and frequent transformations must be performed to maintain model quality. In this paper we explore an alternative method to ensure the quality of data models: correction by contract. We propose a new method for the creation and
maintenance of static data models (relational, entity-relationship or class models) with enhanced quality. We will use an executable logic for functional dependencies to characterize data model redundancy and we define a set of
OCL constraints to guide the construction and maintenance of the models. We also illu
strate this approach with a simplified intermediate metamodel (FDMM) for functional dependencies over a data model to show the potential benefits of the method.
(More)