Формальное описание метаязыка системы MetaLanguage
In paper the methods of model transformations created by means of visual modeling languages is considered. The detailed analysis has allowed to reveal existing problems in this area and to formulate approaches to their elimination.
In article the approach to creation of the formal description of the metalanguage, used for development of visual domain-specific languages of information systems modeling, based on directed pseudo-metagraphs, is considered. Using graph models for formal metalanguage definition of system MetaLanguage allows to describe its properties, to develop algorithms of horizontal and vertical metamodels and models transformation.
This article is devoted to conceptual translation of the terms "transcendence" and, connected with the former, "symbol". Difficulties which appear in the translation of those concepts into the language of contemporary culture are due to the fact that the terms are descriptive, not explanatory. This indicates a special type of ontology, that refers to Plato. Symbol, which is at the same time transcendent and immanent, will be analyzed through the examples of Merab Mamardashvili's philosophy and Andrey Tarkovsky's films. Their understanding of symbol is linked to Pavel Florensky's philosophy of art and Pseudo-Dionysius's theology of symbol.
Tools of the DSM-platform MetaLanguage for creation of domain specific languages and for multilevel modeling are described. The transformations definition facility provides lower labor consumption for languages development and for model transformations.