Research Article
Efficient Semantics-Based Compliance Checking Using LTL Formulae and Unfolding
Table 3
Response times to execute eight sample compliance rules over the three datasets.
| | | | Candidate | Returned | Response | | Queries | models | models | time [ms] | | | | SAP | IBM | AG | SAP | IBM | AG | SAP | IBM | AG |
| | [] posoccur | 5 | 2 | 3674 | 5 | 2 | 3674 | 2.9 | 53 | 85 | | [] alwoccur | 4 | 2 | 3307 | 1 | 1 | 286 | 7.6 | 131 | 374 | | [] posoccur and [] alwoccur | 6 | 1 | 1646 | 2 | 1 | 143 | 11.4 | 193 | 411 | | [] concur [] | 1 | 1 | 603 | 1 | 0 | 22 | 17.5 | 318 | 1392 | | [] exclusive [] | 1 | 2 | 549 | 1 | 0 | 18 | 18.6 | 360 | 1451 | | [] pospred [] | 1 | 1 | 552 | 1 | 1 | 72 | 12.8 | 294 | 633 | | [] alwpred [] | 3 | 1 | 540 | 1 | 1 | 46 | 14.7 | 253 | 804 | | [] pospred [] or [] alwpred [] | 4 | 1 | 593 | 2 | 0 | 33 | 12.5 | 187 | 638 |
|
|
