文摘

形式化描述和验证研究语义web服务基于pi演算的组合

作者(年代):Qinglin徐

在当今高度发达的信息社会,互联网在我们的日常生活中已经成为一种必要。但是很多人可能不知道互联网背后的智慧和秘密。为了进一步了解互联网,本论文将首先介绍Web服务的性质以及实际应用价值,并讨论了动态系统的相对不足的问题在Web服务组合会导致一些标准化的缺陷。改善上面的描述和验证问题,本文研究Web服务定义的概念,语法,规则和操作语义,并比较其与π,找出它们之间的对应关系的元素。然后,通过Pi演算系统建模BPEL4WS服务组合和测试通过的例子。