摘要:为了解决动态服务组合过程中功能执行时序与工作流的关系问题，提出了一种基于时变Petri网技术的Web服务组合模型.引入Petri网有向网结构来描述组合过程中输入/输出功能及时间因素影响，以Petri网的有向弧结构表示服务组合过程中服务功能时间参数输入/输出表达式，利用时变函数表示服务的时间消耗，进而将服务组合转化为时变Petri网的流程正确性检验和时间开销优化问题，使建立的服务组合模型在组合成功率和用户满意度间达到良好的动态平衡.提出了一种基于回溯方法的服务组合流程检验和QoS计算方法，用于时变Petri网系统下服务组合策略的构建和验证.为了说明该方法的有效性，以一个实际电厂信息调度平台系统提供的Web服务为研究对象，通过两组仿真实验，分别说明该方法具有良好的组合成功率及使用相同候选服务集构建组合策略的有效性.实验数据和结果分析表明，该建模方法能够达到特定用户对服务功能的使用需求.
Abstract:In order to solve the problems of system interface and optimal service matching, this study puts forward a kind of Web service composition system which is based on the time-varying Petri net. It brings in the probability of service call to change the invalid trouble in distributed network. It uses the structure of Petri net to achieve sound dynamic balance in the composition success rate and user satisfaction. For demonstrating the correctness and validity of the system, this paper presents a kind of global fish algorithm based on backward theory to get the optimal combination of QoS. And it defines the evaluation index of system performance. By comparing different efficiency of combinations, it proves the feasibility of the composite method and can meet the needs of specific users of the service function.
PDF全文下载地址:
http://jos.org.cn/jos/article/pdf/5514
删除或更新信息，请邮件至freekaoyan#163.com(#换成@)
一种基于时变Petri网的服务组合质量检验方法
本站小编 Free考研考试/2022-01-02
相关话题/结构 实验 流程 系统 检验
领限时大额优惠券,享本站正版考研考试资料!
优惠券领取后72小时内有效，10万种最新考研考试考证类电子打印资料任你选。涵盖全国500余所院校考研专业课、200多种职业资格考试、1100多种经典教材，产品类型包含电子书、题库、全套资料以及视频，无论您是考研复习、考证刷题，还是考前冲刺等，不同类型的产品可满足您学习上的不同需求。 ...考试优惠券 本站小编 Free壹佰分学习网 2022-09-19高阶类型化软件体系结构建模和验证及案例
摘要:根据权威统计数据，软件测试中发现的70%以上的错误由需求获取或体系结构设计引起.因此，应用软件体系结构在设计阶段的正确性验证非常重要.现有的软件体系结构设计方法不支持需求满足验证，需求满足验证需要其他验证工具的支持.面向主流Web应用软件的体系结构设计及其需求满足验证，提出了一种高阶类型化软件 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02具有多传感器的CPS系统的攻击检测
摘要:信息物理系统（cyber-physicalsystems，简称CPS）是基于环境感知实现计算、通信与物理元素紧密结合的下一代智能系统，广泛应用于安全攸关的系统和工业控制等领域.信息技术与物理世界的相互作用使得CPS容易受到各种恶意攻击，从而破坏其安全性.主要研究存在瞬态故障的CPS中传感器的攻 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于许可链的SWIFT系统分布式架构
摘要:跨境金融通信对于现代金融业务的开展极为重要.环球银行金融电信协会（SWIFT）是跨境金融通信服务的主要提供者.现阶段，报文传输是SWIFT系统的主要业务，确保报文传输安全、准确、高效，是SWIFT系统的重要目标.但现阶段基于中心架构思想的SWIFT系统安全风险突出，传输效率低，成本较高.基于许 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02可微分抽象机混合编程系统
摘要:自动化编程是智能软件的核心挑战之一，使用程序执行轨迹或输入输出样例学习程序，是自动化编程的典型研究方法.这些方法无法弥合常规程序元素与神经网络组件间的隔阂，不能吸收经验信息输入、缺乏编程控制能力.给出了一种可无缝结合高级编程语言与神经网络组件的混合编程模型：使用高级编程语言元素和神经网络组件元 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02面向云应用系统的容错即服务优化提供方法
摘要:通过提供高效且持续可用的容错服务以保障云应用系统的可靠运行是至关重要的.采用容错即服务的模式，提出了一种优化的云容错服务动态提供方法，从云应用组件的可靠性及响应时间等方面描述云应用容错需求，以常用的复制、检查点和NVP（N-versionprogramming）等容错技术为基础，充分考虑容错服 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于角色发现的动态信息网络结构演化分析
摘要:动态信息网络是当前复杂网络领域中极具挑战的新问题之一，对其动态的演化过程进行研究，有助于分析网络结构、理解网络特性、发现网络中潜在的信息及演化规律，具有重要的理论意义与应用价值.基于网络结构本身量化表示的复杂性以及网络演化时序、复杂、多变的挑战，使用角色来量化动态网络的结构，并对模型进行分析， ...中科院软件研究所 本站小编 Free考研考试 2022-01-02基于强化学习的金融交易系统研究与发展
摘要:近年来，强化学习在电子游戏、棋类、决策控制等领域取得了巨大进展，也带动着金融交易系统的迅速发展.金融交易问题已经成为强化学习领域的研究热点，特别是股票、外汇和期货等方面具有广泛的应用需求和学术研究意义.以金融领域常用的强化学习模型的发展为脉络，对交易系统、自适应算法、交易策略等方面的诸多研究成 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02用于验证多智能体系统的APTL模型检测器
摘要:由于经典的线性时序逻辑表达能力有限，设计并开发了基于交替投影时序逻辑（alternatingprojectiontemporallogic，简称APTL）的模型检测工具.根据王海洋等人提出的APTL符号模型检测方法，设计并实现了APTL模型检测器MCMAS_APTL.该工具可用于多智能体系统（ ...中科院软件研究所 本站小编 Free考研考试 2022-01-02系统软件新洞察
摘要:系统软件是计算学科的基本概念之一，从系统软件的本质特征、时代特点和发展趋势这3个方面给出了关于系统软件的新洞察.洞察1认为，通用图灵机和存储程序思想是系统软件的理论源头和技术源头，其本质特征是"操纵计算系统执行"，编码加载和执行管控是两种主要的操纵方式.洞察2认为，系统软件在互联网时代的时代特 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02大数据管理系统的历史、现状与未来
摘要:大数据管理技术正在经历以软件为中心到以数据为中心的计算平台的变迁，传统的关系型数据库管理系统无法满足现在以数据为中心的大数据管理的需求，设计新型大数据管理系统迫在眉睫.首先回顾了数据管理技术的发展历史；之后，从大数据管理的存储、数据模型、计算模式、查询引擎等方面分析了大数据管理系统的现状，指出 ...中科院软件研究所 本站小编 Free考研考试 2022-01-02
