Automatická verifikace podmínek v zahnízděných pracovních postupech

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.

Klíčová slova

• automatická verifikace podmínek
• zahnízděné pracovní postupy
• plánování
• workflow
• splňování podmínek