The paper describes theoretical principles of domain-specific modelling, in particular application of vector algebra as a mathematical formalism for producing metamodels of domains. Practical implementation of the approach in the program tools named Vector Logic Visual 2D and 3D Environments is considered.
domain-specific modelling; vector logic; geometrical theorem proving
"Yspolzovanye vektornoi alhebrы dlia postroenyia ynstrumentov predmetno-oryentyrovannoho modelyrovanyia" ,
Scientific Works of Kharkiv National Air Force University,