TPN和B方法集成的形式化技术在Web Service中的应用

• 作者: 姜梦稚
• 来源期刊: 计算机应用与软件
• 学科: 工学
• 关键词: TPN B方法 WebService BPEL4WS
• 年，卷（期）: 2009,（11）
• 所属期刊栏目: 基金项目论文
• 页码范围: 77-80
• 页数: 4页
• 分类号: TP3
• 字数: 3263字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-386X.2009.11.025

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	姜梦稚	上海电机学院电子信息学院	7	20	3.0	4.0