【摘 要】
：
面向服务计算不仅有助于解决分布异构环境下的软件集成问题．还有助于促进软件重用，提高业务灵活性．在面向服务计算模式下，是通过组合已有服务构建新服务．但是由于服务组合问题的复杂性，当前仍然缺乏一种有效的方法来实现服务组合。本文基于环境本体描述的领域模型，提出了一种需求驱动的服务组合方法，文中给出了需求分解算法，提出了确定服务闻关系的规则和服务组合的算法．分析验证表明，与已有同类方法比本文方法是有效的。
【机 构】
：
中国科学院智能信息处理重点实验室 北京 100190 中国科学院研究生院 北京 100049 中国
论文部分内容阅读
面向服务计算不仅有助于解决分布异构环境下的软件集成问题．还有助于促进软件重用，提高业务灵活性．
在面向服务计算模式下，是通过组合已有服务构建新服务．但是由于服务组合问题的复杂性，当前仍然缺乏一种有效的方法来实现服务组合。本文基于环境本体描述的领域模型，提出了一种需求驱动的服务组合方法，文中给出了需求分解算法，提出了确定服务闻关系的规则和服务组合的算法．分析验证表明，与已有同类方法比本文方法是有效的。
其他文献
在请求密集的关键性业务应用中，如何增强业务流程管理系统(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服务选择模型．考虑到非功能属性之间不可公度性和矛盾性,设计了一种基于极大熵函数和社会认知算法的新的混合智能算法来解决完全信息下的全局服务选择优化问题．最后给出了数值实验，实验表明本文的方法可以综合考虑服务组合的非功能要求，从而实现自动的全局服务选择．
针对现实环境中Web服务的动态性特征，实现了一个支持持续查询的自动服务组合系统Synth-CQ．该系统通过支持“持续查询”，动态响应服务变化，实时更新缓存的服务组合结果。具体方法是：首先依据服务间的依赖关系构建一个有向的服务依赖图，然后采用前向搜索和后向回溯相结合的两阶段图搜索算法以获取服务组合结果并标记服务的状态．最后，针对变化的服务，将它们置入优先队列中并按照优先级顺序逐一处理：确定其影响的服
服务组合作为实现服务增值的一种有效方法，业已广泛使用于各种应用．安全问题是与Web服务密切相关且对于服务组合的可信性具有重要作用。然而目前还缺乏对服务安全组合进行有效描述和分析的方法。提出一种基于面向方面的形式化服务安全组合建模及其分析方法。重点讨论了服务的授权、执行的可追踪、数据保护及故障处理，并利用面向方面规范基本模块的行为、描述它们相互关系的手段，编织机制将这些模块动态地集成为一个完整的服务