Application of Typed Pi Calculus in Web Service Choreography
-
摘要: 通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势, 弥补了Pi演算在Web服务描述过程中的不足.
点击查看大图
计量
- 文章访问数: 142
- HTML全文浏览量: 41
- PDF下载量: 38
- 被引次数: 0