DRAKON.SU

Сергей, ваша схема в основном правильная.

Замечания.

1. В иконе 49 вместо фразы
"Воздействие на ученого 2"
написать
"Воздействие от другого ученого",
а вместо фразы
"хлопает коллегу по руке для остановки движения"
написать
"От другого ученого поступил сигнал Занято"

2. В иконе Заголовок написать содержательное название алгоритма.

3. В иконе "Имя ветки" написать содержательное название ветки.

4. Тышов использовал не рекомендуемые мной линии начала и конца параллельных процессов.

Сергей, вы спрашивали по Занимательную информатику и учителей.
Посмотрите здесь
Учитель информатики Веснин Сергей Николаевич
viewtopic.php?f=139&t=7162&hilit=%D0%B2%D0%B5%D1%81%D0%BD%D0%B8%D0%BD
У меня есть все его контакты

Вот так подойдёт?

Да, подойдет.

Основное замечание

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


Мелкие замечания

1. Название в иконе Заголовок нельзя начинать с цифры. Надо писать "Два".

2. Первая буква во всех иконах Прописная (иконы 39, 40, 59, 46, 51, 56).

3. Если в иконах 49, 54 написать "От другого ученого поступил сигнал Занято", получим более общий случай, когда ученые могут находиться в разных комнатах.

Примечание

У Тышова есть режим, удаляющий нумерацию икон.

Я увидел много грубых ошибок в вашей дракон-схеме, даже не с точки зрения нотации, а с точки зрения логики.



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

2. Есть логическое противоречие между иконами 39, 40 и 50, 55. Если машина всегда ready, зачем ждать когда она будет ready? То есть упущен принцип работы кофемашины, это затрудняет восприятие. Да и кстати иконы 39 и 41 противоречат по смыслу. Если мы ждём состояния ready, зачем потом проверять достигла ли кофемашина этого состояния?

3. По логике представленного алгоритма, если машина работает, учёный кидает монетку в монетоприёмник, потом оказывается, что другой учёный кинул монетку раньше и ждёт кофе. Тогда исполнитель ждёт, пока машина снова заработает, и ... снова кидает монетку. В результате, в примере с двумя учёными, если один учёный пришёл раньше другого, то опоздавшему кофемашина сделает 2 кофе, а не 1, по количеству монеток. Для примера с N учёными алгоритм разорителен.

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

5. Я не понял механизма хлопка по руке. Учёный просто хлопнул коллегу, но ранее в алгоритме нет обработки этого действия - не со стороны хлопающего, а со стороны того, по кому хлопают. Если бы была икона вопрос "Коллега хлопнул по руке?" и икона Ждать (что вместе составляет макроикону "Цикл ждать"), тогда бы это было предусмотрено. Но на мой взгляд хлопать не имеет смысла, если другой учёный стоит у автомата и автомат уже жужжит, готовя кофе.

6. Связка между иконами 49 и 51 очень странная. Машина начинает работать только после хлопка по руке другому учёному? Опять же вопрос к принципу работы кофемашины, но я таких ещё не видел.

7. Текст в иконах разного стиля, лучше выбрать один. Либо повелительное наклонение ("брось монетку", "хлопни по руке", "подожди"), либо неопределённая форма глагола ("бросить", "хлопнуть", "подождать"). И вот, например, иконы 32 и 52 имеют повелительное наклонение, но обращённое к разным исполнителям - человеку и кофемашине. Для обозначения разных исполнителей алгоритма используются иконы - консольный ввод, консольный вывод и полка.

8. Действия кофемашины для разных учёных одинаково, поэтому иконы 50-53 можно вынести под параллельное исполнение, сократив тем самым схему

Я попробовал сделать алгоритм с учётом увиденных ошибок.


На самом деле алгоритм можно интерпретировать для всего одного исполнителя, потому что действия учёных в этом процессе одинаковы, какая разница первый он или второй. Чтобы поискать реализацию параллельного исполнения с блокировками, можно посмотреть задачу обедающих философов например, но даже там алгоритм можно описать с точки зрения одного философа, это и в программном коде так делается.

[quote="Alex_st_Tomsk"]Я увидел много грубых ошибок в вашей дракон-схеме, даже не с точки зрения нотации, а с точки зрения логики.

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

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

2. Есть логическое противоречие между иконами 39, 40 и 50, 55. Если машина всегда ready, зачем ждать когда она будет ready? То есть упущен принцип работы кофемашины, это затрудняет восприятие. Да и кстати иконы 39 и 41 противоречат по смыслу. Если мы ждём состояния ready, зачем потом проверять достигла ли кофемашина этого состояния?

У кофемашины в принципе 2 состояния рабочих busy или ready
в схеме иконы 50,51 это иконы состояния машины
икона 39 это икона которая именно даёт понимание учёным что машина занята, логическим проблем не вижу.

3. По логике представленного алгоритма, если машина работает, учёный кидает монетку в монетоприёмник, потом оказывается, что другой учёный кинул монетку раньше и ждёт кофе. Тогда исполнитель ждёт, пока машина снова заработает, и ... снова кидает монетку. В результате, в примере с двумя учёными, если один учёный пришёл раньше другого, то опоздавшему кофемашина сделает 2 кофе, а не 1, по количеству монеток. Для примера с N учёными алгоритм разорителен.

по задаче
учёные одновременно решили попить кофе и двнулись к аппарату
и оба совершили желание совершить бросок монеты
один из них успел первым и остановил другого хлопком руки

ready это когда машина выдала кофе и готова принять монету
busy это машина в работе тут под вопросом как быстро машина переключается в работу после попадания ученого в щель запуска.

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

Здесь вы возможно правы, добавил после критики.

5. Я не понял механизма хлопка по руке. Учёный просто хлопнул коллегу, но ранее в алгоритме нет обработки этого действия - не со стороны хлопающего, а со стороны того, по кому хлопают. Если бы была икона вопрос "Коллега хлопнул по руке?" и икона Ждать (что вместе составляет макроикону "Цикл ждать"), тогда бы это было предусмотрено. Но на мой взгляд хлопать не имеет смысла, если другой учёный стоит у автомата и автомат уже жужжит, готовя кофе.

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

6. Связка между иконами 49 и 51 очень странная. Машина начинает работать только после хлопка по руке другому учёному? Опять же вопрос к принципу работы кофемашины, но я таких ещё не видел.

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


7. Текст в иконах разного стиля, лучше выбрать один. Либо повелительное наклонение ("брось монетку", "хлопни по руке", "подожди"), либо неопределённая форма глагола ("бросить", "хлопнуть", "подождать"). И вот, например, иконы 32 и 52 имеют повелительное наклонение, но обращённое к разным исполнителям - человеку и кофемашине. Для обозначения разных исполнителей алгоритма используются иконы - консольный ввод, консольный вывод и полка.

Использую ИС Дракон Тышова там есть икона полка но я использовал вывод так как подумал что будет лучше и понятнее логически.

8. Действия кофемашины для разных учёных одинаково, поэтому иконы 50-53 можно вынести под параллельное исполнение, сократив тем самым схему

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

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

Ну я сути задачи так и не понял. В параллельном процессе должен возникнуть какой-то стоп для другого исполнителя? Возможно, нужен более подходящий пример. Очередь к кофейному автомату - это очередь, тут сложно вклиниться и поменять порядок монет в монетоприёмнике.

Да согласен задача очень замороченная и не учитывает интелегентность учёных. Очень жёсткие условия учёные конечно не будут бодатся за кофе машину, они быстрее заставят выдавать две чашки одну за другой

вот его комментарий очередной

workflow - это формулы движения маркера. Например, action (оно же activity в BPMN, function в EPC и т.п.) - это задержка маркера в этом элементе, например, на время случайное, распределенное по такому то закону.

Question - маркер попадает на вход и выходит из какого либо выхода. Аналоги шлиз, event и т.п. Однако, как ведет себя маркер в других иконах - не понятно. Например, Output. На схеме workflow - каждый элемент должен быть "про маркер".

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


мой ответ
Да, вы попали в суть. ДРАКОН действительно не был создан для формального workflow-моделирования в том смысле, который вы описываете. И книга Паронджанова "Как улучшить работу ума" это подтверждает — он создавался как "суперязык интеллектуального общения" для космических проектов, где главной задачей было заставить сотни институтов понимать друг друга.

Про маркеры и семантику движения — вы правы на 100%. В ДРАКОНе есть четкая концепция "дракон-поезда", но она коммуникационная, а не процессная. Когда я рисовал схему с Output'ами, я решал задачу "как объяснить директору, что происходит", а не "как формально описать движение токена". Это принципиально разные задачи.

И вот тут главный фокус. Возьмите приложенную схему кофе-автомата. Видите эти параллельные ветки с двумя учеными, синхронизацию через "монеткоприёмник", условия ожидания? По этой ДРАКОН-схеме я объясню любому руководителю за 5 минут всю логику работы системы. То, что в BPMN или текстовом регламенте потребует намного больше времени для объяснений.

Вот в чем фокус — в 95% бизнес-случаев эта "неформальность" не баг, а фича. У меня была похожая ситуация при описании: две параллельные ветки процесса (прием заказа + проверка склада), и я действительно описывал их синхронизацию словами в комментариях. Работало прекрасно — потому что главная боль бизнеса не в том, что процесс работает на 87% эффективности вместо 92%. Главная боль — в том, что люди друг друга не понимают и тратят часы на объяснения.

А теперь конструктивная часть. Вы описываете потребности двух совершенно разных миров:

Мир бизнес-коммуникации — где ДРАКОН король. Директор смотрит на схему 5 минут и говорит: "Понятно, делаем". Новый сотрудник за день въезжает в логику работы.

Мир математического моделирования — где нужны Петри-сети, формальные семантики и точные расчеты пропускной способности.

Первый мир составляет 95% всех бизнес-задач. Второй — это специальные ниши: производственные линии, высоконагруженные системы, финансовые алгоритмы.

ДРАКОН — это не универсальная отмычка для математического моделирования. Это революционный инструмент экономии времени на коммуникацию. Когда вместо 40-минутных объяснений достаточно 5 минут — это и есть главная ценность для бизнеса. А точное математическое моделирование — следующий этап, для узких специальных задач.

Спасибо, что помогли мне еще четче обозначить одно из главных преимуществ инструмента — скорость понимания.

Сергей, ещё раз. Нужна задача, постановка, что дано, что требуется.
Вы приводите комментарии, обсуждение уже сделанного, а где же истоки? Я понял задачу как понял, сделал дракон-схему, на что Вы ответили - красиво, но задачу не решает. Вот я и спрашиваю, в чём задача? На что обратить внимание при распаралелливании действий?

Как я вижу:

Дано: N действующих лиц, 1 объект взаимодействия
Принцип работы объекта взаимодействия: обработка очереди
Условие работы: с объектом взаимодействия может взаимодействовать только 1 действующее лицо. Во время взаимодействия возможности активности других лиц с объектом заблокированы
Необходимо: описать алгоритм взаимодействия действующего лица с объектом взаимодействия