Research Article
Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding
Table 1
LTL formulae in SPS.
| Pattern | Scope | LTL Formula | Pattern | Scope | LTL Formula |
| | Global | | | Global | | | Before | | | Before | | Absence | After | | Universality | After | | | Between and | | | Between and | | | After until | | | After Until | |
| | Global | | | Global | | | Before | | | Before | | Existence | After | | Precedence | After | | | Between and | | ( precedes ) | Between and | | | After until | | | After until | |
| | Global | | | | Before | | | Response | After | | | ( responds ) | Between and | | | | After until | | |
|
|