智能与分布计算实验室

Web 服务相容性的形式化描述与分析

出版社:
  • 出版社:
  • 页数::28-33
  • 出版年:2007
摘要内容:

Web服务的相容性分析是为了保证多个 Web 服务之间的正确交互。基于 Pi-演算对 Web 服务的相容性进行了形式化的分析, 给出了二个Web 服务之间相容性的两个形式化定义。 同时定义了二个Web 服务进程之间的投影操作, 在此基础上给出了多个 Web 服务之间相容性的形式化定义。

关键词:
  • Web服务相容性;Web 服务;Pi-演算