您的位置： 专家智库 > >

广西省自然科学基金(0991242)

作品数：1 被引量：3H指数：1
相关作者：董荣胜骆翔宇谭征更多>>
相关机构：桂林电子科技大学清华大学华侨大学更多>>
发文基金：中国博士后科学基金广西研究生教育创新计划项目广西省自然科学基金更多>>
相关领域：自动化与计算机技术更多>>

文献类型

  • 1篇中文期刊文章

领域

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

主题

  • 1篇特征交互
  • 1篇WEB服务组...
  • 1篇BPEL
  • 1篇WEB服务

机构

  • 1篇桂林电子科技...
  • 1篇华侨大学
  • 1篇清华大学

作者

  • 1篇谭征
  • 1篇骆翔宇
  • 1篇董荣胜

传媒

  • 1篇计算机科学

年份

  • 1篇2010
共 1 条 记 录，以下是 1-1
全选 清除 导出
排序方式：
一种Web服务特征交互自动检测方法被引量：3
2010年
模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上,提出BPEL活动执行的形式化模型,给出活动执行语义,进而分别提出将BPEL流程自动转换为七元组集合以及将这些七元组转化为MCTK(一种我们开发的符号化模型检测工具)输入语言的算法,这些七元组包含了智能体执行过程中有关状态变化的有效信息。实验表明,提出的算法可以有效验证Web服务中的特征交互问题,而且支持认知逻辑规范的验证。
骆翔宇谭征董荣胜
关键词：WEB服务组合特征交互BPEL
全选 清除 导出
共1页<1>
聚类工具0