聚合型时序逻辑驱动的复合服务联动定量监测

1

作者 周长兵 赵登 +2 位作者 张文博 孙骁 薛霄 《软件学报》 EI CSCD 北大核心 2024年第12期5419-5451,共33页

近年来,面向服务的物联网体系架构受到学术界和工业界的广泛关注.通过把物联网资源虚拟化为智能物联网服务,动态互联并融合协同这些资源受限且动态演进的物联网服务,从而构建物联网应用,已成为一种被普遍认可且灵活有效的机制.面向边缘... 近年来,面向服务的物联网体系架构受到学术界和工业界的广泛关注.通过把物联网资源虚拟化为智能物联网服务,动态互联并融合协同这些资源受限且动态演进的物联网服务,从而构建物联网应用,已成为一种被普遍认可且灵活有效的机制.面向边缘设备资源稀缺且动态时变,物联网服务在其执行过程中可能发生QoS变化或资源失配,致使物联网应用难以继续或可能诱使故障发生.因此,实现物联网服务的实时定量监测,已成为保障物联网应用鲁棒性和系统健壮性的关键.现有相关研究工作提出了不同监测机制,但其在形式化解释上仍存不足,表现为较强的领域相关性和经验主观性.基于形式化方法,例如信号时序逻辑,可将物联网服务运行态实时定量监测问题转换为时序逻辑任务.然而,现有信号时序逻辑存在信号不可辨性、方法不鲁棒性以及场景不适用性问题.并且,在物联网服务以复合服务形式监测时,现有工作存在整体性、联动性、动态性考虑不足的问题.为解决上述问题,提出一种聚合型信号时序逻辑,以实现单个服务、服务之间以及复合服务上不同QoS约束和时间约束的实时联动定量监测.所提方法扩展基于正负偏置黎曼和的累加型时间算子,对整个时间域内所有子公式进行鲁棒性度量,实现时序鲁棒、信号可辨、动态适用的物联网服务运行态实时定量监测;并扩展基于约束类型与组合结构的聚合算子,以及随动态环境可变的动态变量,实现复合服务在动态环境中的联动定量监测.由此,物联网服务及其复合服务的多维度多约束被转换为逻辑公式,并在运行时以定性和定量化的满意度进行形式化解释.实验结果表明所提方法具有更好的监测表达能力、场景适用性和结果鲁棒性. 展开更多

关键词 物联网服务 复合服务 定量监测 实时监测 信号时序逻辑

在线阅读 下载PDF 职称材料

网格环境下多服务质量约束的复合服务调度机制 被引量：5

2

作者 谷清范 吴介一 张飒兵 《计算机集成制造系统》 EI CSCD 北大核心 2005年第12期1775-1780,共6页

目前,由于没有一个动态、可扩展的服务组合模型,在服务网格环境中缺乏满足多性能目标约束的、复合服务的调度机制。为此,在分析动态服务调度机制基础上,将服务质量约束引入到状态图工作流模型中,提出一种多服务质量约束的动态组合服务模... 目前,由于没有一个动态、可扩展的服务组合模型,在服务网格环境中缺乏满足多性能目标约束的、复合服务的调度机制。为此,在分析动态服务调度机制基础上,将服务质量约束引入到状态图工作流模型中,提出一种多服务质量约束的动态组合服务模型,给出了在服务组合过程中保持服务组件之间服务质量一致性的方法,并将复合服务的调度问题(即执行路径的动态选择问题)归结为多属性决策问题。采用简单加权法,以保证组合后的服务满足综合服务质量约束。通过实现的服务调度组件验证了该机制的可行性和有效性。 展开更多

关键词 服务网格 复合服务 服务质量 工作流模型 服务调度 多属性决策 简单加权法

在线阅读 下载PDF 职称材料

一种面向Web复合服务的运行时监控方法 被引量：1

3

作者 韩仲志 毛晓光 《计算机应用与软件》 CSCD 北大核心 2012年第5期169-171,206,共4页

随着计算机技术的发展,软件面临着日益严峻的可信性要求,运行时监控技术作为保证软件可信性的一个重要方法,已受到人们的普遍关注。分析总结传统软件运行时监控技术的基本问题和方法,给出运行时监控的基本视图。针对Web复合服务面临的... 随着计算机技术的发展,软件面临着日益严峻的可信性要求,运行时监控技术作为保证软件可信性的一个重要方法,已受到人们的普遍关注。分析总结传统软件运行时监控技术的基本问题和方法,给出运行时监控的基本视图。针对Web复合服务面临的特殊运行环境及监控需求,提出一种监控框架。该框架以事件计算建模行为规约,在无法对构件服务进行插装的情况下实现对复合服务的有效监控。 展开更多

关键词 运行时监控 Web复合服务 事件计算 构件服务

在线阅读 下载PDF 职称材料

用于复合服务的白盒加密算法

4

作者 史扬 林杰 曹立明 《同济大学学报（自然科学版）》 EI CAS CSCD 北大核心 2010年第1期135-140,共6页

针对基于移动Agent的服务复合的脆弱性,给出一种白盒加密算法.通过引入有限域上的分块矩阵乘法和带输入输出变换的安全加法器,算法将密钥隐藏在一系列的数据表中,由此实现了基于加密函数的安全数据加密,能够应对白盒攻击环境下密钥泄漏... 针对基于移动Agent的服务复合的脆弱性,给出一种白盒加密算法.通过引入有限域上的分块矩阵乘法和带输入输出变换的安全加法器,算法将密钥隐藏在一系列的数据表中,由此实现了基于加密函数的安全数据加密,能够应对白盒攻击环境下密钥泄漏的安全风险.该算法代码体积较小,适合于移动Agent在非固定式服务复合时使用. 展开更多

关键词 白盒 复合服务 加密算法

在线阅读 下载PDF 职称材料

使用圆锥曲线的复合服务安全签名方案

5

作者 史扬 林杰 《计算机工程与应用》 CSCD 北大核心 2009年第13期1-3,共3页

为解决使用移动Agent进行服务复合时签名密钥可能在网络传输中或恶意主机上泄漏的安全问题,提出了一个使用圆锥曲线的安全签名方案,并对其正确性和安全性进行了分析和证明。该使用方案签名时不要求移动Agent携带签名密钥,其安全性依赖... 为解决使用移动Agent进行服务复合时签名密钥可能在网络传输中或恶意主机上泄漏的安全问题,提出了一个使用圆锥曲线的安全签名方案,并对其正确性和安全性进行了分析和证明。该使用方案签名时不要求移动Agent携带签名密钥,其安全性依赖于圆锥曲线上离散对数问题的难解性和大数因子分解的困难性。 展开更多

关键词 复合服务 移动AGENT 数字签名 圆锥曲线

在线阅读 下载PDF 职称材料

收益驱动的复合服务恢复策略选择方法

6

作者 夏永霖 魏峻 黄涛 《小型微型计算机系统》 CSCD 北大核心 2011年第5期807-813,共7页

在面向服务的环境下,单个Web服务往往不能满足用户的要求,这时就需将已有的单个Web服务进行组合,以便产生满足用户需求的、增值的组合服务.但是由于服务的自治性和Internet环境的动态性,导致服务在执行过程中出现失效问题,因此需要最佳... 在面向服务的环境下,单个Web服务往往不能满足用户的要求,这时就需将已有的单个Web服务进行组合,以便产生满足用户需求的、增值的组合服务.但是由于服务的自治性和Internet环境的动态性,导致服务在执行过程中出现失效问题,因此需要最佳的服务恢复策略保障.考虑到服务的提供者追求的是收益的最大化,提出一种收益驱动的服务恢复策略选择方法,能准确计算出当前服务环境下复合web服务执行的收益.实验结果表明,这种方法可以显著提高复合服务的可靠性并保障了收益的最大化. 展开更多

关键词 复合web服务 服务可靠性 恢复策略 收益

在线阅读 下载PDF 职称材料

一种基于移动Agent的复合Web服务容错模型 被引量：11

7

作者 徐伟 金蓓弘 +1 位作者 李京 曹建农 《计算机学报》 EI CSCD 北大核心 2005年第4期558-567,共10页

摘现有的Web服务容错侧重于通过扩展Web服务标准来提供容错能力.由于Web服务标准体系本身不断发展变化,并且标准之间的兼容性问题依然存在,使得这些研究成果的可实施性较弱.文章提出一种基于移动Agent的复合Web服务容错模型——MAFTM模... 摘现有的Web服务容错侧重于通过扩展Web服务标准来提供容错能力.由于Web服务标准体系本身不断发展变化,并且标准之间的兼容性问题依然存在,使得这些研究成果的可实施性较弱.文章提出一种基于移动Agent的复合Web服务容错模型——MAFTM模型,从系统层次而非标准层次来解决复合 Web服务的容错问题.首先说明基于移动Agent的工作流与复合Web服务的关系.在此基础上,给出MAFTM模型,包括故障类型、复制机制、“exactly once”语义和一致性算法,并证明MAFTM模型的正确性. 展开更多

关键词 复合Web服务 移动AGENT 工作流 容错模型 复制

在线阅读 下载PDF 职称材料

基于多agent协同的Web服务复合系统研究 被引量：1

8

作者 谢辉 谢山 《计算机应用与软件》 CSCD 北大核心 2007年第11期107-108,138,共3页

主要研究和设计了一种基于多agent协同的Web服务复合系统(CoWEB)。通过对"Web服务复合"这种新型分布计算应用模型特点和需求进行分析,提出了使用agent构建CoWEB系统的优势。接着,通过对CoWEB系统三个功能层的主要结构设计,以... 主要研究和设计了一种基于多agent协同的Web服务复合系统(CoWEB)。通过对"Web服务复合"这种新型分布计算应用模型特点和需求进行分析,提出了使用agent构建CoWEB系统的优势。接着,通过对CoWEB系统三个功能层的主要结构设计,以及系统整体特点的论述,表明该系统能较好地适应Web服务环境,并能较好地解决Web服务特有的异构、自治和动态性问题,得以实现可靠灵活的Web服务复合应用。 展开更多

关键词 WEB服务复合 WSDL 多AGENT协同 AGENT协商 共享元组空间

在线阅读 下载PDF 职称材料

基于Internet工作流的复合Web服务框架 被引量：5

9

作者 任志宏 李京 金蓓弘 《计算机研究与发展》 EI CSCD 北大核心 2003年第7期1081-1087,共7页

实现灵活方便的企业业务集成一直是信息领域的核心问题 ,也是B2B电子商务应用的关键 为此将Web服务和传统的工作流技术相结合 ,设计并实现了支持复合Web服务运行和管理的框架WSFlow 给出了WSFlow的总体结构 ,描述了其中的关键技术 ,包... 实现灵活方便的企业业务集成一直是信息领域的核心问题 ,也是B2B电子商务应用的关键 为此将Web服务和传统的工作流技术相结合 ,设计并实现了支持复合Web服务运行和管理的框架WSFlow 给出了WSFlow的总体结构 ,描述了其中的关键技术 ,包括Web服务与工作流活动的动态配置和绑定技术 。 展开更多

关键词 WEB服务 复合Web服务 业务流程 工作流

在线阅读 下载PDF 职称材料

基于约束Agent的面向服务性能的服务复合方案 被引量：2

10

作者 周根春 曹健 +1 位作者 张申生 周晓俊 《计算机集成制造系统》 EI CSCD 北大核心 2005年第8期1185-1190,共6页

现有的Web服务复合一般都采用静态绑定的方法,无法实现服务的动态绑定和整个服务流程的动态性能优化。为此,提出了一种基于约束Agent进行面向性能优化的动态服务复合方案;引入了约束以表达服务复合中的性能要求;设计了一种基于约束的信... 现有的Web服务复合一般都采用静态绑定的方法,无法实现服务的动态绑定和整个服务流程的动态性能优化。为此,提出了一种基于约束Agent进行面向性能优化的动态服务复合方案;引入了约束以表达服务复合中的性能要求;设计了一种基于约束的信念-希望-意图智能主体;实现了基于约束的协商算法以实现服务的优化选择;介绍了一个实例和系统实现。 展开更多

关键词 服务复合 性能 约束满足问题 协商

在线阅读 下载PDF 职称材料

基于描述逻辑的语义Web服务动态复合推理和验证 被引量：1

11

作者 李英杰 余雪丽 王睿 《广西师范大学学报（自然科学版）》 CAS 北大核心 2007年第4期28-31,共4页

描述逻辑具有良好的知识表示能力和强大的推理能力,AI规划具有良好的行为状态变化建模能力。将描述逻辑与AI规划相结合,提出一种基于描述逻辑的语义Web服务动态复合机制,并对其进行逻辑证明。

关键词 语义WEB 服务复合 描述逻辑 AI规划

在线阅读 下载PDF 职称材料

本体驱动的语义Web服务动态复合的研究 被引量：1

12

作者 李英杰 王莉 余雪丽 《计算机工程与应用》 CSCD 北大核心 2007年第9期31-35,共5页

传统Web服务的复合由于缺乏足够的语义信息而大大降低了服务复合的效率和准确率。语义Web弥补了传统Web语义不足的缺点。但是,面对语义Web上分布的海量知识,如何有效地利用语义信息实现Web服务复合成为一个迫切需要解决的问题。文章针... 传统Web服务的复合由于缺乏足够的语义信息而大大降低了服务复合的效率和准确率。语义Web弥补了传统Web语义不足的缺点。但是,面对语义Web上分布的海量知识,如何有效地利用语义信息实现Web服务复合成为一个迫切需要解决的问题。文章针对这一问题,提出一种基于多维用户模型的动态服务复合机制。该机制在Web服务语义标识的启发下通过语义匹配算法能够实现Web服务的顺序复合和并行复合。采用这种服务复合机制将会在一定程度上提高语义Web服务复合的效率和准确率。 展开更多

关键词 服务复合 串行复合 并行复合 OWL-S 描述逻辑

在线阅读 下载PDF 职称材料

超越行政雇佣制和项目外包制?——复合型政府购买公共服务策略研究 被引量：9

13

作者 王学梦 董国礼 《中国农业大学学报（社会科学版）》 CSSCI 北大核心 2020年第4期72-81,共10页

间接控制的“项目外包制”和直接控制的“行政雇佣制”是近年来地方政府购买公共服务的两种基本策略,分别代表了分权与集权的逻辑进路。对广东和杭州两地的经验案例分析发现,随着社会转型期加快,广东正在经历由“项目外包制”下的“家... 间接控制的“项目外包制”和直接控制的“行政雇佣制”是近年来地方政府购买公共服务的两种基本策略,分别代表了分权与集权的逻辑进路。对广东和杭州两地的经验案例分析发现,随着社会转型期加快,广东正在经历由“项目外包制”下的“家综模式”向“行政雇佣制”下的“双百计划”过渡,杭州正在遭遇由“行政雇佣制”下的“全能社工”向“项目外包制”下的“项目社工”转型。二者在行政体制内外的渐进式演化是地方政府放权和收权适度平衡、政治和社会有机统合的产物,代表了一种复合型政府购买公共服务模式的兴起。这一模式确立了一种由体制、市场、社会三轨运行的治理逻辑,兼顾了社会福利、行政控制与专业价值多重利益诉求,加快了基层社会治理的结构重组和功能再造。 展开更多

关键词 行政雇佣制 项目外包制 复合型政府购买公共服务

在线阅读 下载PDF 职称材料

基于本体的Web服务连接研究

14

作者 吴奎 周献中 +2 位作者 萧毅鸿 施爱博 田卫萍 《系统工程与电子技术》 EI CSCD 北大核心 2010年第1期179-182,共4页

针对Web服务组装过程中服务输入-输出接口连接程度量化和多分量连接对应关系判定问题,提出了一种新的连接度量化方法。该方法基于领域本体中的概念条件出现概率,将服务连接程度定义为输入-输出接口概念的替换可能性。在此基础上,利用二... 针对Web服务组装过程中服务输入-输出接口连接程度量化和多分量连接对应关系判定问题,提出了一种新的连接度量化方法。该方法基于领域本体中的概念条件出现概率,将服务连接程度定义为输入-输出接口概念的替换可能性。在此基础上,利用二部图稳定匹配算法给出了服务接口各分量之间连接对应关系判定算法。最后讨论了不同连接样式下复合服务连接度计算,并分析算法的时间性能。 展开更多

关键词 服务组合 服务连接度 概念出现概率 稳定匹配 复合服务质量

在线阅读 下载PDF 职称材料

基于移动Agent和主动网络的服务组合与定制

15

作者 徐其兴 余镇危 《计算机工程》 EI CAS CSCD 北大核心 2006年第17期153-155,共3页

在面向服务的架构中,为了实现根据用户需求,利用已有的服务构件组装新的服务,提出了基于主动网络和移动代理技术的服务定制模型,该模型将定制服务所需的基本服务封装成主动服务包(称为ServiceAgent,SA),通过SA的不同组合生成用户所需要... 在面向服务的架构中,为了实现根据用户需求,利用已有的服务构件组装新的服务,提出了基于主动网络和移动代理技术的服务定制模型,该模型将定制服务所需的基本服务封装成主动服务包(称为ServiceAgent,SA),通过SA的不同组合生成用户所需要的服务,并对服务定制过程中涉及的服务描述、服务发布、服务发现与选择、服务组合与定制等关键技术进行了研究,解决了传统网络不能实现服务定制的问题。 展开更多

关键词 服务组合 主动网络 移动AGENT 原子服务 复合服务

在线阅读 下载PDF 职称材料

乡卫生院转变服务模式初探

16

作者 祝国龙 《中国卫生事业管理》 1988年第4期17-18,共2页

众所周知,乡卫生院是农村三级卫生网的枢纽,担负着医疗、卫生防疫、妇幼保健、计划生育技术指导、卫生宣传和管理指导村级卫生人员等多项任务。由于乡卫生院的性质和任务,决定着乡卫生院应具有医疗、预防、保健、卫生行政管理等多功能... 众所周知,乡卫生院是农村三级卫生网的枢纽,担负着医疗、卫生防疫、妇幼保健、计划生育技术指导、卫生宣传和管理指导村级卫生人员等多项任务。由于乡卫生院的性质和任务,决定着乡卫生院应具有医疗、预防、保健、卫生行政管理等多功能的复合性结构,其服务模式不应是面向个体为主的医疗服务型,而应是面向群体为主的医疗—预防—保健复合型服务模式。但是,由于多年来传统的生物医学模式影响,乡卫生院却一直坚持面向个体为主的医疗服务模式,由此也产生以下的积弊: 展开更多

关键词 卫生行政管理 医疗服务模式 农村三级卫生网 卫生人员 卫生宣传 生物医学模式 预防保健 复合型服务 卫生服务 复合性

在线阅读 下载PDF 职称材料

基本公共服务质量管理体系的构建与实证研究 被引量：3

17

作者 陈朝兵 《中共天津市委党校学报》 北大核心 2020年第3期86-95,共10页

构建基本公共服务质量管理体系是促进我国基本公共服务高质量发展的现实需要,也是公共行政学科中的一项前沿研究课题。借鉴工商领域中质量管理体系的构建思路,围绕基本公共服务质量管理的内容与职能两个要素,可以构建“复合型”基本公... 构建基本公共服务质量管理体系是促进我国基本公共服务高质量发展的现实需要,也是公共行政学科中的一项前沿研究课题。借鉴工商领域中质量管理体系的构建思路,围绕基本公共服务质量管理的内容与职能两个要素,可以构建“复合型”基本公共服务质量管理体系。该体系分为中心部分和外围部分。中心部分包括基本公共服务的质量要求、质量特性和质量特性满足质量要求的程度,回答了基本公共服务质量管理“管理什么”的问题;外围部分包括基本公共服务的质量决策、质量控制和质量监测,回答了基本公共服务质量管理“怎么管理”的问题。基本公共服务质量管理的内容与职能之间具有紧密的内在联系,各职能之间是一套相辅相成、依序递进、循环往复的有机系统。 展开更多

关键词 基本公共服务 质量管理 “复合型”基本公共服务质量管理体系

在线阅读 下载PDF 职称材料

现代智慧图书馆的构建研究 被引量：3

18

作者 陈文娟 《绿色科技》 2016年第12期248-249,253,共3页

指出了进入21世纪,人类逐步地解放了生产力,图书馆这样一个传统设施也需要紧跟时代的步伐进行一系列的改变,智慧图书馆则是传统图书馆转型的最好的方向之一。从智慧图书馆的特性出发,结合智慧图书馆所搭建的前沿技术,充分阐述了智慧图... 指出了进入21世纪,人类逐步地解放了生产力,图书馆这样一个传统设施也需要紧跟时代的步伐进行一系列的改变,智慧图书馆则是传统图书馆转型的最好的方向之一。从智慧图书馆的特性出发,结合智慧图书馆所搭建的前沿技术,充分阐述了智慧图书馆在使用时所具有的优越性。对智慧图书馆的构建提出了相应的建议和意见。 展开更多

关键词 智慧图书馆 数字图书馆 复合图书馆服务 信息技术

在线阅读 下载PDF 职称材料