Прагматика представляет собой дерево целей проектируемой си-
стемы:
PR
def
=
GT
;
GT
=
h
GN, GL
i
, GN
=
{
g
i
}
.
Здесь
GT
— дерево целей;
GN
— множество вершин дерева це-
лей;
GL
— множество ребер дерева, отражающее иерархические связи
между целями;
g
i
—
i
-я цель проектирования системы.
Семантику системы представим в виде атрибутивного метаграфа в
соответствии с (1):
SE
def
=
MG
A
,
Синтаксис системы — это множество символов в целевом алфавите
системы:
SY
=
{
t
i
}
, t
i
2
T
L
T ,
где
t
i
— символ целевого алфавита системы;
T
L
— подмножество це-
левого алфавита системы для языка
L
;
T
— целевой алфавит системы.
Целевой алфавит системы представляет собой объединенное мно-
жество
T
синтаксических конструкций языков программирования
T
L
,
в рамках которых генерируется текст программы, а
t
i
— допустимую
синтаксическую конструкцию языка программирования
T
L
.
Набор правил преобразования
R
включает в себя следующие виды
правил преобразования:
R
=
R
PR
→
PR
, R
PR
→
SE
, R
SE
→
SE
, R
SE
→
SY
,
где
R
PR
→
PR
— правило преобразования в рамках прагматики систе-
мы;
R
PR
→
SE
— правило преобразования из прагматики системы в ее
семантику;
R
SE
→
SE
— правило преобразования в рамках семантики
системы;
R
SE
→
SY
— правило преобразования из семантики системы
в ее синтаксис.
Взаимосвязь между элементами системы и правилами преобразо-
вания приведена на рисунке.
Правило преобразования в рамках прагматики
содержит четыре
вида правил
R
PR
→
PR
=
R
PR
→
PR
I
, R
PR
→
PR
II
, R
PR
→
PR
III
, R
PR
→
PR
IV
.
Взаимосвязь между элементами системы и правилами преобразования
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2014. № 5 81
