Research Article

Dynamic and Quantitative Method of Analyzing Service Consistency Evolution Based on Extended Hierarchical Finite State Automata

Table 2

Transition lists of ’s partial consistency states.

Current state Next state

(1, 1, 1) ((1, 1, 1), ) (0, 1, 1)
(1, 1, 1) ((1, 1, 1), ) (1, 1, 0)
(1, 1, 1) ((1, 1, 1), ) (1, 0, 1)
(1, 1, 0) ((1, 1, 0), ) (0, 1, 0)
(1, 1, 0) ((1, 1, 0), ) (1, 1, 1)
(1, 1, 0) ((1, 1, 0), ) (1, 0, 0)
(1, 0, 1) ((1, 0, 1), ) (0, 0, 1)
(1, 0, 1) ((1, 0, 1), ) (1, 0, 0)
(1, 0, 1)a 5 ((1, 0, 1), ) (1, 1, 1)
(1, 0, 0) ((1, 0, 0), ) (0, 0, 0)
(1, 0, 0) ((1, 0, 0), ) (1, 1, 0)
(1, 0, 0)a 6 ((1, 0, 0), ) (1, 0, 1)