10.3969/j.issn.1000-386X.2009.11.025
TPN和B方法集成的形式化技术在Web Service中的应用
介绍TPN和B方法的集成,并将之运用在Web Service中.通过对TPN的底层模型进行修改,将原有的节点、变迁、托肯等替换成为B方法中的抽象机和替换,集成后的形式化技术称为TPN-B网,其本身就是一种高级的Petri网.给出由BPEL4WS到TPN-B网的转换,通过对数据、操作和流程的不同的转换,实现对Web Service的描述.
TPN、B方法、WebService、BPEL4WS
26
TP3;P23
上海市教委优青项目资助29-008-2
2010-01-15(万方平台首次上网日期,不代表论文的发表时间)
共4页
77-80