MDA: correctness of model transformations. Which models are schemas?
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.
Collections
Related items
Showing items related by title, author, creator and subject.
-
Datorzinātne un informācijas tehnoloģijas: Datu bāzes un Informācijas sistēmas
Latvijas Universitāte (2010) -
Towards a General Definition of Modeling
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 ... -
Эмануэль Гринберг - выдающиеся достижения в прикладной математике: радио-фильтры, корпуса танкеров, графы и интегральные схемы Emanuels Grinbergs - ievērojami sasniegumi lietišķajā matemātikā: radio filtri, kuģu korpusi, grafi un integrālās shēmas
Šneps-Šneppe, Manfrēds (International Journal of Open Information Technologies, 2018)The paper is dedicated to the 50th anniversary of the Grinberg theorem. The main works of Emanuel Grinberg (1911-1982) in applied mathematics are described, following the stages of his life path, namely: the design of ...