Ett arbetsflöde är en samling steg som måste utföras i någon specifik ordning för att uppnå ett mål. Ett datoriserat arbetsflödeshanteringssystem kan driva igenom behörighetspolicyer och begränsningar och därigenom begränsa vilka användare som kan utföra särskilda steg i ett arbetsflöde. Förekomsten av policys och begränsningar kan innebära att ett arbetsflöde är otillfredsställande, i den meningen att det är omöjligt att hitta en auktoriserad användare för varje steg i arbetsflödet och uppfylla alla begränsningar. I detta dokument överväger vi problemet med att hitta den "minst dåliga" tilldelningen av användare till arbetsflöde steg genom att tilldela en vikt till varje policy och begränsning överträdelse. I detta syfte inför vi en ram för att koppla samman kostnader med överträdelser av arbetsflödespolicyer och begränsningar och definiera det uppskattade arbetsflödet tillfredsställande problem (Valued WSP), vars lösning är en tilldelning av steg till användare av lägsta kostnad. Vi etablerar den beräkningsmässiga komplexiteten hos Värderad WSP med användaroberoende begränsningar och visar att det är fast-parameter dragbar. Vi beskriver sedan en algoritm för att lösa Värderade WSP med användaroberoende begränsningar och utvärdera dess prestanda, jämföra den med en off-the-shelf blandade heltal programmeringspaket.
I REF, Crampton et al. studerade den Värderade WSP för att hitta den "minst dåliga" planen, dvs. en plan som maximerar antalet nöjda begränsningar.
Valued Workflow Satisfiability Problem
{'venue': "SACMAT '15", 'journal': None, 'mag_field_of_study': ['Mathematics', 'Computer Science']}