Dmitry_23 писал(а):
Есть ли примеры формализации WorkFlow (WF) алгоритмов (вкл. Дракон) формулами, системой уравнений, матрицами переходов и т.п.
На входе WF-схема, на выводе математика и наоборот и без потерь информации.
На входе WF-схема, на выводе математика и наоборот и без потерь информации.
Дракон-схема — это ориентированный (направленный) граф.
Граф — это и есть "математика" дракон-схем.
Графы обычно не представляют в виде формул или систем уравнений.
Для одной и той же дракон-схемы граф можно построить по-разному.
Важно не включать в граф избыточную информацию.
Мне, например, нравятся двоичные графы, потому что они простые.
DrakonWidget и основанный на нём drakonpro.ru используют двоичные графы (метод Ашкрофта-Манны).
Вот схема:
Вложение:
Ехать на работу.png [ 12.58 КБ | Просмотров: 1601 ]
А вот соответствующий бинарный граф Ашкрофта-Манны в формате 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": "Ехать на работу"
}
"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": "Ехать на работу"
}