云南高校图书馆联盟文献共享服务平台- 许兴旺

许兴旺: 作品数：1被引量：1H指数：1; 导出分析报告; 供职机构：华侨大学计算机科学与技术学院更多>>; 发文主题：MASWEB服务组合WEB反例多主体系统更多>>; 发文领域：自动化与计算机技术更多>>; 发文期刊：《计算机工程》更多>>; 所获基金：高层次人才科研启动基金国家自然科学基金更多>>

检索结果分析

共条记录，以下是1-1

全选清除导出

视图：

排序：

基于MAS模型检测与抽象的Web服务验证被引量：1: 《计算机工程》2015年第3期26-31,36,共7页许兴旺骆翔宇; 国家自然科学基金资助面上项目(61170028);华侨大学中青年教师科研提升计划基金资助项目(ZQN-YX109);华侨大学高层次人才科研启动基金资助项目(11BS108);广西可信软件重点实验室基金资助项目(kx201323); Web服务组合现已成为跨组织业务流程集成的关键技术,然而在松耦合开发模式和开放的互联网运行环境下,其正确性、可靠性、安全性等可信性质难以得到保证。为解决该问题,提出一种Web服务组合形式化验证方法,将基于图状反例向导的抽象与精...; 关键词：WEB服务组合多主体系统模型检测图状反例抽象精化