Vi definierar Access-kontrollerade Temporal Networks (ACTN) som en förlängning av villkorliga enkla Temporal Networks med osäkerhet (CSTNUs). CSTNU kan hantera funktioner som betingade varaktigheter och villkorliga begränsningar, och har därför använts för att modellera de tidsbundna begränsningarna i arbetsflöden underliggande affärsprocesser. CSTNU kan dock inte modellera användare och behörighetsbegränsningar, och kan därför inte modellera "vem kan göra vad, när". ACTN löser detta problem genom att lägga till användare och behörighetsbegränsningar som måste beaktas tillsammans med tidsbegränsningar. ACTN:s dynamiska kontrollförmåga säkerställer att det finns en genomförandestrategi som kan tilldela auktoriserade användare uppgifter dynamiskt och som uppfyller alla relevanta behörighetskrav oavsett vilka villkorade varaktigheter som visar sig vara eller vilka villkorliga begränsningar som måste beaktas. Vi visar att DC kontroll kan göras via Timed Game Automata och ge experimentella resultat med UPAAL-TIGA på en konkret real-world fallstudie.
Därefter, i REF, Combi et al. Föreslagna Access Controlled Temporal Networks för att modellera tidsplaner (under tidsmässig och villkorlig osäkerhet) förstärkt med användare och tillståndsbegränsningar.
Access Controlled Temporal Networks
{'venue': 'ICAART', 'journal': None, 'mag_field_of_study': ['Computer Science']}