web service interface control flow automata (WCFA)

• web服务接口控制流自动机