计算机应用与软件2009，Vol.26Issue(11)：77-80,4.
TPN和B方法集成的形式化技术在Web Service中的应用
APPLYING THE FORMAL TECHNIQUE OF INTEGRATED TPN AND B METHOD IN WEB SERVICE
摘要
关键词
TPN/B方法/WebService/BPEL4WS分类
信息技术与安全科学引用本文复制引用
姜梦稚..TPN和B方法集成的形式化技术在Web Service中的应用[J].计算机应用与软件,2009,26(11):77-80,4.基金项目
本文受上海市教委优青项目资助(29-008-2). （29-008-2）
