论文部分内容阅读
介绍TPN和B方法的集成,并将之运用在Web Service中。通过对TPN的底层模型进行修改,将原有的节点、变迁、托肯等替换成为B方法中的抽象机和替换,集成后的形式化技术称为TPN-B网,其本身就是一种高级的Petri网。给出由BPEL4WS到TPN-B网的转换,通过对数据、操作和流程的不同的转换,实现对Web Service的描述。