基于扩展自动机的服务组合静态与动态验证方法
张广泉,狄浩军,石慧娟,晏荣杰,朱雪阳
通信学报 . 2012, (Z1): 1 -8 .