您的位置： 专家智库 > >

王功震

作品数：1 被引量：3H指数：1
供职机构：西安交通大学电子与信息工程学院更多>>
发文基金：国家自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

合作作者

文献类型

  • 1篇中文期刊文章

领域

  • 1篇自动化与计算...

主题

  • 1篇动态WEB服...
  • 1篇形式化
  • 1篇进程代数
  • 1篇PI演算
  • 1篇MAS
  • 1篇MAS系统

机构

  • 1篇西安交通大学

作者

  • 1篇齐勇
  • 1篇沈林峰
  • 1篇王功震
  • 1篇候迪
  • 1篇杜小智
  • 1篇徐东红

传媒

  • 1篇Journa...

年份

  • 1篇2008
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
基于MAS系统的动态web服务组合形式化建模研究(英文)被引量：3
2008年
动态服务组合是解决SOA和SOC的重要方案之一.针对动态服务组合的实现,把MAS技术应用到服务组合中.首先对MAS和web服务组合的本质进行分析,讨论了MAS和web服务组合的关系.其次,构建了基于MAS的web服务组合框架,命名为CSMWC,并用Jade实现了该框架.此框架初步实现了语法级别的动态服务组合,并为语义级别的动态服务组合打下基础.为说明构建框架的正确性,应用pi演算对构建的MAS体系结构进行形式化描述,同时对web服务组合中重要的性质如动态性、适应性进行了推理.最后给出了应用基于pi演算的验证工具Pi4SOA进行验证的过程.
徐东红齐勇候迪沈林峰杜小智王功震
关键词：动态WEB服务组合MASPI演算进程代数
全选 清除 导出
共1页<1>
聚类工具0