DRAKON.SU

Текущее время: Вторник, 19 Март, 2024 04:59

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




Начать новую тему Ответить на тему  [ Сообщений: 25 ]  На страницу 1, 2  След.
Автор Сообщение
 Заголовок сообщения: WorkFlow формулами
СообщениеДобавлено: Четверг, 15 Июнь, 2023 22:41 

Зарегистрирован: Среда, 11 Январь, 2023 10:34
Сообщения: 32
Есть ли примеры формализации WorkFlow (WF) алгоритмов (вкл. Дракон) формулами, системой уравнений, матрицами переходов и т.п.
На входе WF-схема, на выводе математика и наоборот и без потерь информации.
Полистал тему "Теоретические основы языка ДРАКОН", но вроде не нашел.
Чем закончилось:
Надо создать теорию языка ДРАКОН на основе теории графов
viewtopic.php?f=148&t=6705
Или не начиналось?

Про сети Петри знаю, но что-то не находил примеров даже WF-(Петри) сетей (переходы по условию, параллельное ветвление и т.п.).
У Шалыто А.А. что-то похожее в "Язык «Графсет» и графы переходов", но не разобрался как это на обычный WF (в нотации простого\советского WF, ЕРС, Дракона, BPMN и т.п.) переложить:
https://is.ifmo.ru/books/switch_pdf/_switch12.pdf


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Пятница, 16 Июнь, 2023 08:17 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5844
Откуда: Москва
Dmitry_23 писал(а):
Есть ли примеры формализации WorkFlow (WF) алгоритмов (вкл. Дракон) формулами, системой уравнений, матрицами переходов и т.п.
На входе WF-схема, на выводе математика и наоборот и без потерь информации.
По-моему, таких примеров нет.
Есть отдельные частные примеры. См. стр. 141, 169, глава 32 в книге: https://drakon.su/_media/23_zhizneritm22.pdf

Dmitry_23 писал(а):
Надо создать теорию языка ДРАКОН на основе теории графов
viewtopic.php?f=148&t=6705

Вы ставите интересные вопросы. Посмотрите, что пишет Владимир Шелехов на нашем форуме. Шелехов предложил В.Н. Касьянову разработать теорию графов для ДРАКОНа, но Касьянов не заинтересовался.
Дело Касьянова продолжает его дочь. Можете попытаться с ней связаться.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Пятница, 16 Июнь, 2023 13:19 

Зарегистрирован: Среда, 11 Январь, 2023 10:34
Сообщения: 32
Цитата:
Есть отдельные частные примеры. См. стр. 141, 169, глава 32 в книге:

Этого (статика) не достаточно. Нужно добавлять динамику, например, наподобие Петри.
Тут важно, что не обязательно для Дракона добавить еще "один язык, под названием Математика", нужно научиться хоть какой-нибудь WF описывать математикой, а уже помом этот подход транслировать на иную нотацию, хоть Дракон, хоть BPMN.

Цитата:
Дело Касьянова продолжает его дочь. Можете попытаться с ней связаться.

Это как?

Заодно вопрос: Есть ли на Драконе что-то подобное: www.bpsimulator.com


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Пятница, 16 Июнь, 2023 14:55 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5844
Откуда: Москва
Цитата:
Дело Касьянова продолжает его дочь. Можете попытаться с ней связаться.

Dmitry_23 писал(а):
Это как?

https://pdb.iis.nsk.su/person/290
https://cyberleninka.ru/article/n/preds ... ka-graphml
https://www.system-informatics.ru/ru/author/kasyanova
https://pdb.iis.nsk.su/person/417


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Пятница, 16 Июнь, 2023 17:17 
Аватара пользователя

Зарегистрирован: Вторник, 04 Октябрь, 2011 17:45
Сообщения: 585
Dmitry_23 писал(а):
Есть ли примеры формализации WorkFlow (WF) алгоритмов (вкл. Дракон) формулами, системой уравнений, матрицами переходов и т.п.
На входе WF-схема, на выводе математика и наоборот и без потерь информации.

Дракон-схема — это ориентированный (направленный) граф.
Граф — это и есть "математика" дракон-схем.
Графы обычно не представляют в виде формул или систем уравнений.


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

Мне, например, нравятся двоичные графы, потому что они простые.
DrakonWidget и основанный на нём drakonpro.ru используют двоичные графы (метод Ашкрофта-Манны).

Вот схема:
Вложение:
Ехать на работу.png
Ехать на работу.png [ 12.58 КБ | Просмотров: 1283 ]


А вот соответствующий бинарный граф Ашкрофта-Манны в формате JSON.
Ссылка на левый потомок хранится в поле one, а ссылка на правый — в поле two.
Код:
{
    "items": {
        "2": {
            "type": "branch",
            "branchId": 0,
            "one": "3"
        },
        "3": {
            "flag1": 0,
            "type": "question",
            "two": "4",
            "one": "5",
            "content": "<p>Идёт дождь?</p>"
        },
        "4": {
            "type": "action",
            "one": "1",
            "content": "<p>Возьми автобус</p>"
        },
        "5": {
            "type": "action",
            "one": "1",
            "content": "<p>Езжай на велосипеде</p>"
        },
        "1": {
            "type": "end"
        }
    },
    "type": "drakon",
    "name": "Ехать на работу"
}


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Пятница, 16 Июнь, 2023 22:04 

Зарегистрирован: Среда, 11 Январь, 2023 10:34
Сообщения: 32
Степан, не нашел в Вашем ответе математики: матрицу переходов, систему уравнений и т.п.
Цитата:
Графы обычно не представляют в виде формул или систем уравнений.

А как же цепи Маркова, сети Петри и т.п.?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Суббота, 17 Июнь, 2023 10:04 

Зарегистрирован: Пятница, 01 Апрель, 2022 12:31
Сообщения: 63
Степан Митькин писал(а):
Ссылка на левый потомок хранится в поле one, а ссылка на правый — в поле two.

А почему не в логичных и понятных "yes" и "no"?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Суббота, 17 Июнь, 2023 13:08 
Аватара пользователя

Зарегистрирован: Вторник, 04 Октябрь, 2011 17:45
Сообщения: 585
tonyk писал(а):
Степан Митькин писал(а):
Ссылка на левый потомок хранится в поле one, а ссылка на правый — в поле two.

А почему не в логичных и понятных "yes" и "no"?

Лучше было бы "вниз" и "вправо".

"Да" и "Нет" использовать нельзя, потому что в иконе Вопрос можно менять местами выходы "Да" и "Нет".
Иногда вниз идёт "Да", иногда вниз идёт "Нет".

Для исполнителя алгоритма не важно, как в пространстве расположены выходы из иконы Вопрос, но для отрисовки дракон-схемы это важно.


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Суббота, 17 Июнь, 2023 13:16 
Аватара пользователя

Зарегистрирован: Вторник, 04 Октябрь, 2011 17:45
Сообщения: 585
Dmitry_23 писал(а):
Степан, не нашел в Вашем ответе математики:

Ну так сделайте математику!


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Понедельник, 19 Июнь, 2023 06:19 

Зарегистрирован: Пятница, 01 Апрель, 2022 12:31
Сообщения: 63
Степан Митькин писал(а):
"Да" и "Нет" использовать нельзя, потому что в иконе Вопрос можно менять местами выходы "Да" и "Нет".

А как тогда человеку проверить правильность сгенерированного json-файла? И как кодогенератор определит, где ветка "истина", а где "ложь"?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Понедельник, 19 Июнь, 2023 08:49 
Аватара пользователя

Зарегистрирован: Вторник, 04 Октябрь, 2011 17:45
Сообщения: 585
tonyk писал(а):
А как тогда человеку проверить правильность сгенерированного json-файла? И как кодогенератор определит, где ветка "истина", а где "ложь"?


Если значение поля flag1 иконы Вопрос равно 1, то "Да" идёт вниз.
Если значение поля flag1 равно 0, то "Да" идёт вправо.
Код:
        "3": {
            "flag1": 0,
            "type": "question",
            "two": "4",
            "one": "5",
            "content": "<p>Идёт дождь?</p>"
        },


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Понедельник, 19 Июнь, 2023 13:25 

Зарегистрирован: Пятница, 01 Апрель, 2022 12:31
Сообщения: 63
Степан Митькин писал(а):
Если значение поля flag1 иконы Вопрос равно 1, то "Да" идёт вниз.
Если значение поля flag1 равно 0, то "Да" идёт вправо.

То есть строго выполняется правило: "да"- вниз, "нет"- вправо?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Вторник, 20 Июнь, 2023 08:42 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5844
Откуда: Москва
tonyk писал(а):
То есть строго выполняется правило: "да"- вниз, "нет"- вправо?

Нет, не так.
Во всех программных реализациях ДРАКОН-конструктора (у Тышова, у Митькина, у Ильченко) реализована операция Да/Нет, позволяющая менять местами Да и Нет.

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

см. viewtopic.php?p=107027#p107027


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Вторник, 20 Июнь, 2023 09:52 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 1356
Владимир Паронджанов писал(а):
В проектируемой программе Муравицкого-Степанова наряду с операцией Да/Нет появилась еще одна полезная операция, при которой одновременно меняются местами прицепленные к ним гирлянды икон.

Это не является какой то новой операцией.
В языке Дракон изначально существует операция "Рокировка" имеющая такую функциональность.


Последний раз редактировалось LKom Вторник, 20 Июнь, 2023 10:06, всего редактировалось 2 раз(а).

Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Вторник, 20 Июнь, 2023 10:01 

Зарегистрирован: Пятница, 01 Апрель, 2022 12:31
Сообщения: 63
Владимир Паронджанов писал(а):
Нет, не так.
Во всех программных реализациях ДРАКОН-конструктора (у Тышова, у Митькина, у Ильченко) реализована операция Да/Нет, позволяющая менять местами Да и Нет.

Это я знаю. Вопрос был в том, как, глядя на json-представление диаграммы, определить где ветвь "да", а где "нет"?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Четверг, 22 Июнь, 2023 19:30 

Зарегистрирован: Пятница, 01 Апрель, 2022 12:31
Сообщения: 63
tonyk писал(а):
Владимир Паронджанов писал(а):
Нет, не так.
Во всех программных реализациях ДРАКОН-конструктора (у Тышова, у Митькина, у Ильченко) реализована операция Да/Нет, позволяющая менять местами Да и Нет.

Это я знаю. Вопрос был в том, как, глядя на json-представление диаграммы, определить где ветвь "да", а где "нет"?

Я спросил о чём-то неприличном, что мне никто не хочет или стесняется ответить на, вроде бы, простой вопрос?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Четверг, 22 Июнь, 2023 21:06 

Зарегистрирован: Среда, 07 Январь, 2015 14:53
Сообщения: 1356
tonyk писал(а):
Я спросил о чём-то неприличном, что мне никто не хочет или стесняется ответить на, вроде бы, простой вопрос?
В каждой реализации Дракон-редактора использовано своё решение.
К примеру, в ИС Дракон Тышов использует в текстовых файлах формат CSV, без отображения наименования реквизитов.
Ответить на Ваш вопрос не просто. Скорее всего не понятно, зачем Вам нужно выяснять частное решение?


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Четверг, 22 Июнь, 2023 22:59 

Зарегистрирован: Воскресенье, 24 Февраль, 2008 15:32
Сообщения: 5844
Откуда: Москва
tonyk писал(а):
Я спросил о чём-то
Я не могу ответить, так как не знаю внутренних особенностей программной реализации ДРАКОН-конструкторов (за исключением ряда случаев, таких как исчисление икон и др.).


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Пятница, 23 Июнь, 2023 00:23 
Аватара пользователя

Зарегистрирован: Вторник, 04 Октябрь, 2011 17:45
Сообщения: 585
tonyk писал(а):
Я спросил о чём-то неприличном, что мне никто не хочет или стесняется ответить на, вроде бы, простой вопрос?


Так я же ответил.
Поле flag1 отвечает за расположение меток Да и Нет.


Если значение поля flag1 иконы Вопрос равно 1, то "Да" идёт вниз.
Если значение поля flag1 равно 0, то "Да" идёт вправо.
[


Вернуться к началу
 Профиль  
 
 Заголовок сообщения: Re: WorkFlow формулами
СообщениеДобавлено: Пятница, 23 Июнь, 2023 06:49 

Зарегистрирован: Пятница, 01 Апрель, 2022 12:31
Сообщения: 63
Степан Митькин писал(а):
Если значение поля flag1 иконы Вопрос равно 1, то "Да" идёт вниз.
Если значение поля flag1 равно 0, то "Да" идёт вправо.

То есть связи между условием, записанным в ромбике, и его результатом нет? Просто отмечено, что на диаграмме будет рисовать снизу, а что справа?


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

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


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

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


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

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