一种基于抽象与精化技术的Web服务组合验证方法

陈国彬1，任〓强2,张广泉2,3

A Verification Method for Web Services Combination Based on Abstract and Refinement Techniques

CHEN Guobin1,REN Qiang2,ZHANG Guangquan2,3

计算机工程与科学 . 2011, (9): 76 -80 .