MDA: correctness of model transformations. Which models are schemas?
MetadataShow full item record
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.
Showing items related by title, author, creator and subject.
Latvijas Universitāte (2010)
Podnieks, Karlis (2010-11-24)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 ...
Podnieks, Karlis (The Reasoner, University of Kent, 2014-01)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 ...