En arbetsflödesspecifikation definierar en uppsättning steg och den ordning i vilken dessa steg måste utföras. Säkerhetskrav kan innebära begränsningar för vilka grupper av användare som får utföra undergrupper av dessa steg. En arbetsflöde specifikation sägs vara tillfredsställande om det finns en tilldelning av användare till arbetsflöde steg som uppfyller alla begränsningar. En algoritm för att avgöra om ett sådant uppdrag finns är viktig, både som ett statiskt analysverktyg för arbetsflödesspecifikationer och för konstruktion av referensmonitorer för drifttid för arbetsflödeshanteringssystem. Att hitta ett sådant uppdrag är ett svårt problem i allmänhet, men arbete av Wang och Li 2010 med hjälp av teorin om parameteriserad komplexitet tyder på att effektiva algoritmer finns under rimliga antaganden om arbetsflödesspecifikationer. I det här dokumentet förbättrar vi komplexitetsgränserna för problem med tillfredsställande arbetsflöden. Vi generaliserar och utökar också de typer av begränsningar som kan definieras i en arbetsflödesspecifikation och bevisar att problemet med tillfredsställande förblir fast-parameter hanterbart för sådana begränsningar.
I REF, har de också presenterat fasta parameteriserade dragbara algoritmer för arbetsflödet tillfredsställande problem.
On the parameterized complexity of the workflow satisfiability problem
{'venue': "CCS '12", 'journal': None, 'mag_field_of_study': ['Computer Science']}