论文部分内容阅读
通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用，对Web服务进行描述，Pi演算在描述Web服务具有相当的优势，但其在数据定义和操作描述方面有一定的不足．通过集成Z语言，利用其在数据类型的检测和定义，以及操作定义的精确性等优势，弥补了Pi演算在Web服务描述过程中的不足．
类型化Pi演算在Web服务组合中的应用
【摘 要】
：
通过集成Pi演算和Z语言两种形式化技术及其在Web服务组合中应用，对Web服务进行描述，Pi演算在描述Web服务具有相当的优势，但其在数据定义和操作描述方面有一定的不足．通过集成Z语
【机 构】
：
上海电机学院电子信息学院
【出 处】
：
上海工程技术大学学报
【发表日期】
：
2009年1期
其他文献
“看金秋艳阳，欢迎七百三代表共聚香格里拉 为香飘四海，喜自四十五国家同商香料事业”今年的IFEAT国际精油和香料贸易协会大会于十月十八日至廿二日在上海隆重举行，大会的主题是