采用动作时序逻辑的Web服务组合方法

周宁1,2 , 刘慧3 , 王红兵3 , 谢俊元1,2

Web Service Composition Approach Based on Temporal Logic of Action

ZHOU Ning ^1,2, LIU Hui ³, WANG Hongbing ³, XIE Junyuan ^1,2

计算机科学与探索 . 2011, (3): 208 -220 .