Dynamisk arbetsflödesjustering studerar hur man minimalt justerar befintliga användaruppgifter, när en plötslig förändring sker, t.ex. avsaknad av användare, så att alla uppgifter är närvarande och ingen begränsning överträds. I synnerhet studerar vi två nyckelfrågor: (i) Kommer arbetsflödet fortfarande att vara tillfredsställande med en förändring? ii) Om svaret är ja, hur skall man då finna ett tillfredsställande uppdrag med minsta möjliga oro för den gamla ordningen? Vi överväger olika typer av förändringar, inklusive frånvaro av en användare, tillägg av en separation-of-duty restriktion, tillägg av en bindning-of-duty restrict, och återkallande av en användare-to-task behörighet, studera sina teoretiska egenskaper och formulera dem i välstuderade Boolean satisfiability problem, vilket gör det möjligt för en systemingenjör utan mycket teknisk bakgrund att lösa problem genom att använda standard satisfiability lösare. Ett steg längre, mot effektivare lösningar för våra specifika problem, föreslår vi anpassade algoritmer genom att anpassa och skräddarsy toppmoderna algoritmer inuti standardlösare. Vårt arbete skulle få konsekvenser för hantering av affärsprocesser, bemanning och kostnadsplanering.
I REF, Lu et al. studerade den dynamiska arbetsflödesjusteringen, dvs. hur man minimalt justerar befintliga uppgiftsanvändares uppgifter när en plötslig förändring, t.ex. frånvaro av användare, inträffar.
Dynamic Workflow Adjustment with Security Constraints
{'venue': 'DBSec', 'journal': None, 'mag_field_of_study': ['Computer Science']}