+ лексем RAISE в команды LaTex-a


Проект завершает систему генерации документов из кода
программ.
В текущем проекте лексемы языка формальных
спецификаций RAISE (далее RSL - RAISE SPECIFICATION LANGUAGE)
преобразовываются в команды LaTex-а, что дает возможность
включать более читабельную, математическую версию записи формальных спецификаций в выходной
pdf-документ. Это облегчает создание и поддержание в актуальном состоянии
техническую документацию на всех стадиях разработки программного обеспечения.

Ранее в системе генерации документов
последовательно проверялись следующие возможности
__1__ генерация текстового документа из SQL- скриптов и C-
программ
__2__ генерация текстового документа из RSL - схем и SQL -
скриптов HRB .
__3__ генерация html и pdf - документов из RSL - схем.
GSAUD , RSL4TF ;
__4__ генерация pdf документа из С# - программ
SEDASPROC .
Причем, во всех предыдущих случаях RSL cхемы вставлялись в
документ в ascii-форме. Пакет для LaTex с определением символов
RSL был создан В RAISE Language Group
( RSLG ,
глава 16 LaTeX support, файл rslenv.sty), При этом подразумевается, что собственно
преобразование текста RSL в команды LaTex-а происходит в среде
редактора EMACS. Это лишает непользователей EMACS возможности
создавать документы с математическим представлением RSL
спецификаций. Предлагаемый скрипт редактора SED (RSLToken.sed)
позволяет заменять лексемы RSL на соответствующие команды
LaTex-а в пакетном режиме. Вторым важным компонентом является
make-файл для построения выходного документа в формате pdf или
dvi.