Research Article
A Workflow Criticality-Based Approach to Bypass the Workflow Satisfiability Problem
| | //if a Task T is NonDelegable => its NonPreemptable. | | | // if a Task T is Delegable => its Preemptable. | | (1) | if T is Optional then Pr(T) ⟵ 0 | | (2) | else if T is Delay-Sensitive and NonDelegable then | | (3) | if T is NonInterruptible then Pr(T) ⟵ 1 | | (4) | else if T is Interruptible then Pr(T) ⟵ 0.8 | | (5) | end if | | (6) | else if T is Delay-Sensitive and Delegable then | | (7) | if T is NonInterruptible and NonPreemptable then Pr(T) ⟵ 1 | | (8) | else if T is Interruptible and NonPreemptable then Pr(T) ⟵ 0.8 | | (9) | else Pr(T) ⟵ 0.6 /∗ for NonInterruptible and Preemptable or interruptible and Preemptable. ∗/ | | (10) | end if | | (11) | else if T is NonDelay-Sensitive and NonDelegable then | | (12) | if T is NonInterruptible then Pr(T) ⟵ 0.8 | | (13) | else if T is Interruptible then Pr(T) ⟵ 0.6 | | (14) | end if | | (15) | else if T is NonDelay-Sensitive and Delegable then | | (16) | if T is NonInterruptible and NonPreemptable then Pr(T) ⟵ 0.6 | | (17) | else if T is Interruptible and NonPreemptable then Pr(T) ⟵ 0.4 | | (18) | else Pr(T) ⟵ 0.2 | | (19) | end if | | (20) | end if |
|
