MDA: correctness of model transformations. Which models are schemas?

View/Open

Author

Date

Metadata

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.

What is a model? Surprisingly, in philosophical texts, this question is asked (sometimes), but almost never – answered. Instead of a general answer, usually, some classification of models is considered. The broadest possible ...

In this article, I show how the Dappled World Perspective can be refined in the model-based model of cognition.The very idea of modeling as replacing implies severe limitations, namely, the Dappled World Perspective at the ...