Ett datoriserat arbetsflödeshanteringssystem kan driva igenom en säkerhetspolicy, specificerad i form av auktoriserade åtgärder och begränsningar, vilket begränsar vilka användare som kan utföra särskilda steg i ett arbetsflöde. Förekomsten av en säkerhetspolicy kan innebära att det är omöjligt att hitta en giltig plan (en tilldelning av steg till auktoriserade användare så att alla begränsningar är uppfyllda). Arbetet i litteraturen fokuserar på arbetsflödets tillfredsställande problem, ett beslutsproblem som resulterar i en giltig plan om instansen är tillfredsställande (och ett negativt resultat annars). I detta dokument introducerar vi bi-målarbetsflödet tillfredsställande problem (BO-WSP), som gör det möjligt för oss att lösa optimeringsproblem relaterade till arbetsflöden och säkerhetspolicyer. I synnerhet kan vi beräkna en "minst dålig" plan när vissa delar av säkerhetspolitiken kan komma att kränkas. I allmänhet är BO-WSP intractable ur både klassisk och parameteriserad komplexitet synvinkel. Vi visar att det finns en fast-parameter dragbar (FPT) algoritm för att beräkna en Pareto front för BO-WSP om vi begränsar vår uppmärksamhet till användaroberoende begränsningar. Vi presenterar också en andra algoritm för att beräkna en Pareto front som använder blandade heltal programmering (MIP). Vi jämför prestandan för båda våra algoritmer på syntetiska instanser, och visar att FPT algoritm överträffar MIP-baserade en efter flera storleksordningar på de flesta fallen. Slutligen studerar vi den viktiga frågan om workflow reiliency och visar på nya resultat som visar att kända beslutsproblem är fasta-parameter hanterbara när de begränsas till användaroberoende begränsningar. Vi föreslår sedan ett nytt sätt att modellera tillgängligheten för användarna och visa att många frågor som rör motståndskraft inom ramen för denna nya modell kan reduceras till fall av
Crampton m.fl. REF studerade den bi-mål WSP, som är problemet med att minimera två viktfunktioner i samband med ett giltigt genomförande scenario.
The Bi-Objective Workflow Satisfiability Problem and Workflow Resiliency
{'venue': 'ArXiv', 'journal': 'ArXiv', 'mag_field_of_study': ['Computer Science']}