1. 首页
  2. 移动开发
  3. 其他
  4. 论文研究 Web服务相容性的形式化描述与分析.pdf

论文研究 Web服务相容性的形式化描述与分析.pdf

上传者: 2020-07-16 16:51:36上传 PDF文件 1.8MB 热度 13次
Web服务的相容性分析是为了保证多个Web服务之间的正确交互。基于Pi-演算对Web服务的相容性进行了形式化的分析,给出了二个Web服务之间相容性的两个形式化定义。同时定义了二个Web服务进程之间的投影操作,在此基础上给出了多个Web服务之间相容性的形式化定义。
用户评论