MDA: correctness of model transformations. Which models are schemas?
Date
2005
Authors
Podnieks, Karlis
Journal Title
Journal ISSN
Volume Title
Publisher
IOS Press
Abstract
How to determine, is a proposed model transformation correct, or not? In general, the answer may depend on the model semantics. Of course, a model transformation is “correct”, if we can extend it to a “correct” instance data transformation. Where should model semantics be defined? Assume, model syntax and semantics are defined in the same meta-model. Then, how to separate syntax from semantics? The answer could be the definition of model schemas proposed in the paper.
Description
Keywords
model transformation , model semantics , model syntax , database schema , UML , RDBMS , commutative diagram
Citation
Karlis Podnieks. MDA: correctness of model transformations. Which models are schemas? Selected papers from 6th International Baltic Conference on Databases and Information Systems, June 6-9, 2004, Riga, Latvia, Frontiers in Artificial Intelligence and Applications, IOS Press, Vol. 118, 2005, pp. 185-197