программирования (объектно-ориентированная, функциональная, ло-
гическая) и других факторов, что является предметом отдельного ис-
следования.
Правило преобразования из семантики системы в ее синтаксис
R
SE
→
SY
:
MG
A
i
→ {
t
i
}
осуществляет преобразование фрагмента атрибутивного метаграфа
MG
A
i
во множество символов целевого алфавита системы
t
i
. Это
преобразование “смысловой структуры” в текст программы.
Для реализации таких преобразований разработано большое коли-
чество технологий. Это и языки шаблонов (например, T4 на платформе
.NET), и технологии, подобные XSLT.
Трек системы определим следующим образом:
TR
=
{
tr
i
}
;
tr
i
=
h
R
j
, S
A
, S
C
i
;
R
j
2
R
;
S
A
, S
C
2
PR
∪
SE
∪
SY ,
где
tr
i
— элемент трека системы;
R
j
— выполненное правило, при-
надлежащее множеству правил системы;
S
A
— множество элементов,
составляющих антецедент правила;
S
C
— множество элементов, обра-
зующих консеквент правила; элементы, составляющие антецедент и
консеквент правила, в зависимости от вида правила могут принадле-
жать прагматике, семантике или синтаксису системы.
Обобщенная методика проектирования.
Такая методика проек-
тирования с использованием системы генерации исходного кода про-
граммного обеспечения на основе многоуровневого набора правил со-
держит следующие шаги.
1. Задание прагматики проектируемой системы в виде дерева це-
лей.
2. Разработка правил системы.
3. Генерация текстов программ с помощью разработанных правил.
4. Компиляция текстов программ в исполняемые файлы (в случае
использования компилируемых языков программирования).
5. Тестирование сгенерированной системы.
6. Возврат к пункту 2 в случае исправления ошибок в сгенериро-
ванном коде.
7. Возврат к пункту 1 в случае изменения требований к системе.
В систему постепенно добавляются и отлаживаются новые прави-
ла, что позволяет поэтапно наращивать функциональность системы.
Разработка автоматизированных тестов.
К сожалению, в рамках
предлагаемого подхода существует проблема с разработкой автомати-
ISSN 0236-3933. Вестник МГТУ им. Н.Э. Баумана. Сер. “Приборостроение”. 2014. № 5 83
