Дружелюбный Русский Алгоритмический язык, Который Обеспечивает Наглядность/Надёжность
Здесь показаны различия между двумя версиями данной страницы.
Следующая версия | Предыдущая версия Последняя версия Следующая версия справа и слева | ||
grafit-floks [2012/04/30 10:42] Владислав Жаринов создано |
grafit-floks [2012/06/12 21:18] Владислав Жаринов |
||
---|---|---|---|
Строка 1: | Строка 1: | ||
====== ГРАФИТ-ФЛОКС ====== | ====== ГРАФИТ-ФЛОКС ====== | ||
- | Явилась результатом изначальной разработки техноязыка В.Д. Паронджановым при участии других разработчиков ПО в ФГУП НПЦ АП им. Пилюгина и с использованием их результатов (см. исторический обзор, содержащийся [[http://ru.wikipedia.org/wiki/ДРАКОН|здесь]]). Область применения по настоящее время - НПЦ АП (конкретные проекты перечислены [[http://drakon.su/primenenija/start#primenenie|здесь]]). | + | Технология применения [[http://drakon.su/grafit-floks-sistema#grafit-floks-sistema|одноимённой реализации]] гибридного техноязыка ДРАКОН-ФЛОКС в [[http://www.npcap.ru/|ФГУП "НПЦ Автоматики и приборостроения им. акад. Н.А.Пилюгина"]]. |
- | Схематически показана на [[http://drakon.su/_media/biblioteka/grafit_a4.pdf|рисунке]]. | + | Схематически показана на рисунках: |
- | Можно выделить ГРАФИТ/ФЛОКС-редактор, систему генерации, средства отработки (объектовой и стендовой). | + | |
- | Реализация обсуждалась в [[http://forum.oberoncore.ru/viewtopic.php?f=62&t=1091|специализированной теме]] форумов проекта. | + | {{ :plakat_a4_texprocess_grafit-floks.jpg?800 |}} |
- | Сущность реализации - в отделении императивной компоненты формализованного знания от декларативной и связующей компонент. Первая представляется в базе графит-алгоритмов (ГРАФИТ-БД), вторая - в базе объектов (ФЛОКС-БД). При этом связывание в коде ПО осуществляется через ФЛОКС-компоненты (через общность имён в базах алгоритмов и объектов). Поддерживается и связывание с программируемой системой (путём тотальной идентификации узлов и связей теми же именами). | + | Технология обсуждалась в [[http://forum.oberoncore.ru/viewtopic.php?f=62&t=1091|специализированной теме]] форумов проекта. |
+ | |||
+ | Сущность технологии - в разделении формализации для человека-участника и для технического исполнителя. Участники выступают в ролях специалиста в предметной области, аналитика-постановщика задач (объединяемых в роли т.н. комплексника), программиста. Это выражается как в выделении этапов разработки (формализации профессиональных знаний, кодирования и генерации), так и в разграничении содержания описаний на уровни - управленческий, алгоритмический, программный. Техническим исполнителем в ГРАФИТ-ФЛОКС принят ряд БЦВК "Бисер" (собственной разработки НПЦ АП), встроенный в объект управления (ракету-носитель или разгонный блок сторонней разработки). | ||
===== Авторская оценка ===== | ===== Авторская оценка ===== | ||
- | Реализация полностью отвечает требованиям организации-разработчика (НПЦ АП). Графическая основа процедурного языка ГРАФИТ (абстрактные дракон-схемы) в сочетании с табличной формой объектного языка ФЛОКС обеспечивает требуемый уровень взаимодействия специалистов-комплексников (т.е. предметников и аналитиков-постановщиков задач) с программистами. | + | Данная технология полностью отвечает потребностям организации-разработчика (НПЦ АП). Разделение формализации и принятые техпроцессы обеспечивают требуемый уровень взаимодействия специалистов-комплексников (т.е. предметников и аналитиков-постановщиков задач) с программистами. C 1996 года ГРАФИТ-ФЛОКС официально применяется в НПЦ АП (см. выдержку из Распоряжения №3 [[http://forum.oberoncore.ru/viewtopic.php?p=21325&sid=10f33a54173890b82a63499a897933ae#p21325|здесь]]). По сообщению Паронджанова, в связи со стабильно высокими результатами первых проектов было принято решение использовать технологию в последующих разработках. |
===== Независимые оценки ===== | ===== Независимые оценки ===== | ||
- | Реализация создавалась для собственного пользования разработчика, поэтому распространение и поддержка не предполагались. | + | Технология создавалась для собственного пользования организации-разработчика, поэтому распространение и поддержка не предполагались. |
+ | |||
+ | Достижение требуемой гарантоспособности в процессе разработки обеспечивается за счёт удобства "мозговой проверки" человекочитаемого описания и однозначности генерации ПО по нему. | ||
+ | |||
+ | Технология рассчитана на отделение императивной компоненты формализованного знания от декларативной и связующей компонент (в смысле подразделения, вводимого в [[http://forum.oberoncore.ru/download/file.php?id=3072|этой работе]] как "базис трёх абстракций"). | ||
- | Реализация рассчитана на исходное определение языка (абстрактного дракон-алфавита и силуэтной дракон-заготовки), опубликованное в /Паронджанов, Дело, 2001/ и предметного синтаксиса текстоэлементов, обсуждавшегося в [[http://forum.oberoncore.ru/viewtopic.php?p=17459#p17459|этом сообщении]]. |