王雪红
- 作品数：6 被引量：1H指数：1
- 供职机构：贺州学院计算机科学与信息工程学院更多>>
- 发文基金：广西高等学校科研项目广西壮族自治区自然科学基金更多>>
- 相关领域：自动化与计算机技术文化科学更多>>
- 组合Web服务的建模与BPEL语言描述被引量：1
- 2014年
- 基于时间扩展的ASEHA自动机理论,以旅行预订票组合Web服务为例,分别建立了旅行者(Traveler)、旅行代理(Travel Agent)及航空公司预订票(Airline Reservation)三个自动机,并给出该服务的BPEL语言描述。
- 王雪红刘柯威
- 关键词：组合WEB服务BPEL
- 非计算机专业计算机基础教学问题的探讨
- 2012年
- 随着计算机科学与技术的快速发展和广泛应用,对非计算机专业的学生提出了更高的计算机应用能力水平的要求。结合本院的实际情况,分析目前我院非计算机专业计算机基础课程在教学过程中存在的问题。针对这些问题,从教学内容、教学方法和教学环境三方面出发,提出了一些解决问题的建议。
- 王雪红刘柯威
- 关键词：非计算机专业计算机基础教学改革
- 基于时间扩展的Web服务模型检测
- 2017年
- 由于传统的形式化方法不能保证带时间约束的组合Web服务安全可靠地运行,为了有效地分析并确保带时间约束的组合Web服务的正确性,利用时间自动机验证工具UPPAAL将带时间约束的组合Web服务的每个原子服务建立自动机模型,给出ASEHA语义描述,并用模拟器模拟带时间约束的Web服务的运行过程,对带有时间约束的Web服务的属性进行分析。最后,以旅行预订票组合系统为例,验证其死锁、活性和安全性。实例证明此方法有效。
- 王雪红刘柯威陈冠萍胡元闯
- 关键词：WEB服务UPPAAL
