王昆
- 作品数:4 被引量:7H指数:2
- 供职机构:桂林电子科技大学更多>>
- 发文基金:中央高校基本科研业务费专项资金国家自然科学基金更多>>
- 相关领域:自动化与计算机技术更多>>
- 一种Web服务组合的认知模型检测方法被引量:2
- 2011年
- 由于Web服务及其协同的动态性,开放多变的互联网运行环境,以及松耦合的服务开发模式所导致的开发和运行过程不确定性,使得Web服务组合的正确性和可靠性等可信性质难以得到保证.将Web服务组合抽象为多主体系统,提出业务流程执行语言BPEL的形式模型BSTS,设计并实现了从BPEL到BSTS的B2S转化算法,以及从BSTS到多主体系统模型检测工具MCMAS输入语言ISPL的S2I转化算法,从而实现Web服务组合的自动形式化建模,使得我们不仅可以验证Web服务组合的时态逻辑规范,而且还可以验证认知与合作等多主体系统特有的逻辑规范.我们实现了相关的模型检测工具原型MCWS,并用其对一个贷款核准服务实例进行建模和验证,实验结果显示了MCWS的有效性.
- 骆翔宇王昆王凤钗
- 关键词:WEB服务BPEL认知逻辑多主体系统
- 一种Web服务组合的认知模型检测方法
- 由于 Web服务及其协同的动态性、开放多变的互联网运行环境以及松耦合的服务开发模式,所导致的开发和运行过程的不确定性,使得 Web服务组合的正确性和可靠性等可信性质难以得到保证。因此,形式化分析和验证 Web服务组合的研...
- 王昆
- 关键词:WEB服务组合多智能体系统补偿处理
- 文献传递
- 交换式工业以太网实时性研究
- 工业以太网以其良好的兼容性和互操作性逐渐成为构建工业网络的主流技术。然而传统以太网不确定性的先天不足使得以太网的应用仅仅停留在网络的信息层和管理层,尽管交换式以太网的出现有效地提高了以太网的通信效率,但是面对底层控制网络...
- 王昆
- 关键词:工业以太网实时性拓扑优化LINUX系统
- 文献传递
- IEEE802.15.4无线传感器网络仿真与性能评估被引量:4
- 2010年
- IEEE802.15.4标准是为满足低速率、低能耗、低成本需求而制定的无线个人区域网(LR_WPAN)规范。通过用网络仿真软件NS2对基于IEEE802.15.4的无线传感器网络的主要性能指标进行分析,较为详实地论述了IEEE802.15.4MAC层基于时槽的CSMA/CA机制,最后给出仿真环境及其结果,并进行度量分析和阐述各指标间的依赖关系。
- 金东方李绍文王昆
- 关键词:IEEE802.15.4无线传感器网络NS2仿真