Визуальный язык ДРАКОН

Дружелюбный Русский Алгоритмический язык, Который Обеспечивает Наглядность/Надёжность

Инструменты пользователя

Инструменты сайта


grafit-floks

ГРАФИТ-ФЛОКС

Технология применения одноимённой реализации гибридного техноязыка ДРАКОН-ФЛОКС в ФГУП "НПЦ Автоматики и приборостроения им. акад. Н.А.Пилюгина".

Схематически показана на рисунках:

Технология обсуждалась в специализированной теме форумов проекта.

Также доступен пример схемы процедуры с обсуждением в другой теме (начиная с этого сообщения).

Сущность технологии - в разделении формализации для человека-участника и для технического исполнителя. Участники выступают в ролях специалиста в предметной области, аналитика-постановщика задач (объединяемых в роли т.н. комплексника), программиста. Это выражается как в выделении этапов разработки (формализации профессиональных знаний, кодирования и генерации), так и в разграничении содержания описаний на уровни - управленческий, алгоритмический, программный. Техническим исполнителем в ГРАФИТ-ФЛОКС принят ряд БЦВК «Бисер» (собственной разработки НПЦ АП), встроенный в объект управления (ракету-носитель или разгонный блок сторонней разработки).

Авторская оценка

Данная технология полностью отвечает потребностям организации-разработчика (НПЦ АП). Разделение формализации и принятые техпроцессы обеспечивают требуемый уровень взаимодействия специалистов-комплексников (т.е. предметников и аналитиков-постановщиков задач) с программистами. C 1996 года ГРАФИТ-ФЛОКС официально применяется в НПЦ АП (см. выдержку из Распоряжения №3 здесь). По сообщению Паронджанова, в связи со стабильно высокими результатами первых проектов было принято решение использовать технологию в последующих разработках.

Независимые оценки

Технология создавалась для собственного пользования организации-разработчика, поэтому распространение и поддержка не предполагались.

Достижение требуемой гарантоспособности в процессе разработки обеспечивается за счёт удобства «мозговой проверки» человекочитаемого описания и однозначности генерации ПО по нему.

Технология рассчитана на отделение императивной компоненты формализованного знания от декларативной и связующей компонент (в смысле подразделения, вводимого в этой работе как «базис трёх абстракций»).

grafit-floks.txt · Последние изменения: 2012/06/12 21:25 — Владислав Жаринов