类型化Pi演算在Web服务组合中的应用

• 作者: 姜梦稚
• 来源期刊: 上海工程技术大学学报
• 学科: 工学
• 关键词: Pi演算 Z语言 Web服务组合 形式化技术集成
• 年，卷（期）: 2009,（1）
• 页码范围: 51-55
• 页数: 5页
• 分类号: TP312
• 字数: 3620字
• 语种: 中文
• DOI: 10.3969/j.issn.1009-444X.2009.01.014

摘要

通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.

作者信息

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