Figure 6From: A verification strategy for web services composition using enhanced stacked automata model Transition diagram for airline reservation system. Back to article page