搜索到849 篇“ WEB服务组合验证 “的相关文章
一种基于参数化模型的Web服务组 合 验证 方法 服务组 合 验证 方法，包括：抽象出Web服务组 合 过程与QoS属性，确定QoS属性的组 成部分；分析影响QoS属性的环境条件，并将该环境条件建模为参数化的马尔可夫决策过程；引入限制要求约束W...文献传递 基于概率模型检测的Web服务组 合 验证 方法研究 服务 质量(QoS)感知的Web服务组 合 研究中，衡量服务 质量的标准通常是用户的非功能属性。然而，传统的Web服务组 合 方法难以恰当地处理用户非功能属性的不确定性与多目标性，也并没有考虑环境的动态变化对Web服务组 合 过程的影...关键词：计算机网络 一种基于参数化模型的Web服务组 合 验证 方法 服务组 合 验证 方法，包括：抽象出Web服务组 合 过程与QoS属性，确定QoS属性的组 成部分；分析影响QoS属性的环境条件，并将该环境条件建模为参数化的马尔可夫决策过程；引入限制要求约束W...文献传递 基于服务 分组 和调用轨迹的Web服务组 合 验证 方案 2016年 服务组 合 的有效性验证 问题,提出了一种基于服务 分组 和调用轨迹的Web服务组 合 形式化验证 方案。首先,基于服务 调用顺序,利用提出的Web服务 集分组 (WSSG)算法将候选Web服务 划分为几个子集,并结合 调用轨迹编排这些子集组 成WSSG图,作为系统的抽象模型;然后,推理出系统所需的预期交互规范,并利用线性时序逻辑(LTL)来描述交互规范;最后,通过检测模型是否符合 交互规范来验证 组 合 模型的可行性。实验结果表明,该方案能够有效验证 Web服务组 合 的正确性,且避免了死锁现象。关键词：WEB服务组合验证 线性时序逻辑 基于Petri网的Web服务组 合 验证 方法 被引量：3 2015年 服务组 合 进行结构验证 分析的目的在于发现结构中固有的致命弱点,保证运行时的Web服务组 合 是良结构的。Web服务组 合 的有界性验证 用来判断是否存在影响Web服务组 合 实施的Web服务 或子Web服务组 合 ;死锁验证 用来发现是否存在可能的服务 盲区;陷阱验证 用来发现是否存在可能的服务 异常区。给出了上述各项验证 的实现算法,测试实验验证 了该算法的正确性。关键词：有界性 死锁 基于多智能体系统模型检测与抽象技术的Web服务组 合 验证 服务 的体系结构的出现和发展使得Web服务 成为当今服务 及软件开发的发展趋势。由于功能有限的单一的Web服务 在多数情况下不能满足用户的需求,出现了将多种 web 服务 按某种特定的组 合 集成一个面向具有不同需求用户的有统一接口...关键词：多智能体 WEB服务 文献传递 基于Petri网的Web服务组 合 验证 方法 服务组 合 进行结构验证 分析的目的在于发现结构中固有的致命弱点，保证运行时的Web服务组 合 是良结构的.Web服务组 合 的有界性验证 用来判断是否存在影响Web服务组 合 实施的Web服务 或子Web服务组 合 ；死锁验证 用来发现是否存在...关键词：有界性 死锁 基于概率模型检测的Web服务组 合 验证 被引量：16 2012年 服务组 合 验证 对提高软件开发效率、实现服务 增值具有重要意义。为了验证 服务组 合 的有效性,提出了一种基于概率模型检测的Web服务组 合 验证 方法。首先采用扩展的有限自动机模型建立Web服务组 合 模型,并将该模型转换为Markov模型,然后采用概率模型检测器PRISM验证 服务组 合 的可靠性,最后通过实例进一步说明该方法的可行性。关键词：WEB服务组合 有限自动机 MARKOV模型 概率模型检测 基于答案集的Web服务组 合 验证 2011年 服务组 合 的形式化描述和验证 ,是保证组 合 服务 能正确运行的重要前提基础。首先描述基于答案集编程(Answer Set Programming)的OWL-S建模方法,并分析基于答案集编程建模的优势。然后给出OWL-S流程模型中几种控制结构到中间模型Petri网的映射,并提出由Petri网生成答案集编程的算法。同时将时态约束引入到组 合 服务 验证 中,利用时态约束表达待验证 性质,将验证 问题转换为求解逻辑程序的答案集。最后通过一个具体的实例说明该方法的有效性。关键词：PETRI网 OWL-S 基于uMSD的Web服务组 合 验证 方法研究 被引量：1 2011年 组 合 服务 相当困难和耗时,为此提出了一种基于uMSD的Web服务组 合 的模型检验方法。如何简单和直观地表示Web服务组 合 的时态性质是该方法的关键问题。鉴于uMSD在简单性和表达力之间找到了一个平衡点,定义了uMSD的形式语法和语义。以Web服务组 合 OJA为实例,使用uMSD来图形化地表示组 合 服务 的时态性质,展示了uMSD的可行性。实验分析表明,该验证 方法能够有效地检测组 合 服务 中的逻辑错误。关键词：WEB服务组合
相关作者
许迅 作品数：4 被引量：3 H指数：1 供职机构：盐城工学院信息工程学院 研究主题：WEB服务组合验证 WEB服务业务流程执行语言 时序逻辑语言 OWL-S 工作流分析 王晨 作品数：3 被引量：5 H指数：2 供职机构：东南大学计算机科学与工程学院 研究主题：WEB服务组合验证 IDS系统 IDS WEB服务业务流程执行语言 缓冲区管理 王晶 作品数：3 被引量：16 H指数：1 供职机构：苏州大学计算机科学与技术学院 研究主题：WEB服务组合验证 MARKOV模型 WEB服务组合 概率模型检测 有限自动机 戎玫 作品数：82 被引量：235 H指数：9 供职机构：苏州大学 研究主题：WEB服务组合 软件体系结构 UML XYZ/ADL CPS 王红兵 作品数：78 被引量：155 H指数：4 供职机构：东南大学 研究主题：偏好 WEB服务 用户偏好 马尔可夫决策过程 用户
