Метод розробки метамоделей на основі логічних моделей предметних областей

Abstract

Відомий метод R-функцій В. Л. Рвачова для розв’язання задач аналітичної геометрії використовує множини функцій кількох змінних, що мають властивості, тісно пов’язані з властивостями булевих функцій. В даній роботі для розробки метамоделей пропонується використовувати теж логічні моделі предметних областей. Розглянуто приклад.

The well-known method of R-functions of V. Rvachov for solving problems of analytic geometry, uses a set of functions of several variables which have properties, closely associated with properties of Boolean functions. In this work it is also suggested to use the logical models of subject domains for metamodels development. An example is considered.