谭征
- 作品数:2 被引量:3H指数:1
- 供职机构:桂林电子科技大学更多>>
- 发文基金:国家自然科学基金中国博士后科学基金广西研究生教育创新计划项目更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种Web服务特征交互自动检测方法被引量:3
- 2010年
- 模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上,提出BPEL活动执行的形式化模型,给出活动执行语义,进而分别提出将BPEL流程自动转换为七元组集合以及将这些七元组转化为MCTK(一种我们开发的符号化模型检测工具)输入语言的算法,这些七元组包含了智能体执行过程中有关状态变化的有效信息。实验表明,提出的算法可以有效验证Web服务中的特征交互问题,而且支持认知逻辑规范的验证。
- 骆翔宇谭征董荣胜
- 关键词:WEB服务组合特征交互BPEL
- 一种Web服务组合的自动化模型检测方法
- 如今 Web服务广泛分布于互联网中,它们通过彼此之间的交互实现对问题的协作求解。然而,在交互过程中,一些非预期、“不正常”的信息交互时有发生,严重影响了系统的质量及健壮性,有可能使用户得不到正确结果。因此,模型检测 We...
- 谭征
- 关键词:WEB服务组合特征交互状态转换图数据流