【摘 要】
：
针对现实环境中Web服务的动态性特征，实现了一个支持持续查询的自动服务组合系统Synth-CQ．该系统通过支持“持续查询”，动态响应服务变化，实时更新缓存的服务组合结果。具体方法是：首先依据服务间的依赖关系构建一个有向的服务依赖图，然后采用前向搜索和后向回溯相结合的两阶段图搜索算法以获取服务组合结果并标记服务的状态．最后，针对变化的服务，将它们置入优先队列中并按照优先级顺序逐一处理：确定其影响的服
【机 构】
：
中国科学院计算技术研究所，北京 100190 中国科学院研究生院，北京 100190 中国科学院计
论文部分内容阅读
针对现实环境中Web服务的动态性特征，实现了一个支持持续查询的自动服务组合系统Synth-CQ．该系统通过支持“持续查询”，动态响应服务变化，实时更新缓存的服务组合结果。具体方法是：首先依据服务间的依赖关系构建一个有向的服务依赖图，然后采用前向搜索和后向回溯相结合的两阶段图搜索算法以获取服务组合结果并标记服务的状态．最后，针对变化的服务，将它们置入优先队列中并按照优先级顺序逐一处理：确定其影响的服务和查询请求，更新受影响的服务状态和缓存的组合结果．该方法优点是：重用缓存结果中的信息，避免重新查询；基于优先队列,避免不必要的更新操作；保证缓存结果的有效性、一致性及层数最优性。实验结果表明该方法可以有效地响应服务变化，处理效率与可扩展性明显优于重复查询方法：时间开销节省60％以上，可有效处理成千上万个服务和不同测试集合，100％保证组合结果层数最优．
其他文献
覆盖控制技术是无线传感器网络的基础技术之一，主要研究无线传感器网络空间资源的优化分配，以满足用户的感知需求．覆盖节点的连通性是覆盖研究的关键问题，它决定了感知数据能否最终传递给用户．已知的研究并未涉及目标覆盖确定部署应用的连通性问题．因此，本文针对目标覆盖的确定部署应用，首先分析了目标覆盖中的连通性问题。并首次提出了针对目标全覆盖与维护节点集连通性关系的连通临界条件．其次，时于连通性条件无法满足的
随着互联网中Web服务的急剧增长，大量服务资源已呈分布异构状态，仅仅靠单纯的语义信息已经不能满足Web服务的动态集成和随需而变．尽管网络通信协议、基于XML的各种信息交换协议基本解决了网络信息资源之间互连和互通的问题，但自治异构的Web服务之间的互操作问题还有待解决．本文针对以上问题，基于国际标准ISO／IEC 19 763-3：MFI4OR，构建了一种语义互操作性Web服务注册管理框架，并提出了
在请求密集的关键性业务应用中，如何增强业务流程管理系统(BPM)的水平扩展能力引起了越来越多的关注．当前，BPM系统的可扩展性研究主要集中在针对单节点计算资源瓶颈的流程运行时分布式调度算法方面，但对于流程数据管理对BPM可扩展性的制约关注不够．本文在对业务流程数据特征分析的基础上，结合传统的关系型数据库和分布式键值存储系统的优点，提出了一种能够改进BPM可扩展性的流程数据管理机制，并将其运用于VI
互联网上Web服务资源具有自治性和动态性，单个资源的可用性不尽确定，服务使用者面临服务不可控的问题．针时该问题，本文在已有业务服务研究的基础上,提出了业务服务运行时动态切换技术和业务服务继承关系以保障服务的可用性，证明了该方法能够分步提高服务调用的可用性，同时给出了相应的可用性计算方法和业务服务调用算法，最后通过案例分析和仿真实验评价了其可用性保障能力．
基于抽象状态机(Abstract State Machines，ASM)的建模与测试方法，能将Web服务编排设计中的错误尽可能消灭在开发阶段的早期．为简化建模过程，开发了一个自动化工具，用户能够快速定制无状态的Web服务接口与编排规则，即接口的输入、输出以及哪些服务的哪些接口之间能发生交互．该工具首先将这些描述转换为有状态的抽象状态机描述，进而转换为可执行CorcASM归约。实现服务描述到Core
逻辑模型向物理模型的自动转换问题是面向Artifact的BPMS(Business Process Management System)面临的一个关键问题．本文选取ArtiFlow作为逻辑模型，BPEL作为物理模型，重点研究ArtiFlow到BEPL转换过程中库与Services间的匹配问题．给出了ArtiFlow的形式化定义和库的逻辑模型，扩展了物理模型中的操作模型，将库与Services间的匹
以用户为中心按需构造应用的新兴开发模式，能够直接地反映业务需求，提高建模的准确性，降低应用构建成本．然而，为了支持最终用户自主构造应用，需要有一种适于最终用户理解和使用的编程模型，一方面可为用户屏蔽底层流程逻辑的细节、提供用户关心的编程抽象；另一方面还具有良好的组织，易于用户把握全局．本文提出一种基于多视图关联的服务组合模型和方法，为用户提供不同视角的编程抽象,用户可通过对视图的操作，描述对服务组
随着现代服务业的迅猛发展，服务产业已在全球占据了相当的市场份额．因此有必要在高等学校建立与服务产业对应的学科与专业，以培养掌握服务相关技能和知识的人才，已适应中国服务经济发展的需要．服务科学，或服务科学，管理与工程是正在兴起的跨学科研究领域．这一新的学科将包含计算机科学、管理学、产业工程、社会和认知科学以及法学等多领域的内容，目的是发展以服务为主导的经济所要求的技能．本文简要介绍了服务计算类本科专
针对跨域应用集成追求的分散控制目标，提出了一种业务事件驱动的跨域应用协作方法．给出了自治应用的协作规则和基于协作规则的跨域协作机制，并就其中的复杂事件描述．复杂事件处理等关键问题进行了讨论．应用示倒、实验和基准分析表明本方法可以快速、灵活、有效的实现应用的跨域协作．
基于Web服务功能属性与非功能属性分离的思想，提出了在组合服务流程确定情况下基于非功能属性的组合Web服务选择模型．考虑到非功能属性之间不可公度性和矛盾性,设计了一种基于极大熵函数和社会认知算法的新的混合智能算法来解决完全信息下的全局服务选择优化问题．最后给出了数值实验，实验表明本文的方法可以综合考虑服务组合的非功能要求，从而实现自动的全局服务选择．