Здравствуйте, Cyberax, Вы писали:
C>Здравствуйте, tau797, Вы писали:
T>>>>При том, что многими системами необходимо управлять в реальном масштабе времени.
C>>>Оно ортогонально представлению в виде state-машины.
T>>Нет. Обычный (нетаймированный) автомат неспособен адекватно описать систему реального времени.
C>Вообще-то, конечный автомат не может представить много чего. Поэтому я и пишу "state-машина" (aka "автомат").
C>>>Нет. Пока мне их не продемонстрируют, так как в книге их пиарят вовсе не как нишевые технологии.
T>>Если бы вы потрудились почитать книгу Паронджанова, то наверняка обратили бы внимание на то, что пропагандирует он свой язык
T>>не в качестве средства программирования, а как некий универсальный язык для описания алгоритмических аспектов в том числе деятельности
T>>человека.
C>Вот именно. И я хочу увидеть его приложения в программировании.
C>>>У меня by default недоверие к технологиям, которое можно вылечить только реальным кодом реальных проектов.
T>>О вполне реальных проектах я вам писал неоднократно.
C>Я не могу их посмотреть.
C>>>Меня не особо интересуют другие области. Я и так знаю, что физики у нас хорошие.
T>>У нас и программисты хорошие. О школе академика Ершова что-нибудь слышали, например?
C>То было давно...
C>>>А вот информатика — в полной заднице.
T>>Если не брать производство аппаратных средств, а теорию — то чушь.
C>Не чушь. Товарищи из буржуйских стран сейчас занимаются интересными вещами, у нас же практически ничего не происходит.
C>Смотрим: http://arxiv.org/list/cs/pastweek?skip=0&show=25 — сюда сейчас попадают практически все нормальные статьи по информатике.
C>Из русских попались только две статьи:
C>http://arxiv.org/pdf/0902.4460
C>http://arxiv.org/abs/0902.4514
C>А вся "Russian Academy of Science" ( http://search.arxiv.org:8081/?query=Russian+Academy+of+Science&in=grp_cs ) проигрывает одному MIT: http://search.arxiv.org:8081/?query=MIT&in=grp_cs со счётом 110 против 3552 (точнее, немного меньше из-за случайных совпадений со словом MIT)!
C>Ещё можно сравнить знаменитый курс MIT'а по программированию и наши курсы в университетах.
C>>>Нет. Доказательство соответствия программы и спецификации — это нетривиальная задача. Просто так оно само не получится.
T>>Я не говорил, что задача — тривиальная. Кстати, при создании вами же упомянутой системы управления парижским метро 14 ветки используется
T>>так называемая "B-технология", именно позволяющая генерировать гарантированно соответствующие спецификации программы. И они в этом не одиноки 
C>Проблема тогда в том, что спека будет аналогом алгоритма. Там всё сложнее — их система позволяет проверять соблюдение инвариантов при создании кода. Оно не полностью автоматическое, и в ряде случаев требует ручного вмешательства.
C>>>>>Если у нас есть спецификация алгоритма, достаточно подробная, чтобы доказать её корректность, то это УЖЕ будет почти что готовая его реализация.
T>>Точно, именно так ПО для парижского метро и делали.
C>Его делали немного по-другому, однако. Сначала сформировали спеку с набором инвариантов и гарантий, а потом следили за их соблюдением.
T>>>>Вы, кстати, жаловались на отсутствие публикаций — можете посмотреть и другие труды Крюкова, Петренко, Смелянского...
C>>>Вот это уже интереснее. Но опять, нет видимого результата.
T>>Меня утомила ваша "непробиваемость". Полет "Бурана" транслировался по ТВ. Существует множество телепередач и иных материалов, посвященных этому знаменательному событию. "Фрегаты" и "Протоны-М" стартуют с завидной регулярностью. Пуски также демонстрируются по ТВ. Может, со зрением просто проблемы?
C>Ты знаешь, я видел стооооооолько софта, который выглядит красиво и даже ещё и работает. Но если посмотреть у него под крышкой — там такой макаронный индусокод, что становится просто страшно.
C>>>сколько там относится к техникам программирования, а сколько к технике организации работ.
T>>Технология программирования включает в себя и методы проектирования, и методы документирования, и методы отладки.
C>Методы проектирования — нет. Методы документации — частично. Методы отладки — да.
C>>>А ещё необходимость обеспечивать бизнес-процессы, отражающие гибкость реального мира. Где и скрывается вся сложность.
T>>"Бизнес-процессы" — поганое модное словечко. Если же рассматривать суть, то "сложность" процессов в бухгалтерии вряд ли сопоставима со сложностью управления в реальном времени десятками взаимодействующих друг с другом и с внешней средой систем.
C>Учитывая, что бухгалтерия — это часто как раз те же десятки взаимодействующих друг с другом процессов, которые ещё и часто ведут себя как попало, да ещё всё это и меняется с периодичностью раз в год, да ещё и надо всё это поддерживать за деньги в малую долю разработки ПО типа Шаттловского...
C>Что далеко ходить — система SAP R3 содержит около 250 миллионов строк кода. Т.е. гигабайты исходного кода.
_____________________________________________________________________________________________________________________
Уважаемые коллеги!
Благодарю Вас за то, что Вы обратили внимание на язык Дракон, описанный в моей книге
«Паронджанов В.Д. Как улучшить работу ума. Алгоритмы без программистов – это очень просто!». М.: Дело, 2001. — 360с».
Книга свободно доступна в сети на многих сайтах:
http://forum.oberoncore.ru/viewtopic.php?p=21078#p21078
Благодарю за критику, которая была высказана в ходе Вашей дискуссии. Я чрезвычайно ценю подобную критику и приветствую ее. Критика — воздух науки.
Приглашаю всех (кто интересуется языком Дракон и ситуацией вокруг него), на форум "Визуальный язык Дракон", где я принимаю участие в дискуссии программистов и отвечаю на серьезные и острые вопросы. Адрес форума Вам известен:
http://forum.oberoncore.ru/viewforum.php?f=62
См. также раздел сайта OberonCore.ru
http://wiki.oberoncore.ru/index.php/%D0%94%D1%80%D0%B0%D0%BA%D0%BE%D0%BD
На Вашем форуме прозвучало критическое замечание, что язык ДРАКОН нельзя использовать для построения сложных программ.
Отвечаю: это не так.
Где используется программное обеспечение языка ДРАКОН?
В Научно-производственный центре автоматики и приборостроения имени академика Н.А.Пилюгина. Здесь реализован на практике и успешно эксплуатируется в течение 12 лет метод «Программирование без прикладных программистов», основанный на использовании языка ДРАКОН.
Созданная технология называется «Технология разработки алгоритмов и программ Графит-Флокс».
http://forum.oberoncore.ru/viewtopic.php?f=62&t=1091
Разработка языка ДРАКОН и технологии Графит-Флокс длилась 11 лет (с 1986 по 1996 год). Она используется в следующих крупных ракетно-космических проектах (при разработке систем управления ракет-носителей и разгонных блоков космических аппаратов):
• разгонный блок космических аппаратов ДМ-SL (в рамках международного проекта «Морской старт»);
• разгонный блок космических аппаратов Фрегат;
• модернизированная ракета-носитель тяжелого класса Протон-М;
• разгонный блок космических аппаратов ДМ-03;
• разгонный блок космических аппаратов «Наземный старт» (Старт в пустыне);
• ракета-носитель легкого класса Ангара 1,2;
• ракета-носитель тяжелого класса Ангара-А5;
• и др.
Во всех перечисленных случаях был использован метод «Программирование без прикладных программистов» на основе языка Дракон. Программы на языке ДРАКОН выполняются бортовым компьютером БИСЕР. Этот компьютер создан для установки на борту ракет. Он управляет полетом ракеты, управляет бортовыми системами ракеты и выполняет множество других функций.
Впервые язык Дракон и технология Графит-Флокс были применены на разгонном блоке ДМ-SL (в рамках проекта «Морской старт»).
Первый пуск ракетного комплекса «Морской старт» состоялся 28 марта 1999 г в 5 час. 30 мин. по московскому времени (27 марта 1999 г. в 18 час. 30 мин. по тихоокеанскому времени) с морской стартовой платформы «Одиссей» в Тихом океане на экваторе в районе островов Кирибати.
Чтобы обеспечить этот пуск язык Дракон и технология Графит-Флокс активно использовались на всех этапах разработки системы управления, испытаний и подготовки к пуску в течение трех лет, начиная с 1996 года.
К настоящему времени по программе «Морской старт» выполнено 26 пусков.
Полный перечень пусков по программе «Морской старт»:
http://www.energia.ru/energia/sea-launch/chron.html
Можно ли использовать язык ДРАКОН при создании программ для обычных персональных компьютеров, ноутбуков, контроллеров и т.д.
Сегодня пока еще нет, нельзя. Для этого надо разработать инструментальные программы ДРАКОНа для персональных компьютеров, ноутбуков и контроллеров.
Такая разработка ведется участниками форума «Визуальный язык дракон» на сайте OberoneCore.ru. Но она еще не закончена.
За рамками ракетно-космической тематики уже сегодня язык ДРАКОН можно использовать для разработки алгоритмов, проектирования программ, создания протоколов взаимодействия и т.д.
Но завтра ситуация изменится. Можно надеяться, что в скором времени язык ДРАКОН получит широкое распространение.
С глубоким уважением
Владимир Паронджанов
__________________________________________________________________________________________________________________
