WEB服务组合验证

作品数：9被引量：18H指数：1
导出分析报告
相关领域：自动化与计算机技术更多>>
相关作者：许迅王晶戎玫王红兵王晨更多>>
相关机构：东南大学苏州大学中国科学院软件研究所浙江大学更多>>
相关期刊：《现代电子技术》《计算机应用与软件》《计算机应用研究》《电脑知识与技术》更多>>
相关基金：国家自然科学基金江苏省高校自然科学研究项目国家高技术研究发展计划国家重点实验室开放基金更多>>
-
在结果中检索

检索结果分析

结果分析中...
共 条 记 录，以下是1-9
全选清除导出
参考文献引证文献引用追踪
视图：
排序：
基于服务分组和调用轨迹的Web服务组合验证方案
《现代电子技术》2016年第5期126-130,共5页李靖 崔仲远 
国家青年基金项目(61300124);河南省科技厅项目:面向航空港区的物流Web服务动态优化组合问题研究(132400411365);河南省科技厅项目:面向大数据的隐私保护技术研究(142400411237);河南省教育厅项目:基于资源整合的物流web服务动态优化组合方法研究(15B520046);河南省教育厅项目:面向云计算基于隐私保护的信任模型研究(15B520045)资助
针对Web服务组合的有效性验证问题,提出了一种基于服务分组和调用轨迹的Web服务组合形式化验证方案。首先,基于服务调用顺序,利用提出的Web服务集分组(WSSG)算法将候选Web服务划分为几个子集,并结合调用轨迹编排这些子集组成WSSG图,作...
关键词：WEB服务组合验证 建模 调用轨迹 线性时序逻辑 
基于概率模型检测的Web服务组合验证被引量：15
《计算机科学》2012年第1期120-123,共4页王晶 戎玫 张广泉 祝义 
国家自然科学基金(60973149);江苏省自然科学基金(BK2011281);中国科学院计算机科学国家重点实验室开放课题(SYSKF0908);江苏省高校自然科学研究项目(08KJB520010;10KJB520019)资助
Web服务组合验证对提高软件开发效率、实现服务增值具有重要意义。为了验证服务组合的有效性,提出了一种基于概率模型检测的Web服务组合验证方法。首先采用扩展的有限自动机模型建立Web服务组合模型,并将该模型转换为Markov模型,然后采...
关键词：WEB服务组合 有限自动机 MARKOV模型 概率模型检测 
基于答案集的Web服务组合验证
《计算机科学》2011年第12期131-134,161,共5页钱俊彦 黄国旺 赵岭忠 
国家自然科学基金(61063002;60803033);中国博士后基金(20090450211);广西自然科学基金(2011GXNSFA018164;2011GXNSFA018166);广西研究生创新基金(2009105950812M22);广西高等学校优秀人才资助计划等资助
语义Web服务组合的形式化描述和验证,是保证组合服务能正确运行的重要前提基础。首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法,并分析基于答案集编程建模的优势。然后给出OWL-S流程模型中几种控制结构到中间模型Petr...
关键词：答案集编程 PETRI网 OWL-S 验证 
基于uMSD的Web服务组合验证方法研究被引量：1
《计算机科学》2011年第9期119-125,共7页王志坚 李雯睿 杨种学 张鹏程 
国家高技术研究发展计划(2007AA01Z178);武汉大学软件工程国家重点实验室开放(2010-08-01);河海大学中央高校基本科研业务经费(2009B04314);江苏省高校自然科学基金(11KJD520010)资助
手工分析组合服务相当困难和耗时,为此提出了一种基于uMSD的Web服务组合的模型检验方法。如何简单和直观地表示Web服务组合的时态性质是该方法的关键问题。鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义。...
关键词：模态顺序图 WEB服务组合 模型检验 
Web服务的颜色Petri网模型及验证
《计算机应用与软件》2011年第3期80-82,88,共4页李景霞 赵慧娟 
国家高技术研究发展计划项目(2007AA01Z136);国家重点基础研究发展规划项目(2010CB328100)
利用Web服务组合技术,能够快速、灵活地满足复杂多变的业务需求。针对现有Web服务组合描述模型不独立于具体组合流程描述语言且不能全面刻画Web服务组合这两个问题,提出了一个描述Web服务的颜色Petri网模型,并给出了五个Web服务基本组...
关键词：颜色PETRI网 模型驱动体系结构 形式化描述模型 WEB服务组合验证 
基于TLA的Web服务组合研究
《微型机与应用》2010年第4期38-40,共3页王一飞 李迎春 许迅 
随着以Web服务为基础的面向服务的体系结构的发展,如何有效地组合自治的、分布的、不同功能的Web服务以构建新的企业业务应用逐渐成为研究热点。简单介绍了Conversation模型的概念,利用该模型作为中介,将组合Web服务的BPEL描述转化为Con...
关键词：TLA BPEIAWS Conversation模型 WEB服务组合验证 
基于可达图的Web服务组合验证
《计算机应用与软件》2009年第9期203-205,共3页乔彬 吴国文 葛孝堃 
针对基于Petri网的Web服务组合形式化建模,给出了Web服务网的正确性定义和可达图的构造算法。采用可达图作为分析工具,对Web服务网的可达性、有界性、安全性和活性等特性进行分析,给出验证Web服务组合正确性的方法,并举例说明了这种方...
关键词：WEB服务组合 验证 PETRI网 可达图 
一种验证Web服务流程的新方法被引量：1
《计算机应用研究》2008年第12期3785-3789,共5页王晨 王红兵 许迅 
国家自然科学基金资助项目(60673175)
在实际的服务组合中,Web服务流程(process)的验证(verification)对于Web服务的组合实现和应用具有重要意义——通过验证可以证明一个组合服务的控制流满足某个重要或者期望的属性,如不包含死锁或不包含无限循环,诸如此类;而服务提供者可...
关键词：时序逻辑语言 Web服务本体描述语言 WEB服务业务流程执行语言 WEB服务组合验证 工作流模型分析 
基于Petri网的OWL-S流程模型的验证与分析被引量：1
《电脑知识与技术》2008年第3期1249-1252,共4页王晨 王红兵 许迅 
国家自然科学基金资助项目（No.60673175）.
广泛研究使用的OWL-Sweb服务交互规范作为一种半形式化的描述语言，在服务组合的验证上存在缺陷。而Petri网作为一种模型描述语言，尤其适合并发系统的描述。因此，使用Petri网对OWL-S流程模型进行建模，通过将工作流信息转化为Petri网...
关键词：PETRI网 OWL-S WEB服务组合验证 工作流分析 
全选清除导出
共1页<1>
检索报告 对象比较 聚类工具 使用帮助 返回顶部