• 主题
高级搜索  >
历史搜索 清空历史
首页>中文会议>工业技术>自动化技术与计算机技术>第一届全国服务计算学术会议
第一届全国服务计算学术会议

第一届全国服务计算学术会议

  • 召开年：2010
  • 召开地：哈尔滨
  • 出版时间： 2010-08-10

主办单位：中国计算机学会

会议文集：第一届全国服务计算学术会议论文集

会议论文

热门论文

全部论文

相关中文期刊

更多>>

相关外文期刊

更多>>

相关中文会议

更多>>

相关外文会议

更多>>

热门会议

更多>>

最新会议

更多>>

全选（0）
  • 摘要：结合计算机系统可信性评价需求，研究基于SOA软件系统可信性评价方法．首先引入SOA代数模型，给出SOA软件可信范式，为从软件体系结构角度研究可信性评价问题奠定基础．给出SOA软件元素(服务组件和服务组合)可信属性的定义，以及可信性定义；证明可信范式下SOA软件系统的Markov特性，提出SOA软件系统的综合可信性评价模型．通过一个案例解释SOA软件系统可信性模型的应用．rn 最后通过与同类研究比较，总结本文的特点和贡献．
  • 摘要：为了帮助中小型企业(SMEs)应对经济全球化的挑战，“集群式供应链”的概念作为一种新型管理模式被提了出来，它集成了工业集群和供应链两个方面的优势．目前，对集群供应链的研究仍然处于初级阶段，其理论结果难以应用到实践当中．基于此背景，本文提出了一个集群式供应链服务系统的设计方法，以Agent模型与Web服务之间的模型映射为桥梁，整合来自不同学科领域的研究成果，从而弥补该领域理论和实践之间的鸿沟．最后，通过浙江织里镇的童装工业集群的案例，来解释如何使用该方法指导集群式供应链的构建和开发，主要包括三个阶段：商业建模、模型映射和实现建模．
  • 摘要：在分析物联网的系统模型和网络模型的基础上，提出物联网的敌手模型和密钥管理安全需求，指出了一个新的需要首先解决的研究问题：ID保护的物联网T2TTol中密钥管理方案，方案需要兼顾能量高效性和健壮性。然后提出一系列密钥管理方案，包括密钥预分发、基于中央控制单元的密钥分发、基于ONS的公钥查询方案、ID保护的ONSKEY方案、基于ID的密钥管理方案。每个方案均给出相应分析。
  • 摘要：针对当前对等网中超节点的选择大都根据节点物理性能而没有考虑free-riding现象，综合考虑节点的物理性能，自愿性与时节点的未来预期，提出了一种具有激励效用的超节点选取机制SSMI，SSMI中选取节点整体效用值最大的节点作为超节点，超节点同时承担一定的监察作用以威慑Free-riding节点．仿真实验表明，SSMI较之按节点能力选择的方法使P2P系统性能明显提高，能保证在较小的网络开销下，达到激励节点主动参与贡献资源的目的，提高了文件共享数量与查询成功率，减少了资源的定位开销。同时保障了超节点叠加网络的稳定性，具有较好的系统鲁棒性．
  • 摘要：事件是随时间变化而变化的具体事实，事件是由动作、时间及其它要素组成，动作是事件定义中的主要构成部分．在面向事件的知识库系统中，关于动作的推理研究一直是重要的研究课题之一．现有的动作推理形式化系统旨在描述和推理现实世界中状态的变化，忽略了时间要素对推理过程的影响,针对这种不足，本文在描述逻辑的基础上扩充了一个Action-TBox和一个Action-ABox,并将事件本体中的动作要素和时间要素相结合，形式化定义了动作的一个三元组表示方式以及多种时间构造算子．用以刻画组合动作的发生过程，在此基础上研究了事件本体中关于动作的几种推理服务．
  • 摘要：服务描述本体是基于语义的服务聚合的基础．目前本体构建主要由领域专家手工进行,具有成本高、时间长、不易演化等困难，不能满足mashup生态系统对本体的需要．标签作为一种在各类服务注册体系中被广泛使用的大众分类手段，从功能、认知的角度对服务进行描述，是群体智能的一种体现．提出了一种从标签自动构建mashup服务描述本体的方法,该方法利用大众分类，可以自下而上地进行自动化本体构建，并能随网络化的服务资源变化而自行演化．最后，通过实例验证了该方法的有效性．
  • 摘要：为了保持竞争优势，Web服务必须适应不断变化的业务需求和环境对于一个长时间运行的服务编排而言，其中的参与服务可能会在运行时刻发生演化．然而，当参与服务的演化影响到之前商定的服务编排时，如果这些服务按照一种非协同的方式进行动态演化，那么演化在之后参与服务之间的交互可能会引发一些错误(例如死锁、未指定的接收等)．为了避免这个问题，我们提出了一个可以有效支持服务编排动态演化的方法．我们的方法采取了两个机制来保证服务编排的动态演化按照一个有序的方式进行．首先,我们提出一个演化协议以支持服务编排中参与服务的协同动态演化．其次,我们的方法规定某一服务可以适应服务编排的演化当且仅当其它受服务编排演化影响的服务可以同步适应服务编排的演化．一个采购订单应用用来引出本文的研究动机并说明我们方法的可行性．此外，我们在jBPM平台下给出本文方法的初步原型实现．
  • 摘要：在请求密集的关键性业务应用中，如何增强业务流程管理系统(BPM)的水平扩展能力引起了越来越多的关注．rn 当前，BPM系统的可扩展性研究主要集中在针对单节点计算资源瓶颈的流程运行时分布式调度算法方面，但对于流程数据管理对BPM可扩展性的制约关注不够．本文在对业务流程数据特征分析的基础上，结合传统的关系型数据库和分布式键值存储系统的优点，提出了一种能够改进BPM可扩展性的流程数据管理机制，并将其运用于VINCAProFlow中．实验结果表明，在使用了该数据管理机制后，VINCAProFlow在可扩展性方面取得了明显的进步．
  • 摘要：互联网上Web服务资源具有自治性和动态性，单个资源的可用性不尽确定，服务使用者面临服务不可控的问题．针时该问题，本文在已有业务服务研究的基础上,提出了业务服务运行时动态切换技术和业务服务继承关系以保障服务的可用性，证明了该方法能够分步提高服务调用的可用性，同时给出了相应的可用性计算方法和业务服务调用算法，最后通过案例分析和仿真实验评价了其可用性保障能力．
  • 摘要：SOAP消息是Web服务间进行通信的默认消息机制，它本质上是基于XML的文档，用来完成系统间数据的交换．相较于不带Header的SOAP消息，带Header的SOAP消息不仅扩展了SOAP协议，还解决了平台安全性认证、扩展性和事务操作等方面的问题．本文就着眼于带Header的SOAP消息,详细阐述了其在Servicemix环境下与BPEL引擎交互的实现方法，并且通过天气查询系统(一个融合了数据类和通信类网络服务的系统)验证了这种方法的可行性．
  • 摘要：本文提出了一种基于BPEL的web服务组合流程发现方法(WSCD)，通过对流程库的流程按查询相似度排序，返回一个流程列表．当创建新流程时，可以直接从流程发现结果中寻找复用流程，或者为新流程设计提供借鉴流程。
  • 摘要：随着服务计算的发展，服务流程作为连接和集成多个服务的技术手段得到了越来越普遍的应用．如何在开放的环境下重用服务流程成为了一个重要的问题，而度量服务流程之间的差别是服务流程重用的核心技术之一。本文基于流程模型的结构化流程树表示，提出了一种能够在不同层次水平上量化衡量服务流程差别的方法,并对该方法的具体过程及其实现进行了描述，还证明了该度量方法满足距离的所有特性。
  • 摘要：快速检索出相关流程是业务流程资源库必须具备的功能，目前的检索方法主要基于相似度计算，但局限在相同粒度的业务流程之间，不适用于跨粒度的检索，本文关注的是跨粒度的业务流程之间相似度比较，并且认为，改进目前已有方法的关键是在进行相似性比较前，将粗粒度的流程精化到细粒度，针对这个目的，提出一种精化方法，它能够将输入的粗粒度业务流程半自动的精化到细粒度．在一种已有的相似性比较算法基础上，本文实现了原型系统，用来比较精化方法对检索效率的影响，基于真实数据集的实验结果表明，精化方法能够有效的改进传统方法，使其适用于跨粒度的业务流程检索．
  • 摘要：融合网络环境下服务的动态聚合机制是一种新的网络服务生成技术，目前尚无成熟的解决方法．本文将web服务组合技术及UML建模技术相结合，提出了一种用户需求和上下文信息驱动的、基于预埋动态机制的服务流程建模方法。基于这种流程建模方法，进而提出了一种三级二维的动态服务组合机制，满足了融合服务的动态性和个性化的适配需求。最后以一个医疗监控服务为场景验证了该方法的可行性．
  • 摘要：组合服务应当具有适应所处的环境和商业规则不断变化的能力．现有的服务组合语言和执行机制缺乏应对动态变化所需的可变性和适应性．尽管已有很多扩展，但是组合服务的动态适应正确性还缺乏保障。本文提出了一种基于条件Pi演算的组合服务柔性演化机制．通过增加归属操作符和条件控制符对经典Pi演算进行了扩展，使之与事件-条件-动作模式能够更好的结合起来，从而提出了一种描述组合服务流程的方法．从分析组合服务各种变化的场景出发，提出了11种基本的变化场景及其不同的柔性演化模式，对每种模式进行了形式化描述和分析．我们的方法能够保证组合服务的可变性和适应正确性．
  • 摘要：服务组合是面向服务计算环境中实现价值增值的有效途径．现有研究多关注于顾客价值的提高，而对提供服务组合方案的服务提供者或代理商的价值缺乏充分考虑．一方面，在服务级别协议下，超过约定级别的质量不会给提供者带来额外收益，也不能有效提升顾客价值，因此是没有必要的；另一方面，服务本身及其交付环境的不确定性导致服务质量也具有一定的不确定性，使得实际服务可能无法达到约定的服务级别，甚至完全失效．基于服务级别协议对服务收益和策略进行分析,给出面向收益优化的服务选择模型，并将阶段估计与即时反馈相结合，对需求进行贪婪调度，最终基于模拟退火实现组合服务的优化选择．实验结果表明，与传统方法相比，该方法不仅能够获取更多的服务收益，而且在不同需求分布下均具有更高的效率．
  • 摘要：基于Web服务功能属性与非功能属性分离的思想，提出了在组合服务流程确定情况下基于非功能属性的组合Web服务选择模型．考虑到非功能属性之间不可公度性和矛盾性,设计了一种基于极大熵函数和社会认知算法的新的混合智能算法来解决完全信息下的全局服务选择优化问题．最后给出了数值实验，实验表明本文的方法可以综合考虑服务组合的非功能要求，从而实现自动的全局服务选择．
  • 摘要：按需服务资源聚合、软件随需演变生长赋予了需求工程在服务计算时代新的机遇．本文针对面向服务的网络化软件开发强调发现和重用已有的服务资源,通过聚集服务资源来满足用户需求的软件生产技术形态，构筑语义需求工程以应用于网络化软件的生产基于语义的服务需求工程的关注点是识别服务和过程,采取涉众群体智能参与的服务需求语义获取和需求语义驱动的互操作性聚粪来实施按需服务生产的方法，以服务的需求语义完整性描述为支点，系统地研究和提出三大技术：即面向大众本体、不断演化、即时验证的需求语义获取技术：需求语义驱动的服务软件聚合方法和基于需求语义的服务定制针对需求语义获取和服务聚合生产,充分发挥网上涉众群体智能和需求专家相结合采用语义wikis以捕获和验证网络化软件需求语义，通过需求语义互操作展开选择连接本体作为语义信息载体进行服务资源聚合生成网络化软件．理论与实证研究表明落于语义的服务需求工程对于云服务环境下网络化软件的按需交付具有明显的实用性和有效性．
  • 摘要：本文提出了一种基于逻辑推理和Petri网的Web服务自动组合方法．该方法使用命题逻辑规则作为语义Web服务的内在表示模型，通过把服务及服务接口概念之间的语义关系表示为一组命题逻辑规则，把用户提供的输入和要求的输出分别表示为事实和目标命题，从而将服务自动组合问题转化为命题逻辑推理问题．基于逻辑推理的算法可以在规则库大小的线性时间内有效判断是否存在满足用户功能要求的合成服务，并同时选出那些组合中可能会用到的规则：进而使用Petri网为选出的规则集建模，利用其结构分析方法来有效获取及验证合成服务的流程．
  • 摘要：针对现实环境中Web服务的动态性特征，实现了一个支持持续查询的自动服务组合系统Synth-CQ．该系统通过支持“持续查询”，动态响应服务变化，实时更新缓存的服务组合结果。具体方法是：首先依据服务间的依赖关系构建一个有向的服务依赖图，然后采用前向搜索和后向回溯相结合的两阶段图搜索算法以获取服务组合结果并标记服务的状态．最后，针对变化的服务，将它们置入优先队列中并按照优先级顺序逐一处理：确定其影响的服务和查询请求，更新受影响的服务状态和缓存的组合结果．该方法优点是：重用缓存结果中的信息，避免重新查询；基于优先队列,避免不必要的更新操作；保证缓存结果的有效性、一致性及层数最优性。实验结果表明该方法可以有效地响应服务变化，处理效率与可扩展性明显优于重复查询方法：时间开销节省60％以上，可有效处理成千上万个服务和不同测试集合，100％保证组合结果层数最优．
  • 摘要：服务组合作为实现服务增值的一种有效方法，业已广泛使用于各种应用．安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用。然而目前还缺乏对服务安全组合进行有效描述和分析的方法。提出一种基于面向方面的形式化服务安全组合建模及其分析方法。重点讨论了服务的授权、执行的可追踪、数据保护及故障处理，并利用面向方面规范基本模块的行为、描述它们相互关系的手段，编织机制将这些模块动态地集成为一个完整的服务组合模型。rn 基于此，Petri网的操作语义及相关理论分析服务组合的安全性及故障处理能力，给出服务组合的正确性准则。并证明了其有效性。具体实例及仿真结果表明，该方法能有效地简化系统建摸，有助于提高服务组合的设计质量。
  • 摘要：动态Web服务组合近年来作为一个极具挑战性的问题正吸引着越来越多的人的关注．但是，目前主流的动态服务组合方法在面对大规模服务组合时都存在着效率不高等问题。本文提出一种结合服务的功能性以及非功能性(QoS)的组合算法，通过使用分层强化学习，可以有效的解决大规模服务组合时的效率问题，并且由于强化学习所具有的自适应能力，该算法可以很好的适用于动态组合环境。而且，我们使用了一种定性的方法来选择最优服务．rn 实验结果展示了该算法在动态服务组合当中所具有的高效性．
  • 摘要：随着现代服务业的迅猛发展，服务产业已在全球占据了相当的市场份额．因此有必要在高等学校建立与服务产业对应的学科与专业，以培养掌握服务相关技能和知识的人才，已适应中国服务经济发展的需要．服务科学，或服务科学，管理与工程是正在兴起的跨学科研究领域．这一新的学科将包含计算机科学、管理学、产业工程、社会和认知科学以及法学等多领域的内容，目的是发展以服务为主导的经济所要求的技能．本文简要介绍了服务计算类本科专业的目标，以及该类专业的知识空间和课程体系的初步研究等．
  • 摘要：平台即服务PaaS(Platform as a Service)是云计算三种服务模式之一，它对上提供了对SaaS(Software as aService)的支持，对下屏蔽了硬件基础设施IaaS(Infrastructure as a service)，因而成为最重要的云计算服务模式．本文在分析现有的云计算PaaS平台功能及实现方法的基础之上，结合中兴通讯在电信业务交付平台SDP实践经验的基础之上，提出了电信级PaaS平台解决方案的实现框架，并对其中的关键技术进行了深入的分析和研究．
  • 摘要：云存储是分布式存储技术与虚拟化技术结合的产物，是分布式存储技术的最新发展。云存储意味着存储可以作为一种服务，通过互联网提供给用户．相时于当前各种C／S计算模式的GFS．HDFS，Sector等云存储文件系统，提出了一种基于对等计算模式的云存储文件系统通用模型,并采用Kademlia算法构建了原型系统MingCloud．MingCloud能提供基本的数据存储、读取、删除、搜索等存储服务功能并突出了系统中数据的安全性与可靠性．仿真实验结果表明，MingCloud系统具有较高的可用性和性能，系统通过改进和优化后能实际应用于互联网动态开放环境，并为用户提供较高质量的云存储服务．
  • 摘要：基于云计算的SaaS(Software as a Service)软件是由不同的IaaS(Infrastructure as a Service)和PaaS(Platform as a Service)提供的各类服务、环境配置、各类服务实体等，这就造成这些资源存在一定的差异性，将在很大程度上影响了SaaS软件的兼容性、可用性、扩展性和可操作性，以及集成性、可配置性和定制性(简称IIC)，直接也会对SaaS软件质量带来了前所未有的挑战．因此，本文提出一种基于云计算的SaaS组装和质量方法：首先建立一种SaaS寻址方法和组装中断方法；在寻址方法中，设置SeaS虚拟地址空间，并建立多种寻址途径和访问策略：在组装中断方法中，根据SaaS寻址情况，设置多种中断方法，以保证SaaS组装连续性和确定性;并根据寻址和中断情况建一种适合SaaS的相似度计算方法,以满足整个SaaS组装流程的精确性．其次根据SaaS的寻址组装和中断的情况，从Web服务质量、地址数量和分布、可用性、资源共享度、互操作性和ICC等角度建立SaaS组装质量模型，即QoSaaS(Quality of SaaS).第三,在寻址中断支持和QoSaaS驱动下，构建一种SaaS组装算法．最后在Amazon下以一个SaaS销售软件生成为例进行分析，并给出一组数据验证表明该方法的可行性和有效性．
  • 摘要：构建满足用户个性化需求的新型流程模式及其应用已成为当前软件技术发展的关键。因比，迫切需要研完一种满足按需流程的服务组织方式，既能有效地利用现有的Web服务资源，又有利于提供一体化的服务资源访问机制。云计算的特征和优势为上述问题的解决提供了良好的契机。然而，当前的云计算架构存在成本、效率、安全性等问题，未能很好地解决业务流程方面的应用。本文研究了基于社区云的按需业务流程的生成方法，提出了将服务节点虚拟化为元服务进而构成社区云的有效组织方法，并给出了基于这种组织方式的云计算平台，进而描述了云服务节点加入社区云的算法和服务发现、绑定及流程生成方法。这种方法与传统的方法相比，较好地降低了流程执行的时间复杂度。研究成果将对构建新型流程应用模式奠定理论基础，对提升云计算技术在业务领域的研究和应用水平具有重要作用。
  • 摘要：应用虚拟化旨在通过将应用软件虚拟化以提供透明的使用，能够解决对异构、遗留应用的访问和集成；通过增加应用虚拟化层增强SaaS模式的服务系统的灵活性和动态性。rn 围绕应用虚拟化构建过程中的方法学问题，提出了单一映射、拆分映射、聚合映射、复杂映射等四种主要的应用虚拟化模式；最后通过对Ansys软件遗留系统的封装实例验证了本文的研完工作．
  • 摘要：为了在用户混搭(Mashup)过程中实现数据操作推荐，本文全面考察了常见的混搭系统，从中抽象出含有四种数据流模式的基本模型，并在该模型上定义了数据操作推荐问题。利用数据操作复用率高的特点，采用统计手段得出全局(在所有的混搭应用中)和局部(在正在构建的混搭应用中)的操作组合模式,并以此为依据，实现沿数据流方向与逆数据流方向的top-k数据操作推荐．通过理论分析，优化了计算过程，降低了计算开销．上百个YahooPipes被采集来进行了一系列的实验，结果表明本方法具有较高的准确性和运行效率．
  • 摘要：软件即服务(Software as a Service)模式下，应用软件和数据库都部署在非完全可信的服务运营商端，数据隐私保护成为SaaS模式应用和推广中一个极大的问题和挑战．针对明文状态下不同SaaS数据属性组合泄露隐私程度的不同，提出一种面向SaaS应用的数据组合隐私保护机制．该隐私保护机制支持租户自定制隐私约束，用来描述数据组合隐私保护需求，将SaaS数据属性切分到不同的数据分块中，利用可信第三方实现数据切片间关联关系的混淆和重构，并基于伪造数据，确保同一数据分块内部数据切片分布的均衡化，实现SaaS数据租户隐私保护和实用性的有效结合．通过分析，证明了隐私保护机制的有效性和合理性，并通过试验验证了该隐私保护机制的实用性．
  • 摘要：SaaS应用在版本升级过程中，相对于同时维护两个系统，只维护一个系统供两个版本应用访问可以有效节约资源，在这期间对系统的数据库模式进行渐进式演化，可以在节省数据迁移成本的同时保证两版本应用的存取效率．模式的渐进式演化过程中各个操作之间存在的数据依赖使得演化操作需要遵循一定的顺序执行．本文提供了一种基于数据依赖的渐进式模式演化方法，将数据依赖应用在演化操作集合上生成一个操作执行顺序矩阵，利用这个矩阵可以判断一个演化方案能否顺利执行．文章利用一个具体场景进行了验证，我们认为本文提出的方法是合理而且有效的．
  • 摘要：服务分散存储在互联网上，随着互联网上Web服务的快速增长，自动、准确地搜索Web服务已经成为面向服务计算中的难点和关键问题．本文针对在开放、动态环境下现有的服务发现研究中存在的搜索效率不高、负载不均衡和语义欠缺等问题，提出了一种基于推荐网络和蚁群算法的服务发现方法．首先，该方法构建一个自组织服务推荐网络模型，并给出了相关策略，从而适合大规模开放、动态的环境，为服务搜索提供了搜索空间和基础．其次，在自组织服务推荐网络模型的基础上，给出了一种基于蚁群算法的服务发现方法，该方法使用推荐有效地提高了服务发现的成功率和查全率，引入蚁群算法的思想有效地解决服务发现中的网络负载均衡问题．最后，实验结果证明了方法的正确性和可行性．
  • 摘要：随着虚拟机技术的发展，系统规模越来越大，系统在给任务提供服务时一方面需要保证服务性能，另一方面还需要优化资源的利用率，以此达到降低运营成本的目的．因此，现有的虚拟机技术面临着一个问题：即如何管理虚拟服务的资源，使系统能够根据任务需求提供相应的物理资源，同时又能够减少费用，满足服务质量的目标要求．为了解决这一问题，在虚拟机系统中设计了一个控制管理器．在此控制管理器中我们建立了一种基于Web服务的服务质量控制模型。这种模型的基本思想是使用相应的模糊控制理论，动态的给虚拟机服务器发送物理资源。其基本目的是在系统采样数据时自动建立和更新规则库，以此达到预测和控制本地下一阶段的资源需求．实验结果表明：这种模型是可行的和有效的。
  • 摘要：在面向服务的软件工程(SOSE)时代中，需要面向领域用户共性需求，从语义互操作层次实现服务资源聚合，形成领域核心服务资产的聚合来满足用户需求．本文提出了一种面向领域核心服务定制的部分语义互操作性聚类方法，该方法在实施服务本体封装的基础上，从语义互操作性的充分、必要能力两个方面，利用本体概念间语义推理关系进行匹配计算，实施领域服务聚合．与含意互操作性聚类方法相比，本文通过实验验证，该方法提高了满足用户个性化，多元化需求的按需服务的查全率．
  • 摘要：随着互联网中Web服务的急剧增长，大量服务资源已呈分布异构状态，仅仅靠单纯的语义信息已经不能满足Web服务的动态集成和随需而变．尽管网络通信协议、基于XML的各种信息交换协议基本解决了网络信息资源之间互连和互通的问题，但自治异构的Web服务之间的互操作问题还有待解决．本文针对以上问题，基于国际标准ISO／IEC 19 763-3：MFI4OR，构建了一种语义互操作性Web服务注册管理框架，并提出了Web服务的2种语义互操作能力，初步实现了Web服务资源由“孤岛性”向“互操作性”的转变．
  • 摘要：SaaS模式已成为当前流行的软件服务形式。为满足不同租户个性化的业务服务需求，SaaS模式必须提供灵活的定制机制．提出了一个支持租户业务流程定制行为建模及验证的框架，该框架以层次定制行为约束图作为定制指导，通过TLA(Temporal Logic of Actions)对各层的原子定制活动建模，并以此为基础构建祖户的全局定制行为，然后基于应用的业务规则约束设计算法验证全局定制行为的正确性；为有效提高租户的定制效率，基于对多租户已有正确定制结果的统计分析，设计定制推荐算法，合理减少验证次数．仿真实验结果证实了该机制的高效性及可靠性．
  • 摘要：软件即服务(Software as a Service，Saas)是一种利用互联网和第三方运营(托管服务)来优化软件供给和资源共享的新模式,服务管理是该模式下软件开发、部署、运行及维护均涉及的一个共性基础问题．传统以支持Web服务发现为主的服务管理方法难以应对SaaS模式下的服务类型不确定性，服务管理边界动态性和服务全生命周期管理的要求．为此，提出一种基于SaaS模式的服务社区模型，该模型旨在面向服务托管的全程管理需求建立一个服务资源的逻辑容器，使能对服务的有界化、有序化和可管可控管理，并针对服务管理边界的演化问题讨论了谊模型下的服务社区派生机制．最后，以全国科技信息服务网建设为具体案例，论述了服务社区模型及服务社区派生机制的实现方法，适用范围，应用效果和发展前景．
  • 摘要：随着互联网与传感器技术的发展，根据感知的情境信息向用户自动提供适当的服务能够给人们带来更加方便的智慧化生活．智慧服务的建立需要情境信息提供商，业务服务提供商和智慧服务设计者多方共同协同完成．为了降低各方之间的耦合性，为智慧服务的建立提供一种便捷的工程化开发方法，提出了一种基于情境感知的智慧服务系统架构．该架构将智慧服务的实现过程分为情境，场景和内容三个层次：情境表示，配置和推理定义智慧服务所需采集的情境信息和信息获得方式；场景划分，策略定义和场景识别说明服务的”智慧”，即说明当用户处于某一场景时要提供哪种服务；内容的感知定义确定用户通过何种手段使用智慧服务通过一个社区老年智慧服务的案例进一步说明使用该架构建立智慧服务的过程．该架构为智慧服务的建立提供一种社会化平台，支持人们共同参与和创造智慧化服务．
  • 摘要：在大量相似服务共存竞争环境下，面向服务质量的Web服务选择成为研究热点．已有的服务选择方法通常假设同一时刻请求某种功能服务的请求者只有一个，并为其选择一个局部最佳服务．然而在网格服务环境下，同一时刻存在相对固定数目的多个服务提供者和多个服务请求者，要使网格服务资源利用率达到最优，需要进行整体规划，制定最优选择方案。本文利用层次分析法计算出请求者对各服务的QoS满意度与服务信任的满意度，将二者结合起来，计算出综合满意度，并基于综合满意度进行0-1整数规划,建立全局最优网格服务选择模型。最后，通过仿真实验，验证了该方法的有效性。
  • 摘要：面对查询服务如何为用户提供一个满足其需求的个性化推荐?论文提出一种基于自然语言进行评论分析、并提取特征属性进行对属性决策，为用户提供推荐排名的策略和方法．建立基于评论语义和Web挖掘技术的信息推荐系统实现个性化服务．随着网上购物方式的普及，对同一商品的不同店铺之间的优劣比较和推荐成为越来越重要的问题．本文借助多属性决策的手段，提出了智能店铺推荐系统的框架，并结合自然语言处理技术，对各店铺的用户评论进行了主题抽取和情感分析，通过聚类成为“客户满意度”属性，与从店铺页面上爬取到的客观数据一起代入到推荐系统中进行计算。系统允许用户自主选择关心的属性及重要性排序，使得系统给出的推荐结果既能客现全面的反映店铺的状况，又能符合用户的评价偏好．本文实现了智能店铺推荐系统的原型系统，并详细展示了它的系统架构及展示步骤。
  • 摘要：针对现有通用服务功能模型在表示信息提供类服务时不够简洁、用于数据集成应用时不够精确的问题，在分析现有可用于语义Web服务功能表示的各种能表示动态性知识的形式系统的基础上，总结出它们在形式各异的表象下一致的内在实质，然后在这种一致性框架下，提出一种针对信息提供类服务的功能模型，并给出相应的服务匹配标准和组合方案正确性判定标准．该模型包括一个功能描述结构以及对该结构语义的解释，把服务表示为一个给定世界状态内的事实的查询，直接、简洁且具有严格的语义，并与现有语义Web服务标准在功能描述结构上保持兼容，适合在信息提供类服务环境中精确地刻画服务的功能及在服务发现与组合问题中判定解的正确性．
  • 摘要：针对跨域应用集成追求的分散控制目标，提出了一种业务事件驱动的跨域应用协作方法．给出了自治应用的协作规则和基于协作规则的跨域协作机制，并就其中的复杂事件描述．复杂事件处理等关键问题进行了讨论．应用示倒、实验和基准分析表明本方法可以快速、灵活、有效的实现应用的跨域协作．
  • 摘要：组合服务的性能模型构建以及评价是组合服务研究中的热点问题之一．基于模型的性能分析方法在传统软件工程性能分析中已经有了广泛的应用．然而由于服务处于不可控的网络环境当中,环境因素对组合服务的性能影响显著．目前大多的研究(埒)服务与环境统一建模应用传统的性能评价方法对组合服务进行性能分析,而忽略了环境因素的独立性，难以分析环境因素对组合服务的影响．针对这种情况，本文提出了一种对WSDL轻量级的扩展(E-WSDL)用以描述服务性能相关的属性，并在此基础上给出了一种环境相关的组合服务建模方法，(埒)服务的环境单独建模并与服务性能模型相关联从而构建环境相关的组合服务性能模型．对所构建的性能模型，文章给出了相应的评价指标以及计算方法．
  • 摘要：随着SOA在众多应用领域中得到认同以及可用的Web服务数量的快速增长，如何有效地组合Web服务来满足用户需求成为一个备受关注的问题。本文提出一种基于有界模型检验的Web服务组合方法．其中，Web服务被建模为有限状态自动机，众多Web服务构成服务社区，Web服务组合需求由线性时态逻辑公式描述，通过有界模型检验器的系统化搜索，该方法能够从服务社区中自动地构建满足需求的Web服务组合．实验表明，该方法能够适应较大规模的Web服务组合场景．
  • 摘要：服务选择机制是为用户提供智能性、主动性应用服务的前提基础,是移动SNS(Social Networking Service)中重要的研究内容之一．本文提出了基于上下文、信任网络和协作过滤算法的移动SNS服务选择机制，将上下文相似度引入到服务选择的过程中，并且和信任度相结合，构成用户-服务-上下文三维协作过滤服务选择模型，依据用户的上下文信息进行服务选择，提高了服务选择的准确性和可靠性，避免服务选择的盲目性和随意性，增强系统服务质量。在此基础上详细描述了基于上下丈．信任关系和协作过滤算法的移动SNS服务选择算法整体框架流程．最后，仿真实验证明较传统的协作过滤推荐算法该服务选择算法具有较高准确率．
  • 摘要：服务计算和云计算的快速发展使得基于Web服务重用的随需应变的分布式应用系统开发方式得到迅速普及。而随着Web服务的迅速增加，网络上分布着大量功能相同、非功能特性各异的服务，如何在功能相当的服务集中选择质量较优的服务成为一个普遍存在的问题．传统的基于服务质量的服务选择方法，无论是局部最优或是全局最优策略，在服务选择过程中均将服务库中所有服务纳入选择范围。本文引入数据库查询中的skyline方法，利用skyline中的支配关系，在选择过程中仅考虑skyline之上的服务，从而大大缩小了服务选择的范围,提高了服务选择的效率．同时针对动态Web服务环境，提出一种动态环境下的skyline服务维护算法，并通过一系列仿真数据的实验证明了所提算法的高效性．
  • 摘要：服务匹配是服务发现的重要步骤之一，服务匹配算法是实现这一步骤的核心技术。针对查询完全率和查询准确率没有量化指标及服务匹配效率不高的问题，本文首先给出了查询完全率和查询准确率的定义，并提出了一种基于本体的服务匹配算法．在这种算法中利用查询重写思想，把
  • 摘要：Web服务编排描述语言(WS-CDL)是一种以全局视角来描述各个参与方行为的XML定义语言。本文回顾了我们研究小组近期在WS-CDL的分析和测试工作中的研究进展。提出了两种方法来辅助程序设计者设计高质量的 WS-CDL程序．其一是在设计阶段对WS-CDI程序进行分析从而帮助服务组合设计者尽早地发现程序的缺陷：其二是通过自动覆盖全路径测试帮助WS-CDL程序设计者在部署前有效地发现缺陷。rn 其中分析方法中提出了一种通用的基于关系演算的性质检验方法,该方法适用于类似于XML的程序的分析．我们已经将本文提出的方法实现了开源工具CDLChecker。
  • 摘要：面向服务计算不仅有助于解决分布异构环境下的软件集成问题．还有助于促进软件重用，提高业务灵活性．rn 在面向服务计算模式下，是通过组合已有服务构建新服务．但是由于服务组合问题的复杂性，当前仍然缺乏一种有效的方法来实现服务组合。本文基于环境本体描述的领域模型，提出了一种需求驱动的服务组合方法，文中给出了需求分解算法，提出了确定服务闻关系的规则和服务组合的算法．分析验证表明，与已有同类方法比本文方法是有效的。
  • 摘要：基于服务的软件系统具有开放性和动态性的特点，给软件质量控制提出了新的挑战．软件健康管理(SHM，Software Health Management)由硬件预测与健康管理思想延伸而来，由实时监测、健康诊断、管理与决策、以及故障恢复四个方面构成，通过在运行过程中实时诊断、隔离、调节、重构等方法修复系统故障，提高系统的可用性和可靠性．本文介绍了SHM的发展背景和主要研究方法，分析了服务软件松散耦合、开放动态等特点给SHM研究带来的新的需求，并从监测技术、故障诊断和动态重构三个方面调研了服务软件的SHM研究现状．在此基础上，文章初步探讨了基于服务的软件健康管理的研究框架以及若干关键技术问题如探测嚣插桩、策略模型、服务选择与替换等
  • 摘要：覆盖控制技术是无线传感器网络的基础技术之一，主要研究无线传感器网络空间资源的优化分配，以满足用户的感知需求．覆盖节点的连通性是覆盖研究的关键问题，它决定了感知数据能否最终传递给用户．已知的研究并未涉及目标覆盖确定部署应用的连通性问题．因此，本文针对目标覆盖的确定部署应用，首先分析了目标覆盖中的连通性问题。并首次提出了针对目标全覆盖与维护节点集连通性关系的连通临界条件．其次，时于连通性条件无法满足的情况，提出了一个维护连通性的优化部署方案．该方案首先建立连通子集间的最小生成树，构造连通候选集；然后，基于连通候选集，利用遗传算法，得到优化候选位集．rn 仿真实验表明，本文提出的优化部署方案既实现了对目标集的全覆盖，又维护了连通性，并使候选位集的元素个数更少．
  • 摘要：动态服务环境的各种异常随时会导致整个业务流程暂时无响应或服务中断，极大影响业务流程的可靠性．已有替换机制大多缺乏事务支持而适应性差，进而不能有效保证系统执行过程中事务服务的原子性和数据一致性，也无法保障替换过程要求的正确性、实时性和高效性．本文以“事务支持”为核心，提出一种事务级组合服务主动伺机替换算法．该算法充分考虑了服务间多关系以及Web服务的事务特性，首先给出了事务粒度的获取及替换范围识别算法．然后，提出事务级替换代价/收益QoS模型，将事务补偿代价与替换代价有机结合，保证以最少的代价实现服务替换．在此基础上，提出了全新的QoS驱动的事务级服务替换算法．为了提高替换的时效性，提出了早期预测模式挖掘算法，对运行的服务实时监控保证其识别失效服务的早期性。实验结果证明该模型不仅保证了替换过程中业务流程的事务原子性和数据一致性，而且提高了系统的可靠性和时效性。
  • 摘要：为了应对来自网络计算环境下业务流程跨越协同过程中层出不穷的业务需求，提出一种跨域抽象业务流程动态构造方法．方法利用跨域服务协同语义模型，基于层次任务网络规划方法，构建满足用户业务需求的跨域抽象业务流程，保证流程的逻辑结构及其功能与业务需求的语义一致性，为网络计算环境下管理域间的业务协同和互操作提供了更为实际可用的服务流程．原型系统实验及实例验证说明该方法的正确性和有效性．
  • 摘要：服务业务流程模型的质量对服务系统的质量产生直接影响，而衡量模型质量的标准除了模型本身的一致性、无歧义性等性质外，更为重要的是其能否充分满足顾客的服务需求．在服务工程中，服务价值被认为是各服务参与者期望从服务获取的最终目标，采用价值模型从功能性和非功能性两方面对顾客需求进行形式化描述．通过对Pi演算扩展动作质量约束和价值实现程度计算函数，提出价值进程代数VPA．用于形式化表达和验证服务业务流程模型．利用语义等价匹配算法和弱互模拟理论，提出验证目标价值的可实现性和实现完整性的模型分析方法，分析目标价值的实现程度，进而定量计算服务业务流程模型对顾客需求的满足情况，为后续面向价值的服务模型优化提供依据．
  • 摘要：为了解决不同应用系统在实时联动的过程中由于人工操作导致延迟的问题，本文提出了一种支持事件驱动数据关联的业务服务对象．业务人员可以利用领域专家建模的业务服务对象定义数据的业务规则，这些业务规则通过事件驱动的方式实现不同应用系统的实时联动．实验数据表明，基于业务服务对象的应急联动系统不仅在运行过程中具有良好的容错性而且具有高效性．
  • 摘要：Web服务正从最初关注描述、发布和交互向支持健壮的业务协作新阶段发展，BPEL作为Web服务业务流程执行语言成了服务组合和业务流程正确性验证研究的焦点，BPEL语言的设计目标是描述由一个组织机构执行的单个业务流程，缺乏对多方服务参与者协调一致性的描述能力，这些研究没有提供参与者之间协调事务的建模与验证方法，如何保证Web服务组合和业务流程的参与者之间协调一致性是亟待解决的重要问题．在Web服务事务规范WS-TX中参与者之间的消息通信缺乏严格的语义，无法精确地描述复杂的协调活动，本文首先对消息通信进行形式化描述，用Pi-演算建立了服务协调的行为模型，并基于等价自动机转换的模型检测方法，提出了Pi-演算移动进程模型到符号模型检测工具输入语言的转换方法，在模型检测反例分析方法上给出了Pi-演算进程形式的反例生成算法，用易理解的反倒状态变迁路径图的方式反馈给业务流程设计者进行修改．从建模、转换、验证到分析，该方法能自动检查分布式业务流程设计的正确性，有效地确保业务事务执行的可靠性和一致性．
  • 摘要：基于抽象状态机(Abstract State Machines，ASM)的建模与测试方法，能将Web服务编排设计中的错误尽可能消灭在开发阶段的早期．为简化建模过程，开发了一个自动化工具，用户能够快速定制无状态的Web服务接口与编排规则，即接口的输入、输出以及哪些服务的哪些接口之间能发生交互．该工具首先将这些描述转换为有状态的抽象状态机描述，进而转换为可执行CorcASM归约。实现服务描述到CoreASM归约的自动转换引擎是工具的核心和本文的目标。
  • 摘要：逻辑模型向物理模型的自动转换问题是面向Artifact的BPMS(Business Process Management System)面临的一个关键问题．本文选取ArtiFlow作为逻辑模型，BPEL作为物理模型，重点研究ArtiFlow到BEPL转换过程中库与Services间的匹配问题．给出了ArtiFlow的形式化定义和库的逻辑模型，扩展了物理模型中的操作模型，将库与Services间的匹配问题转化为XML数据的匹配问题，提出了两层匹配算法．
  • 摘要：BPEL作为一种重要的web服务组合语言，它的正确与否直接影响到最终组合后服务的正确性．针对BPEL流程中可能存在的流程与被调用的服务不相容的问题(包括接口的不相容与行为上的死锁),提出了一种基于UML和扩展的类型pi演算的BPEL相容性的检测方法、对BPEL流程中的静态相容性和行为相容性同时进行检测,并对静态相容给出了适配器生成方法．本文用一个多媒体会议系统中的申请发言的BPEL流程来验证算法的正确性和有效性。
  • 摘要：Web服务技术的发展改变了软件的生产过程，需求工程成为面向服务的软件工程的关键：同时，该技术降低了软件生产的难度，便于普通用户根据自身的个性化需求定制软件．本文提出了一种面向服务的个性化需求分析方法．该方法基于领域目标模型和流程模型，在用户对目标模型个性化操作的驱动下，进行需求正确性检测，提示用户潜在的错误，并最终在重用领域流程的基础上动态地生成满足用户需求的个性化流程．该流程是Web服务发现、组合的基础．
  • 摘要：以用户为中心按需构造应用的新兴开发模式，能够直接地反映业务需求，提高建模的准确性，降低应用构建成本．然而，为了支持最终用户自主构造应用，需要有一种适于最终用户理解和使用的编程模型，一方面可为用户屏蔽底层流程逻辑的细节、提供用户关心的编程抽象；另一方面还具有良好的组织，易于用户把握全局．rn 本文提出一种基于多视图关联的服务组合模型和方法，为用户提供不同视角的编程抽象,用户可通过对视图的操作，描述对服务组合的行为约束，构建个性化应用．案例分析和相关工作对比表明．本方法可有效降低最终用户构造服务组合的复杂性，提高建模效率与质量。
  • 摘要：为了顺应服务计算技术的发展，满足利用web服务组合来构建安全的信息系统的需要，本文提出了一种面向服务的安全需求获取与分析方法．该方法利用基于模板的安全需求获取方法，获取待建系统关于角色、目标、活动、数据资源的安全需求，及其间的关联关系，并利用基于规则的需求分析方法对其进行了一致性分析和冲突检测，最后将形成的需求规格，利用契约的形式，赋予服务，为满足安全需求的web服务发现提供了一种可行的解决方案．
  • 摘要：在面向服务计算模式中，传统的类UDDI服务注册中心无论是服务发现，还是组合与交互都面临着信息共享和过程中介的难题。本文结合语义Web(Semantic Web)和社会化网络技术，显式地将服务间的交互关系融入服务注册中心的组织、构建及服务计算过程中，将可用Web服务组织成具有丰富语义信息、基于业务上下文和交互关系的服务生态系统——服务网络(Service Network SN)。提出了SN的概念：分析并定义了参数、操作和服务三个层级的服务关系：详细讨论了SN构建及服务挖掘的技术细节：设计实现了SN原型系统以及基于SN的Web服务开发和流程构建工具等支撑环境。将语义推理和关系演算引入到服务的发现、组合、交互和管理过程中，使服务网络成为支撑面向服务计算模式的新的基础设施，也是朝向服务互联网(Internet of Services，IoS)迈出的重要一步．
  • 摘要：鉴于开放环境下的服务实体主要来源于不同的第三方提供者，将服务系统的基本计算单元--构件，抽象成余代数单子(称为构件单子)，从而以一种黑盒方式给出构件的观测语义模型．利用余代数方法对研究基于状态系统(如不确定、并发系统等)的独特优势，以及单子的抽象性、反射性和可组合性，对开放网络环境下的构件和服务进行形式化描述和深入研究，建立并实现了一种基于Web服务的服务计算形式化模型．详细探讨了如何从遗产系统中抽取构件，并进行服务的生成、发布与发现、组合、服务质量评价、运行等．以此拓展服务计算的形式化研究视野、手段和方法．
  • 摘要：Mashup是一种流行的web2．0应用，由开发者将互联网上多个web数据源的数据进行聚合构建而成。大多数mashup工具支持通过可视化的数据流程设计来开发mashup，但是缺少编程经验的终端用户设计的散据流程可能执行效率很低，当处理较大规模数据时mashup的响应时间会大幅增加。本文研究如何通过数据处理操作的合并拆分、次序交换、并行化等技术实现mashup的数据流程优化，提高mashup的性能及可扩展性。本文提出一种新的mashup性能优化方法，对多样化的mashup组件标注其操作语义特征属性及代价模型，定义适用于mashup的流程变换规则，针对用户设计的mashup数据流程生成所有与其语义等价的流程，并提出算法建立流程之间的代价偏序关系图从而快速选择执行代价最小的流程。文中实现了一个mashup工具，实验表明该方法可以有效提高终端用户设计的mashup的执行效率．
  • 摘要：大规模并行作业的计算通常涉及海量的计算数据和众多的高性能计算设备．随着网格计算技术帮助人们进行计算的同时，大规模并行作业的数据规模的增长也越来越快，对计算速度的要求也越来越高．为了充分利用网格等计算平台上的资源，提高作业的计算效率，人们通常需要将待计算的数据进行分组，然后分别上传至不同的平台上进行计算，这对科学研究和数据管理造成了极大的不便．本文提出了一个针对大规模并行作业计算的统一数据管理空间，实现了异构网格和计算平台上数据的逻辑整合，从而大大提高了对计算数据的管理效率，加快了科学活动的进程．本文最后通过统一数据管理空间在大规模虚拟筛选中的应用，对该统一空间的数据传输效率和数据管理能力进行了分析．
  • 摘要：互联网技术的飞速发展和大众的广泛而深入的参与，极大地改变了传统的面向单台计算机的软件工作模式，计算环境、软件工程以及交互方式的持续演化，形成了以互联网为环境，以服务为手段、大众参与的云计算。在互联、互通、互操作方面，TCP／IP协议主要解决了网络互联问题，HTTP、HTML等协议主要解决信息资源的互通问题，本文将在此基础上阐述基于RGPS元模型描述的MFI互操作性元模型框架可以作为一种云计算中按需服务的技术标准，解决云计算下服务的互操作问题，从而实现服务资源的高效复用,推动云计算的发展。
  • 摘要：本文介绍了云计算 IaaS，Paas，Saas几个层次所提供的能力,各层次的特点，根据中兴通讯的实践经验．rn 从架构的角度讨论了如何实现各个层次的能力开放，包括Iaas的虚拟化开放，存储开放,对象存储开放，块存储开放，Paas的开放槊构，虚拟化业务托管，业务能力开放以及Saas的开放架构和考虑．同时探讨了如何处理开放过程中面临的一些问题．

客服邮箱：kefu@zhangqiaokeyan.com

京公网安备：11010802029741号 ICP备案号：京ICP备15016152号-6 六维联合信息科技 (北京) 有限公司©版权所有 出版物经营许可证

  • 客服微信

  • 服务号