DRAKON.SU
https://forum.drakon.su/

Функциональная неполнота Дракона
https://forum.drakon.su/viewtopic.php?f=62&t=4540
Страница 1 из 2

Автор:  ==== [ Пятница, 11 Октябрь, 2013 18:33 ]
Заголовок сообщения:  Функциональная неполнота Дракона

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

Передача сообщений - это всего лишь, один из способов передачи команд параллельному процессу и является программной реализацией функций иконы "Параллельный процесс".

Икона "Вывод" не имеет функционального назначения воздействовать на другие процессы, она лишь пересылает информацию.

http://forum.oberoncore.ru/viewtopic.php?f=78&t=2215&start=260&p=44379&view=show#p44379
Владислав Жаринов 14 Март, 2010 писал(а):
В ДРАКОНе, ... реализована только отправка сообщений другому процессу (группе процессов?). ... Приём в ДРАКОНе из-за отсутствия пары получается неявным; ...
Мне кажется оправданной парность операторов, хотя бы из соображений ясности использования сообщений процессом-адресатом (адресатами?)
Давно стало очевидным - в Драконе имеется функциональная неполнота, т.к. определена икона передачи команд параллельному процессы, но нет иконы с функцией приема команды параллельным процессом.

Вызвано это частными решениями в системе Графит-флокс и отсутствием решения для общего применения в языке Дракон.

(модератор, 12 окт 2013 18:11 мск) тема выделена из viewtopic.php?f=62&t=4532 согл. пп. 2.1 и 3.3
(модератор, 14 окт 2013 22:04 мск) исправлен заголовок темы согл. п. 3.2.

Автор:  Владимир Паронджанов [ Суббота, 12 Октябрь, 2013 13:16 ]
Заголовок сообщения:  Re: Графический алфавит языка ДРАКОН на английском языке

Геннадий Тышов писал(а):
Давно стало очевидным - в Драконе имеется функциональная неполнота, т.к. определена икона передачи команд параллельному процессу, но нет иконы с функцией приема команды параллельным процессом.

Вызвано это частными решениями в системе Графит-флокс и отсутствием решения для общего применения в языке Дракон.


Геннадий Николаевич, это очень важное замечание. Если есть функциональная неполнота, ее следует устранить

У меня просьба. Откройте новую тему, посвященную специально этому вопросу. И в ней:

1. Подробно изложите Ваши соображения.

2. Дайте предложение, как должна выглядеть новая икона.

3. И приведите примеры ее использования.

Автор:  ==== [ Суббота, 12 Октябрь, 2013 14:20 ]
Заголовок сообщения:  Re: Графический алфавит языка ДРАКОН на английском языке

Владимир Паронджанов писал(а):
Геннадий Николаевич, это очень важное замечание. Если есть функциональная неполнота, ее следует устранить.
У меня просьба.
...
Дайте предложение, как должна выглядеть новая икона.

Вариант 1.

К иконам "Вопрос" и "Выбор" с левой стороны должно выполняться боковое присоединение иконы с начертанием "Параллельный процесс".
Это решение аналогично применению иконы "Синхронизатор".

Икону назовем "Прием команды".
В сочетании с иконой "Вопрос" производится переход по отсутствию команды или поступлению конкретной команды.
В сочетании с иконой "Выбор" производится переход по отсутствию команды из определенного набора команд или переход в соответствии с поступившей командой.

=============

Вариант 2.

В варианте 1, функции приема команды параллельным процессом и выбора направления потока управления объединены.

Разделим эти функции, икона "Прием команды" не будет связана с иконами "Вопрос" и "Выбор" боковым присоединением.

В этом варианте, начертание иконы "Прием команды" аналогично начертанию иконы "Параллельный процесс", верхняя часть иконы сдвинута влево.

Вариант 2 не создает дополнительных ограничений на построение алгоритма.

Автор:  ==== [ Воскресенье, 13 Октябрь, 2013 07:05 ]
Заголовок сообщения:  Re: Предложение Геннадия Тышова о новой иконе

Данная тема вырезана из другой тема.

Для понимания причины 1-го сообщения и всей темы прошу смотреть сообщение http://forum.oberoncore.ru/viewtopic.php?p=82901#p82901.

Автор:  Ильченко Эдуард [ Понедельник, 14 Октябрь, 2013 10:47 ]
Заголовок сообщения:  Re: Предложение Геннадия Тышова о новой иконе

Геннадий Тышов писал(а):
Ильченко Эдуард нарушает язык Дракон - команды параллельным процессам должны передаваться иконой "Параллельный процесс", а не иконой "Вывод".

Передача сообщений - это всего лишь, один из способов передачи команд параллельному процессу и является программной реализацией функций иконы "Параллельный процесс".

Икона "Вывод" не имеет функционального назначения воздействовать на другие процессы, она лишь пересылает информацию.
Икона "Параллельный процесс" запускает таковой, но не передаёт параметры/сообщения уже существующему процессу.

Иконы "Ввод" "Вывод" отлично подходят для передачи сообщений параллельным процессам. В них прописывается кому/куда и что.

Вывод сообщения, например на принтер, это передача сообщения параллельному процессу?

Автор:  Ильченко Эдуард [ Понедельник, 14 Октябрь, 2013 10:50 ]
Заголовок сообщения:  Re: Предложение Геннадия Тышова о новой иконе

Геннадий Тышов писал(а):
Давно стало очевидным - в Драконе имеется функциональная неполнота, т.к. определена икона передачи команд параллельному процессы, но нет иконы с функцией приема команды параллельным процессом.
Возможно, неполнота и существует, но не в части передачи сообщений в параллельные процессы.

Автор:  Дмитрий Дагаев [ Понедельник, 14 Октябрь, 2013 14:27 ]
Заголовок сообщения:  Re: Предложение Геннадия Тышова о новой иконе

Хотелось бы увидеть "Предложение Геннадия Тышова о новой иконе":
картинку и текст к ней.

Автор:  Владислав Жаринов [ Вторник, 15 Октябрь, 2013 10:06 ]
Заголовок сообщения:  Re: Предложение Геннадия Тышова о новой иконе

Ильченко Эдуард писал(а):
Геннадий Тышов писал(а):
Ильченко Эдуард нарушает язык Дракон - команды параллельным процессам должны передаваться иконой "Параллельный процесс", а не иконой "Вывод".

Передача сообщений - это всего лишь, один из способов передачи команд параллельному процессу и является программной реализацией функций иконы "Параллельный процесс".

Икона "Вывод" не имеет функционального назначения воздействовать на другие процессы, она лишь пересылает информацию.
Икона "Параллельный процесс" запускает таковой, но не передаёт параметры/сообщения уже существующему процессу.

Иконы "Ввод" "Вывод" отлично подходят для передачи сообщений параллельным процессам. В них прописывается кому/куда и что.

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

В общем, если в этой ветке в очередной раз поднят вопрос о представлении и контроле качества в части "декларативного знания, содержащегося в исходной программе" (Как улучшить, Рис. 100), то тут мы приходим (и тоже не в первый раз) к вопросу представления "части знания о подразумеваемом исполнителе программы". В ряде методологий разработки, претендующих на гарантоспособность, соотвествующие проблемы так или иначе решены - прежде всего у "автоматчиков" (группой Шалыто по-своему, в Statemate по-своему). Кстати, в ГРАФИТ-ФЛОКС тоже есть решения, как можно понять из описания... так что критиковать её на том основании, что оно, возможно, "частное", нет смысла... кто может - пусть делает то, что считает нужным...

А вот что словарные определения должны включать не только графику, но и неграфическую часть, это да... что получается при игнорировании этого на реальной аудитории, описал здесь...

Что можно сказать с учётом этого по конкретным замечаниям:

По определению от автора исходного техноязыка, Параллельный процесс "отлично подходят для передачи сообщений параллельным процессам". Ибо в нём также "прописывается кому/куда и что"... вот только для понимания этого нужно изучать авторские примеры в книгах... :)

Передача сообщений может трактоваться и как общий механизм взаимодействия процессов. Например, так: для одноранговых систем процессов "Пуск" и "Останов" - это сообщения существующему процессу-адресату возобновиться (начаться) и приостановиться (завершиться). Для иерархических систем (это с вызовами процедур, сиречь Вставками) можно считать, что вход во вставку - это сообщение об инициализации процесса, а выход - о возврате с результатом. Сама же Вставка - сообщение о создании экземпляра процесса (подлежащего ликвидации в дальнейшем по выполнении неких условий). Аналогично можно и для параллельных (одноранговых) процессов определить сообщения "Создать" и "Снять" процесс... вот только выполнять это всё будет не сам процесс, а некие внешние средства... Например, конструкторы/деструкторы процессов... Так?

А Ввод/Вывод могут сочетаться с обменом сообщения в случаях, представленных выше...

Автор:  Владимир Паронджанов [ Среда, 16 Октябрь, 2013 13:37 ]
Заголовок сообщения:  Re: Предложение Геннадия Тышова о новой иконе

Дмитрий Дагаев писал(а):
Хотелось бы увидеть "Предложение Геннадия Тышова о новой иконе":
картинку и текст к ней.
Поддерживаю.

Нужна картинка, текст к ней и примеры

Автор:  ==== [ Суббота, 19 Октябрь, 2013 20:39 ]
Заголовок сообщения:  Re: Функциональная неполнота Дракона

Владимир Паронджанов писал(а):
Нужна картинка, текст к ней и примеры


http://forum.oberoncore.ru/viewtopic.php?p=83099#p83099
ИС Дракон доработан, выпуск от 18.10.2013.

Язык Дракон расширен введением иконы Команда для приема команд параллельным процессом.
Пример применения и описание использования иконы Команда смотрите там же.

Автор:  Ильченко Эдуард [ Воскресенье, 20 Октябрь, 2013 12:07 ]
Заголовок сообщения:  Re: Функциональная неполнота Дракона

Геннадий Тышов писал(а):
Язык Дракон расширен введением иконы Команда для приема команд параллельным процессом.
Теперь можно говорить о функциональной избыточности Дракона : )

Автор:  Владислав Жаринов [ Пятница, 25 Октябрь, 2013 16:17 ]
Заголовок сообщения:  Re: Функциональная неполнота Дракона

Да вроде нет. :) Единственное что - несколько "неожиданно" оформление отправки сообщения посредством Вставки... впрочем, этот оператор традиционно в ИС несёт множество разных нагрузок... :) что можно найти, например, в обсуждениях на изиэлектроникс... Ну и совмещение с реализацией ожидания... наверное, это может делать и некий управляющий процесс...

Автор:  ==== [ Четверг, 31 Октябрь, 2013 23:34 ]
Заголовок сообщения:  Функциональная неполнота Дракона

Владимир Паронджанов писал(а):
Дмитрий Дагаев писал(а):
Хотелось бы увидеть "Предложение Геннадия Тышова о новой иконе":
картинку и текст к ней.
Поддерживаю.

Нужна картинка, текст к ней и примеры

Есть все, что нужно, прошло достаточно времени.

Владимир Даниелович, кроме принятия чьей либо стороны, что Вы скажете о функциональной неполноте Дракона, о предложенном расширении.

Автор:  Владимир Паронджанов [ Пятница, 01 Ноябрь, 2013 19:13 ]
Заголовок сообщения:  Re: Функциональная неполнота Дракона

Мне кажется, это в значительной мере статистическая задача.

Геннадий Николаевич, по-моему, Вы поступили правильно, сделав доработку программы ИС Дракон и предложив пользователям воспользоваться новой опцией. Таким образом, Вы создали условия для статистического эксперимента. Теперь нужно дождаться результатов Вашего эксперимента.

Иными словами, нужно подождать отзывов пользователей, чтобы понять, как часто и для каких целей пользователи будут использовать эту новую опцию. Мне кажется, это процесс очень небыстрый. И мы получим подобные отзывы (если получим вообще) через год или даже через два.

Вы говорите, что времени прошло достаточно. Эту мысль я не понял.
Достаточно для чего?

По-моему, время здесь будет измеряться годами. Ну, или месяцами (если повезет).

Автор:  ==== [ Воскресенье, 03 Ноябрь, 2013 07:49 ]
Заголовок сообщения:  Re: Функциональная неполнота Дракона

Владимир Даниелович,

как то Вы все пустили на самотек, отказались от роли разработчика языка Дракон, заняли выжидательную позицию для того что бы прибиться (присоединится) к берегу, на который вынесет течение.

От Вас ожидалась заинтересованная экспертная оценка и законодательное решение в части развития языка Дракон.

Для целенаправленного развития сред применения языка Дракон важно уже сейчас иметь Ваше заключение и решение.


На НПЦАП, колыбели языка Дракон, должны быть специалисты по языку языку Дракон, заинтересованные в его развитии. ведь Вы писали о необходимости модернизации существующей системы Графит-Флокс.
Появление на форуме заинтересованных специалистов с НПЦАП давно ожидается.

Автор:  Владислав Жаринов [ Воскресенье, 03 Ноябрь, 2013 07:53 ]
Заголовок сообщения:  Re: Функциональная неполнота Дракона

Да, разумеется, и заключение, обоснованное той теорией алгоритмизации "независимых параллельных действий" как "обычных" процедур, которой отдаётся предпочтение...

Автор:  Ильченко Эдуард [ Воскресенье, 03 Ноябрь, 2013 11:42 ]
Заголовок сообщения:  Re: ИС Дракон. Выпуск от ...

Геннадий Тышов писал(а):
1. В связи с неполной функциональностью языка Дракон (см. здесь, вариант 1) в ИС Дракон введена икона "Команда" с левым боковым присоединением к иконам Вопрос и Выбор.

Геннадий Тышов писал(а):
Вложение:
пм.png
пм.png [ 40.28 КБ | Просмотров: 21284 ]

На мой взгляд, схема без иконы "Команда" ничем не хуже (см. ниже), а в некоторых аспектах даже лучше.
Например, связка Команда-Команда выглядит несколько натянутой.
Вложение:
дв.png
дв.png [ 59.92 КБ | Просмотров: 21283 ]

Автор:  ==== [ Воскресенье, 03 Ноябрь, 2013 11:52 ]
Заголовок сообщения:  Re: ИС Дракон. Выпуск от ...

Язык Дракон является визуальным.
На Вашей схеме не просматривается функциональность поступления или отсутствие команды от параллельных процессов.

Вы хотите наделить иконы Вопрос и Выбор не свойственными им функциями по проверке наличия команд и их приему?

Это будет не правильно.

Автор:  Ильченко Эдуард [ Воскресенье, 03 Ноябрь, 2013 12:40 ]
Заголовок сообщения:  Re: ИС Дракон. Выпуск от ...

Геннадий Тышов писал(а):
Вы хотите наделить иконы Вопрос и Выбор не свойственными им функциями по проверке наличия команд и их приему?

Иконы Вопрос и Выбор реализуют универсальную функцию по проверке чего-либо. Это могут быть и команды от параллельного процесса. Зависит от контекста, в котором рассматривается алгоритм. И который (контекст) описан другими документами (не ДРАКОН-схемами).

Автор:  ==== [ Воскресенье, 03 Ноябрь, 2013 13:24 ]
Заголовок сообщения:  Re: ИС Дракон. Выпуск от ...

Вы говорите о реализации функционирования, а надо говорить о визуализации функционирования.

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

Страница 1 из 2 Часовой пояс: UTC + 3 часа
Powered by phpBB® Forum Software © phpBB Group
https://www.phpbb.com/