广西研究生教育创新计划项目(2008105950812M424)
- 作品数：4 被引量：9H指数：2
- 相关作者：骆翔宇轩爱成沙宗鲁董荣胜谭征更多>>
- 相关机构：桂林电子科技大学清华大学华侨大学更多>>
- 发文基金：中国博士后科学基金广西研究生教育创新计划项目广西青年科学基金更多>>
- 相关领域：自动化与计算机技术更多>>
- 一种Web服务特征交互自动检测方法被引量：3
- 2010年
- 模型检测技术可有效验证Web服务组合的异常情况,如特征交互问题等,但是目前验证过程的自动化程度比较低。为了提高验证的自动化程度,需要将BPEL转化为模型检测工具的输入语言。在分析BPEL语言控制流程的基础上,提出BPEL活动执行的形式化模型,给出活动执行语义,进而分别提出将BPEL流程自动转换为七元组集合以及将这些七元组转化为MCTK(一种我们开发的符号化模型检测工具)输入语言的算法,这些七元组包含了智能体执行过程中有关状态变化的有效信息。实验表明,提出的算法可以有效验证Web服务中的特征交互问题,而且支持认知逻辑规范的验证。
- 骆翔宇谭征董荣胜
- 关键词：WEB服务组合特征交互BPEL
- 基于Verics的组合Web服务有界模型检测
- 2011年
- 传统的模型检测技术无法描述系统的认知逻辑特性,而在分布式系统领域,系统和协议的规范适合用多智能体时态认知逻辑来描述.组合Web服务是典型的分布式系统.为了保证组合Web服务运行的正确性,把组合Web服务看成多智能体系统,将其建模成一组相互通信的时间自动机.采用时态认知逻辑模型检测工具Verics对该组合Web服务的可用性、可靠性和时效性的时态认知逻辑特性进行检测.本文以旅游预订系统组合Web服务为例,阐述了上述过程.
- 骆翔宇轩爱成沙宗鲁
- 关键词：有界模型检测时态认知逻辑WEB服务时间自动机
- 一种执行代价较小的Web服务动态合成方法
- 2011年
- 在Web服务无回溯反向链动态框架基础上,提出一个较小执行代价的反向链动态合成方法.该算法根据用户的输入、输出和Web服务的执行代价,在合成过程中的每一步都找到执行代价最小的Web服务,从而动态生成一个执行代价较小的合成方案.该合成方案考虑了Web服务的合成效率和执行代价,特别适合于对两者都有要求的应用领域.
- 轩爱成骆翔宇沙宗鲁董荣胜
- 关键词：WEB服务合成
- 基于时间自动机的Web服务模型检测被引量：7
- 2010年
- 传统的基于有限状态机的组合Web服务模型检测方法不能保证带有时间约束的组合Web服务的正确性。把组合Web服务看成多智能体系统,将带有时间约束的Web服务智能体建模为时间自动机,通过并发组合构成时间自动机网络,从而用时间自动机验证工具UPPAAL对组合Web服务的运行过程进行模拟,并验证其活性、安全性和死锁等性质。采用该方法对雇员出差安排组合Web服务进行建模和验证,结果表明,该组合Web服务存在死锁问题。最后通过分析死锁产生的路径,完善该组合Web服务的通信协议,从而消除了死锁。
- 骆翔宇轩爱成沙宗鲁
- 关键词：WEB服务时间自动机UPPAAL
