河北省科技支撑计划项目(11213562)
- 作品数:4 被引量:9H指数:2
- 相关作者:申利民尤殿龙杨永涛王辉耿大伟更多>>
- 相关机构:燕山大学更多>>
- 发文基金:河北省自然科学基金河北省科技支撑计划项目国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一个基于WS-CDL的服务编排行为模型及角色映射被引量:2
- 2014年
- Web服务组合的服务编制过程需要遵守服务编排协议.针对将服务编排协议映射到分散式服务编制这一难点问题,提出了面向角色的WS-CDL映射模型,建立了服务编排协议的行为模型;给出了服务编排协议的行为模型的角色映射规则及实现算法.该模型符合分散式服务编制由各个成员服务独立处理交换信息的特点,通过引入角色映射这一中间环节,解决了因WS-CDL和BPEL在语法上不具有一一对应关系而无法完全直接转换的问题.最后,给出了面向角色的服务编排协议映射的实例分析过程,并通过开发的原型系统,验证了映射规则的正确性和算法的可实现性.
- 尤殿龙申利民王辉耿大伟
- 关键词:WEB服务组合WS-CDL角色映射
- 一种面向自动化设备的行为监测与异常诊断方法被引量:2
- 2015年
- 针对自动化设备在行为监测与诊断方面的不足,提出一种面向自动化设备的行为监测与异常诊断方法.以有限状态自动机为基础,通过对设备进行模块划分,由多个模块的状态集合和状态变化来识别设备的状态和状态转换,得到设备的行为状态模型,可以精确的描述设备的运行过程.同时,将待测的动作指令、设备状态和状态转换与定义好的设备行为状态模型进行比对,可以检测设备运行过程中的行为异常.最后,实现了基于设备行为状态模型的行为监测原型系统,其实验结果表明。
- 申利民刘称称尤殿龙
- 关键词:自动化设备有限状态自动机
- 大粒度Web服务组合业务流程演化类型判定方法被引量:4
- 2014年
- 根据演化类型在服务组合演化中的应用层次,运用互模拟理论,从单个状态节点、单个服务和服务组合三个层面判定演化类型,并给出各自的判定规则。单个状态节点演化类型的判定可以明确节点的外部行为是否发生变化;单个服务演化类型的判定可以得出服务的内部业务流程中状态节点在数量和逻辑关系上的变化情况;服务组合演化类型可以明确全局业务流程的变化。通过一个面向制造服务的大粒度Web服务组合业务流程演化类型判定的实例,说明了规则的应用及有效性。
- 尤殿龙申利民杨永涛
- 关键词:WEB服务组合
- Web服务组合中业务流程演化影响范围判定方法被引量:2
- 2013年
- 针对组合业务流程中各参与演化的服务对彼此内部业务流程不可知的特点,依据互模拟理论,以服务在演化前后内部业务流程的变化特点判定演化类型;通过判定内部业务流程中受影响状态节点的前驱状态集或后继状态集的归属服务来确定受波及的服务;通过计算服务内部业务流程演化影响范围的边界得出单个服务的受影响范围,进而得出服务组合中业务流程演化的影响范围。针对以上问题,给出了其判定规则和算法,使得演化仅在受波及区域内发生,并且所有受影响的状态节点都可能参与演化。
- 尤殿龙申利民刘芳
- 关键词:WEB服务