杭州师范大学学报（自然科学版）2010，Vol.9Issue(5)：385-391,7.DOI:10.3969/j.issn.1674-232X.2010.05.014
基于SPIN的BPEL4WS建模与验证研究
Researches on the Modeling and Verification of BPE14WS Based on Spin
孙军梅 1周娇蓉1
作者信息
- 1. 杭州师范大学,信息科学与工程学院,浙江,杭州,310036
- 折叠
摘要
关键词
Web服务组合/模型检测/SPIN/BPEL4WS分类
信息技术与安全科学引用本文复制引用
孙军梅,周娇蓉..基于SPIN的BPEL4WS建模与验证研究[J].杭州师范大学学报（自然科学版）,2010,9(5):385-391,7.
