一种时序约束下的Web服务组合兼容性的定量验证方法
郑宇迪,叶恒舟
桂林理工大学学报 . 2015, (3): 607 -610 .