Publikace na Matematicko-fyzikální fakulta |
2012
Abstrakt
Pracovní postup (workflow) je popis libovolného procesu, například obchodního nebo výrobního, který se skládá z jednotlivých aktivit (operací) navzájem provázaných temporálními a kauzálními vazbami. Zahnízděný pracovní postup má specifickou hierarchickou strukturu danou vznikem procesu postupnou dekompozicí úloh na úlohy jednodušší.
Jeho základní výhodou je vnitřní korektnost, tj. garance existence platného procesu pro každou aktivitu. Při přidání dodatečným podmínek tato vlastnost přestane platit a pracovní postup je pro garanci korektnosti potřeba explicitně verifikovat, což je obecně NP-úplný problém. Článek popisuje techniku verifikace takových pracovních postupů založenou na splňování omezujících podmínek.