摘要
通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用,对Web服务进行描述,Pi演算在描述Web服务具有相当的优势,但其在数据定义和操作描述方面有一定的不足.通过集成Z语言,利用其在数据类型的检测和定义,以及操作定义的精确性等优势,弥补了Pi演算在Web服务描述过程中的不足.
The Pi calculus and Z language were integrated to describ web service choreography. Pi calculus has some advantages in describing web service, but it has some shortages in data definition and operation description,and also it can not do some data checking. The technique which integrates the Pi calculus and Z language may make up for the shortages of Pi calculus.
出处
《上海工程技术大学学报》
CAS
2009年第1期51-55,共5页
Journal of Shanghai University of Engineering Science
基金
上海市高校选拔培养优秀青年教师科研专项基金资助项目(29-008-2)
关键词
PI演算
Z语言
WEB服务组合
形式化技术集成
Pi calculus
Z language
Web service choreography
formalized technique integration
