Skip to main content

TableĀ 6 Correctness of the semantic framework for successful and failure cases

From: Incremental stages of a semantic framework for automating the changes on long term composed services

C-ID C-Type (CT) Constraint (con) Status (ST) No. of nodes No. of valid nodes No. of invalid nodes Reaching final state
1 New Qos Success (S) 5 5 0 1
2 New Qos Success (F) 7 5 0 1
3 New Functionality Failure 5 3 2 0
4 New Functionality Success 7 7 0 1
5 New Functionality Success 5 5 0 1
6 New Qos Failure 5 4 1 0
7 New Functionality Failure 5 3 2 0
8 Change existing Rule Success 7 7 0 1
9 Change existing Rule Success 5 5 0 1
10 Change existing Rule Failure 5 3 2 0
11 Change existing Rule Failure 3 3 0 1
12 Change existing Policy Failure 4 3 2 0
13 Change existing Policy Success 7 7 0 1
14 Change existing Policy Success 5 5 0 1
15 Change existing Policy Success 3 3 0 1
16 Change existing Policy Success 4 4 0 1
17 Removal Policy Success 4 4 0 1
18 Removal Policy Failure 7 5 2 0
19 Removal Rule Success 5 5 0 1
20 Removal Rule Failure 7 6 1 0
21 Removal Policy Failure 5 3 2 0
22 Removal Policy Success 5 5 0 1