DRAKON.SU

Текущее время: Четверг, 28 Март, 2024 21:12

Часовой пояс: UTC + 3 часа




Начать новую тему Ответить на тему  [ Сообщений: 273 ]  На страницу Пред.  1, 2, 3, 4, 5 ... 14  След.
Автор Сообщение
СообщениеДобавлено: Пятница, 23 Июль, 2010 03:57 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443
Ввести иерархическую детализацию отдельно взятой схемы "областным методом" на всё более формальном языке, как в 5-м техтребовании от меня. При этом, возможно, следует ограничиться двумя уровнями - неформальный язык (в иконах - свободный текст) и формальный язык (в иконах - прогтекст на выбранном прогязыке). При этом для начала формальный язык выбрать единственный и для него сделать корректную трансляцию в прогтекст (с учётом отдельно визуализированной структуры программы).
Впоследствии трансляция должна учитывать и визуализацию межпрограммного конструктива (когда будет определён его язык), если вхождение данной программы в таковой определено.

P.S. Ознакомился с книгой Карпова по Model Checking (анонсированной в этом сообщении) . Конечно, требует хорошей математической подготовки для полного понимания, но кое-какие изменения и дополнения в приложении техноязыка очевидны.
В частности, оправдано использовать в вышеуказанной иерархии как один из языков спецификации (уже формальный, но ещё не программирования) гибрид со входным языком системы симулирования-верификации (напр. ДРАКОН-Promela).
NB. Так мы, кстати, выходим на внешнюю симуляцию исполнения дракон-модели и не нужно её реализовать внутри РДП-среды. Ведь симуляция нам и нужна для тестирования алгоструктуры - а тут она уже интегрирована с верификацией, да ещё и в некоторых случаях всё это доступно бесплатно.
Естественно, как результат трансляции должен идти текст на этом входном языке в формате ModelChecking-системы.
В стандарте Promela опять видим цикл Дейкстры в качестве единственной циклической алгоструктуры, что не проблема а наоборот - ведь это "универсальная программа", и мы можем, в частности, реализовать в ЦД по переменной ИмяВетки и силуэт, как писал при обсуждении ЦД в этом подпункте. Собственно, это качественный подход к теореме, что любой силуэт м.б. представлен как цикл Дейкстры по переменной ИмяВетки. :) Возможны два подхода к поддержанию соответствия "ЦД-силуэт" в РДП-редакторе:
    * сочинять спецификацию-силуэт как ЦД от веточной переменной, а в редакторе заложить преобразование в силуэт при детализации;
    * сочинять всегда как силуэт, а для конкретного языка спецификации в редакторе преобразовывать в ЦД-текст (от автоматически вводимой переменной-имени ветки).
Второй подход считаю более логичным и естественным для сочинителя, пользующегося техноязыком. Возможно, язык типа Promela подойдёт и как язык представления межпрограммных конструктивов.

К чему всё это говорится именно здесь? А к тому, что верифицированную спецификацию мы далее детализируем на гибридном прогязыке.

Очень важно, что техноязык может использоваться в формализации знаний с самого начала, когда деятельность представлена как организационные процессы. На с. 260 приведено справедливое замечание разработчиков одной из систем их визуализации, что "формулы логики... также являются слишком сложными для использования менеджерами". Не знаю, что за формы они сделали для упрощения спецификации этих формул (м.б. редактор LTL-формул с контекстными подсказками), но можно приложить ДРАКОН также и здесь. Нужно визуализировать в РДП-среде формулы используемой для верификации темпоральной логики (возможно - каждой из множества *TL). Имеется в виду представление формулы как never-процесса. Соответственно описание транслируется в текст процесса для ModelChecking-системы.

Конечно, для каждого формального языка должна поддерживаться нормальная авторетрансляция текста из файла трансляции (возможно, обработанного внешними приложениями - той же ModelChecking-системой) в визуал (дракон-модель).
Конечно, для каждого формального языка должна поддерживаться нормальная авторетрансляция текста в визуал (дракон-модель).


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Пятница, 30 Июль, 2010 12:53 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 1657
Выпуск и.с. Drakon от 30.07.2010
Для тестирования.

1. При удалении иконы «Выбор», удаляется весь блок «Переключатель». Необходимо чтобы ветви всех вариантов кроме 1=й были пустыми.
2. При удалении иконы «Цикл ДЛЯ. Начало» или«Цикл ДЛЯ. Конец», удаляется весь блок «Цикл ДЛЯ». Необходимо чтобы блок был пустыми.
3. Удалении иконы «Вопрос», производится без выбора варианта удаления. Необходимо чтобы в правом выходе было пусто.
4. В сообщении «Лиану нельзя отделить от иконы - … - » теперь также указывается номер иконы.

До середины сентября новых выпусков и возможности отвечать не будет.


Последний раз редактировалось ==== Суббота, 25 Сентябрь, 2010 08:40, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Четверг, 05 Август, 2010 14:00 

Зарегистрирован: Четверг, 04 Июнь, 2009 15:08
Сообщения: 100
Геннадий Тышов писал(а):
Выпуск и.с. Drakon от 30.07.2010


Геннадий Николаевич! Так ведь вы прикрепили файл исходного проекта, а не ЕХЕ! Будьте поосторожнее! Ладно, там всего несколько строк, а если бы случайно вложили весь код?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Четверг, 05 Август, 2010 19:39 

Зарегистрирован: Четверг, 04 Июнь, 2009 15:08
Сообщения: 100
Геннадий Тышов писал(а):
[b]Выпуск и.с. Drakon от 19.07.2010


Да-а! Дорогой Геннадий Николаевич! Хоть Вас и нет, не могу сдержаться от восторга. Вот теперь программа стала дейстивтельно удобной. Можно бы внести некоторые поправки, но в общем это явление, причём единственное в мире. Примитивненькие старые Дракон-редакторы не стоят и малейшего внимания.

Геннадий Николаевич!!! Спасибо, Спасибо и Спасибо Вам! Ваш бесценный многолетний труд, бескорыстный и крайне необходимый, достоин низкого поклона.

Простите за лирику, не смог промолчать. Моя Вам благодарность - безгранична. И, уверен, далеко не только моя.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: ОШИБКА !
СообщениеДобавлено: Четверг, 05 Август, 2010 19:42 

Зарегистрирован: Четверг, 04 Июнь, 2009 15:08
Сообщения: 100
Первая ошибка:
В новой версии боковой комментарий не считается фигурой и часто накладывается на линии:


Вложения:
гНовый_1.png
гНовый_1.png [ 3.46 КБ | Просмотров: 19081 ]
вНовый_1.png
вНовый_1.png [ 3.44 КБ | Просмотров: 19081 ]


Последний раз редактировалось С. Тарасенко Четверг, 05 Август, 2010 19:54, всего редактировалось 1 раз.
Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ОШИБКА !
СообщениеДобавлено: Четверг, 05 Август, 2010 19:46 

Зарегистрирован: Четверг, 04 Июнь, 2009 15:08
Сообщения: 100
Вторая ошибка:
Простите за навязчивость, но прежняя ошибка не устранена.

1) ДО ПЕРЕСАДКИ:
Вложение:
Было.png
Было.png [ 2.16 КБ | Просмотров: 19089 ]


2) Нижний выход правого вопроса пересажен наверх для образования цикла:
Вложение:
Сталло.png
Сталло.png [ 2.13 КБ | Просмотров: 19089 ]


3) А должно быть:
Вложение:
Новая папка (3).gif
Новая папка (3).gif [ 2.62 КБ | Просмотров: 19089 ]


Последний раз редактировалось С. Тарасенко Четверг, 05 Август, 2010 19:52, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: ОШИБКА !
СообщениеДобавлено: Четверг, 05 Август, 2010 19:57 

Зарегистрирован: Четверг, 04 Июнь, 2009 15:08
Сообщения: 100
Третья ошибка новой версии:

Первая ветка называется "?Заголовок";
при попытке править её название это слово не исчезает, а приходится удалять вручную.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Совет
СообщениеДобавлено: Четверг, 05 Август, 2010 21:26 

Зарегистрирован: Четверг, 04 Июнь, 2009 15:08
Сообщения: 100
Четвёртый недостаток:
При нажатии Ctrl + любая стрелка перемещение фокуса происходит всегда в одной последовательности.

Предлагаю такую раскладку клавиш:


Вложения:
untitled1.gif
untitled1.gif [ 36.38 КБ | Просмотров: 19070 ]
Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Понедельник, 23 Август, 2010 14:01 

Зарегистрирован: Четверг, 04 Июнь, 2009 15:08
Сообщения: 100
А вот ещё оказия.

1) Создайте новый лист.
2) Вставьте "Развилку".
3) Слева от слова "Да" вставьте другую "Развилку".
4) В правом шампуре пересадите лиану из нижней точки ввода в верхнюю.

Вложение:
Новый_1.png
Новый_1.png [ 1.77 КБ | Просмотров: 18995 ]

Самое смешное, что можно продолжать работу.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Вторник, 24 Август, 2010 05:17 

Зарегистрирован: Воскресенье, 01 Ноябрь, 2009 05:13
Сообщения: 1443
С. Тарасенко писал(а):
А вот ещё оказия.

1) Создайте новый лист.
2) Вставьте "Развилку".
3) Слева от слова "Да" вставьте другую "Развилку".
4) В правом шампуре пересадите лиану из нижней точки ввода в верхнюю.

Вложение:
Новый_1.png

Самое смешное, что можно продолжать работу.

М-да, ну ладно, продолжим :)
Видимо, Вам, Станислав, надоело, что на каждый рисунок ставится копирайт Геннадия? :lol:
Если серьёзно, то текст копирайта Ты-среды и правда стоит уточнить... например, по такому принципу : Подготовлено в <имя-продукта> © <имя-разработчика-продукта> [индекс-версии-продукта].


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Суббота, 18 Сентябрь, 2010 08:48 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 1657
Выпуск и.с. Drakon от 10.09.2010
Для тестирования.
Прошу выдать отзывы, замечания и предложения по программе.

Вложение удалено.

DRAKON.exe - Программа и.с. DRAKON
DRAKON.chm - Справка к программе. Внесение изменений не завершено.
DRT_File.pas - Выборка из программного кода структуры файла *.drt, процедуры чтения и записи.
DrtToNew.exe - Программа преобразования файлов *.drt старого формата в новый формат используемый с сентября 2010.

Перечень внесенных изменений в программу:
Существенные изменения выделены.

1. Сделана прокрутка листа в окне графики перемещением мышки. При приближении курсора к границам поля графики и нажатой клавише Shift, лист сдвигается.

2. Прокрутка листа колесом мышки при нажатии «Ctrl» производится с большим шагом.

3. Редактирование линии сборки текста к иконе «СборкаТекста» производится без контекстного меню. Смотрите раздел «Работа с текстом / Сборка текста».

4. При загрузке программы производится удаление файлов *.TMP, хранимых более 24 часов.

5. Для отдельных пунктов контекстного меню назначены горячие клавиши Del, Ctrl+X, Ctrl+C, Ctrl+V – с традиционным действием.

6. Икона «Проект» переименована в икону «Модуль», что отображает смысл сборки модуля программного кода.

7. Память для графического поля выделяется по размеру листа. При нехватке памяти, размер поля уменьшается, т.е. программа адаптируется к ресурсам компьютера. В зависимости от ресурсов компьютера можно запускать несколько экземпляров программы.

8. Изменены главное меню, контекстные меню и строка статуса. Выполнены другие доработки для повышения эргономичности программы. Устранены замеченные сбои в работе программы.

9. Окно текста заменено окнами текстов схемы и файла. Окно файла выполняет роль буфера текста.

10. Введено копирование изображения листа или дракон-схемы в системный буфер - ClipBoard. Назначена горячая клавиша Ctrl+P. При нажатой клавише «Alt» копирование производится с сохранением отображения выбора. Возможно вставить изображение в Word и графические редакторы.

11. Иконы «ТекстВРамке», «Действие», «Комментарий», «Вставка», сходные по начертанию, и блок-шампур из них можно переносить между схемами «Гном» и «Примитив», «Силуэт».

12. Исключено создание цикла влево от шампура.

13. С сентября 2010 изменен формат файлов *.DRT. Ранее в строках файла применялся 2 различных разделителя данных – пробел и запятая. Сейчас, только запятая. Формат (A) файла полностью соответствует формату CSV или формату SDF (system data format).

14. Создана программа конвертирования формата файлов в обоих направлениях. Учтены все изменения формата за 2009 и 2010 годы.

15. Расширено использование списка точек возврата (гипертекст), в главном меню пункты «<=Назад», «=>», «X». Точкой возврата можно назначить лист, схему, икону, при переходах для иконы «Вставка», при выборе и переходах для иконы «Адрес».

16. Расширен состав точек ввода. Через точки ввода вставляются ветка схемы «Силуэт», иконы «Заголовок» и «Вариант». Введены точки ввода на горизонтальной линии объединения.

17. При удалении иконы «Выбор», удаляется весь блок «Переключатель». Необходимо чтобы ветви всех вариантов кроме 1=й были пустыми.

18. При удалении иконы «Цикл ДЛЯ. Начало» или «Цикл ДЛЯ. Конец», удаляется весь блок «Цикл ДЛЯ». Необходимо чтобы блок был пустыми.

19. Удаление иконы «Вопрос» производится без выбора варианта удаления. Производиться при не нагруженной лиане правого вывода.

20. В сообщении «Лиану нельзя отделить от иконы - … - » теперь также указывается номер иконы.


Последний раз редактировалось ==== Воскресенье, 17 Октябрь, 2010 13:26, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Понедельник, 11 Октябрь, 2010 20:29 

Зарегистрирован: Четверг, 21 Январь, 2010 18:06
Сообщения: 63
Откуда: Нижний Новгород
Геннадий Тышов писал(а):
Выпуск и.с. Drakon от 10.09.2010


Геннадий Николаевич!
При прыгании по схемам в режиме "Картотека" переход на схему происходит, но каждый раз появляется попытка выделения "шампур-блока". Это довольно неудобно.

В целом вариант понравился, но на больших листах (где много элементов и схем) тормозит силнее, чем предыдущий... Нельзя ли что-нибудь сделать?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Понедельник, 11 Октябрь, 2010 21:00 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 1657
Петр Приклонский, спасибо за отзыв по программе и замечания.

Цитата:
каждый раз появляется попытка выделения "шампур-блока". Это довольно неудобно.
Да, есть такое при кратком по продолжительности нажатии. При более продолжительном нажатии, пунктирная рамка не появляется.

Цитата:
но на больших листах (где много элементов и схем) тормозит силнее,
Может быть стоит разносить много схем на несколько листов, ведь есть возможность оперативно переключать листы: выбор листа; переход на схему от икона "Вставка"; формирование списка "<=Назад" для листов, схем, икон. Большой лист сложно просматривать и сложно печатать.

Посмотрим, что можно сделать. Прошу, при возможности. выслать файлы больших листов.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Вторник, 12 Октябрь, 2010 07:45 

Зарегистрирован: Четверг, 21 Январь, 2010 18:06
Сообщения: 63
Откуда: Нижний Новгород
Геннадий Тышов писал(а):
Прошу, при возможности. выслать файлы больших листов.


Предлагаю Вашему вниманию лист описывающий namespase DrtAToText (классы транслятора drt-файла формата A в си-код).


Вложения:
DrtAToText.drt [48.07 КБ]
Скачиваний: 644
Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Среда, 13 Октябрь, 2010 19:37 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 1657
Выпуск и.с. Drakon от 14.10.2010
Для тестирования.
Прошу выдать отзывы, замечания и предложения по программе.

Вложение удалено.

DRAKON.exe - Программа и.с. DRAKON
DRAKON.chm - Справка к программе. Внесение изменений не завершено.
DRT_File.pas - Выборка из программного кода структуры файла *.drt, процедуры чтения и записи.
DrtToNew.exe - Программа преобразования файлов *.drt старого формата в новый формат используемый с сентября 2010.

Перечень внесенных изменений в программу (есть повторения из предыдущего выпуска):

1. Создана программа конвертирования формата файлов в обоих направлениях. Учтены все изменения формата за 2009 и 2010 годы.

2. Расширено использование списка точек возврата (гипертекст), в главном меню пункты «<=Назад», «=>», «X». Точкой возврата можно назначить лист, схему, икону, при переходах для иконы «Вставка», при выборе и переходах для иконы «Адрес».

3. Расширен состав точек ввода. Через точки ввода вставляются ветка схемы «Силуэт», иконы «Заголовок» и «Вариант». Введены точки ввода на горизонтальной линии объединения.

4. В главное меню введено переключение вариантов применения программы. Изменены наименования вариантов, сейчас: «Технология Графит», «Средняя школа», «Просмотр алгоритмов», предусмотрена фиксация варианта применения.

5. Уточнена логика визуализации веточных циклов. Запрещено присоединение иконы «Заголовок» в середину веточного цикла.

6. Уточнена логика размещения точек ввода.

7. Улучшен алгоритм раскладки графа дракон-схем в части бокового присоединения икон. Замечание - С. Тарасенко.

8. При двойном клике на элементе с текстом открывается окно текста схемы, при двойном клике вне элемента с текстом окно текста схемы закрывается.

9. Сделана прокрутка в окне текста файла колесиком мышки.

10. При двойном клике и нажатой клавише «Ctrl», в окне текстов выделяется слово и выполняется попытка открыть файл с именем соответствующим этому слова, в т.ч. файл *.drt .

11. Введено копирование изображения листа или дракон-схемы в системный буфер - ClipBoard. Назначена горячая клавиша Ctrl+P. При нажатой клавише «Shift» (изменено, было "Alt") копирование производится с сохранением отображения выбора. Возможно, вставить изображение в Word и графические редакторы.

12. Устранено появление пунктирной рамки при выборе другой схемы в режиме «Картотека». Замечание - Петр Приклонский.

13. Наблюдается замедленная реакция при работе с листом, имеющим много схем. При работе с одной схемой перерисовывается только эта схема, а не весь лист. Замечание - Петр Приклонский.

14. В главном меню введен пункт «Удалить файл листа».


Последний раз редактировалось ==== Воскресенье, 17 Октябрь, 2010 13:27, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Четверг, 14 Октябрь, 2010 14:13 

Зарегистрирован: Четверг, 21 Январь, 2010 18:06
Сообщения: 63
Откуда: Нижний Новгород
Геннадий Тышов писал(а):
Выпуск и.с. Drakon от 14.10.2010

Скорость прорисовки увеличилась... , но теперь при переключении со схемы на схему лист прыгает по скроллингу. Этого не было в предыдущей версии. (Режим картотека).


Последний раз редактировалось Петр Приклонский Пятница, 15 Октябрь, 2010 13:31, всего редактировалось 1 раз.

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Пятница, 15 Октябрь, 2010 13:29 

Зарегистрирован: Четверг, 21 Январь, 2010 18:06
Сообщения: 63
Откуда: Нижний Новгород
Геннадий Тышов писал(а):
Выпуск и.с. Drakon от 14.10.2010

Есть ошибка при рокировке ветвей развилки. Меняется маршрут.
До рокировки
Вложение:
До_1.png
До_1.png [ 9.59 КБ | Просмотров: 18530 ]

После рокировки
Вложение:
После_1.png
После_1.png [ 9.6 КБ | Просмотров: 18530 ]

(Кстати сохранение *.png в этой версии у меня что-то не получилось..?)


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Пятница, 15 Октябрь, 2010 17:49 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 1657
Петр Приклонский

Спасибо, будем разбираться.

Цитата:
(Кстати сохранение *.png в этой версии у меня что-то не получилось..?)
Сохранение в *.png перенесено из главного меню в контекстное меню листа и схемы.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Пятница, 15 Октябрь, 2010 18:27 

Зарегистрирован: Четверг, 21 Январь, 2010 18:06
Сообщения: 63
Откуда: Нижний Новгород
Геннадий Тышов писал(а):
Сохранение в *.png перенесено из главного меню в контекстное меню листа и схемы.

Это я нашел. Но файл не сохраняется при выборе этого пункта меню...


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: Тестирование и.с. Drakon
СообщениеДобавлено: Пятница, 15 Октябрь, 2010 19:07 

Зарегистрирован: Воскресенье, 06 Апрель, 2008 14:43
Сообщения: 1657
Петр Приклонский, спасибо.

Да, надо исправить.


Вернуться к началу
 Профиль  
 
Показать сообщения за:  Поле сортировки  
Начать новую тему Ответить на тему  [ Сообщений: 273 ]  На страницу Пред.  1, 2, 3, 4, 5 ... 14  След.

Часовой пояс: UTC + 3 часа


Кто сейчас на конференции

Сейчас этот форум просматривают: нет зарегистрированных пользователей и гости: 12


Вы не можете начинать темы
Вы не можете отвечать на сообщения
Вы не можете редактировать свои сообщения
Вы не можете удалять свои сообщения
Вы не можете добавлять вложения

Найти:
cron
Вся информация, размещаемая участниками на конференции (тексты сообщений, вложения и пр.) © 2008-2024, участники конференции «DRAKON.SU», если специально не оговорено иное.
Администрация не несет ответственности за мнения, стиль и достоверность высказываний участников, равно как и за безопасность материалов, предоставляемых участниками во вложениях.
Powered by phpBB® Forum Software © phpBB Group
Русская поддержка phpBB