Рассмотрим эти правила более подробно.
1. Правило добавления вершины
g
j
, вложенной в вершину
g
i
:
R
PR
→
PR
I
:
g
i
→
g
i
/g
j
,
где / — оператор вложенности вершин. Антецедент правила — вершина
g
j
, консеквент правила — фрагмент дерева, в котором вершина
g
j
вложена в вершину
g
i
.
2. Правило удаления вершины
g
j
, вложенной в вершину
g
i
:
R
PR
→
PR
II
:
g
i
/g
j
→
g
i
.
Используется для моделирования высказываний вида: “для того, чтобы
выполнить цель
g
i
, необходимо выполнить подцель
g
j
”. Антецедент
правила — фрагмент дерева, в котором вершина
g
j
вложена в вершину
g
i
, консеквент правила — вершина
g
i
.
3. Правило изменения вложенности вершин:
R
PR
→
PR
III
:
g
k
, g
i
/g
j
→
g
i
, g
k
/g
j
.
Полезно, когда цель (подцель) была задана ошибочно, и проектиров-
щику необходимо ее удалить. Вершина
g
j
, вложенная в антецеденте
правила в вершину
g
i
, становится вложенной в вершину
g
k
в консе-
квенте правила.
4. Правило слияния вершин:
R
PR
→
PR
IV
:
g
k
/g
n
, g
i
/g
j
→
g
ki
/g
j
, g
n
.
Применяется в случае, когда проектировщику необходимо перенести
подцель в другую ветвь дерева целей. В результате вершины
g
i
и
g
k
объединяются, вершины
g
j
и
g
n
становятся вложенными в объединен-
ную вершину
g
ki
.
Правило преобразования из прагматики системы в ее семанти-
ку
R
PR
→
SE
:
GT
i
→
MG
A
j
используется для объединения целей. В этом случае осуществляется
слияние подцелей объединяемых целей. Антецедент правила — фраг-
мент дерева целей проектируемой системы, консеквент правила —
фрагмент атрибутивного метаграфа, который добавляется в семантику
системы.
Правило преобразования в рамках семантики системы
R
SE
→
SE
:
MG
A
i
→
MG
A
j
.
В этом правиле выполняется замена фрагмента атрибутивного мета-
графа
MG
A
i
фрагментом атрибутивного метаграфа
MG
A
j
.
Детальные разновидности правил преобразования из прагматики в
семантику и в рамках семантики не рассматриваются в настоящей ста-
тье. Они могут зависеть от используемой парадигмы целевого языка
82 ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2014. № 5
