基于B方法的Web Service组合描述和验证方法
王帅强;万建成;侯金奎;冯仕红
Approach of Describing and Verifying Web Service Composition Using B-method
WANG Shuai-qiang; WAN Jian-cheng; HOU Jin-kui; FENG Shi-hong
计算机工程
.
2007, (19): 19
-22,4
.
DOI: 10.3969/j.issn.1000-3428.2007.19.007