Research Article
Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding
Algorithm 7
Determining the (unary) basic predicate alwoccur.
function ALWOCCUR | Input: A taskID , a process model | Output: A boolean value | begin | RetrieveBigraphs; | return (RetrieveAllEvents |
|