基于UML活动图的Web服务合成动态行为建模方法研究

描述了利用UML进行Web服务合成的建模方法,包括静态结构建模和动态行为建模两个方面,针对Web服务合成的动态行为建模部分,详细说明了利用UML活动图进行建模时需要注意的问题,如活动图的控制流模式与Web服务合成控制流模式的语义对应关系,所支持的数据模式,以及为了方便模型转换对活动图actions元素的概念扩展,给出了动态行为建模方法,并给出了基于OCL的转换规则以及UML活动图元素到BPEL4WS元素的映射关系,最后通过订单管理案例对所述方法进行验证,为Web服务合成提供了新的思路。     

基于MDA的Web服务合成技术研究

Web服务合成越来越引起人们的广泛关注。对基于MDA的Web服务合成技术进行了研究：描述了Web服务合成开发方法;提出利用UML类图对Web服务合成进行结构建模,对UML活动图进行行为建模,并给出UML类图和活动图到接口描述语言（WSDL）和业务流程执行语言（BPEL4WS）的转换规则;给出一个订单管理案例证明该方法的可行性。     

基于MDA的Web服务合成技术研究

Web服务合成越来越引起人们的广泛关注。对基于MDA的Web服务合成技术进行了研究:描述了Web服务合成开发方法;提出利用UML类图对Web服务合成进行结构建模,对UML活动图进行行为建模,并给出UML类图和活动图到接口描述语言(WSDL)和业务流程执行语言(BPEL4WS)的转换规则;给出一个订单管理案例证明该方法的可行性。     

基于深度优先搜索的Web服务合成算法

本文通过提取Web服务的语义信息，研究了语义Web服务合成问题。Web服务合成的关键是对候选Web服务的输入输出数据关系进行建模，以及有效地利用这些已有的数据依赖关系实现服务合成请求。通过构建Web服务的依赖图，提出了一种基于图论中深度优先搜索的Web服务合成算法，以获取满足特定要求的Web服务。     

基于有色Petri网的Web服务合成建模

分析了用一般Petri网进行Web服务合成建模的不足,提出用有色Petri网进行改进.利用有色Petri网原理给出了Web服务的形式化定义,描述了Web服务合成的五种基本结构的Petri网模型,通过一个行程规划实例,分析了行程中的不同Web服务,描述了行程规划服务由不同Web服务合成的有色Petri网模型,展示了有色Petri网在Web服务合成建模中的优势.     

语义Web服务主流建模框架比较分析

传统的Web服务技术缺乏机器可理解的语义，限制了Web服务的自动化。结合了语义Web技术和Web服务技术的语义Web服务应运而生，其中，语义Web服务的建模框架是当前研究重点。基于语义Web服务的一般基础结构，本文从行为、体系结构和服务本体的角度分析了当前语义Web服务三大主流建模框架OWL-S、IRS-Ⅱ和WSMF的特点，比较了它们的异同，展望了语义Web服务建模框架的发展趋势。     

模型驱动的Web服务合成

随着已有Web服务数量的不断增加，如何利用现有的Web服务创建新的更复杂的Web服务成为一项新的研究课题。该文提出了MDA模型转换驱动的合成Web服务开发方法，针对Web合成的静态建模部分，提出了建立Web服务静态结构平台无关和平台相关模型的方法，给出了二者之间的转换规则。     

基于MDA的Web服务合成

随着已有Web服务数量的不断增加，如何利用这些现有的Web服务创建新的更复杂Web服务成为一项新的研究课题。特别地，利用MDA进行Web服务合成已经成为研究的热点。本文研究了基于MDA的Web服务合成问题，针对Web合成的动态行为建模部分，提出建立基于UML的平台无关Web服务动态行为模型的方法，并且给出了平台无关动态行为模型到Web服务合成语言BPEL、WSCI之间的转换方法。     

Web服务合成研究综述

Web服务的发展将Web应用从信息交互领域扩展到了服务交互领域。Web服务诸多的特性使得它非常适合于商务应用集成，因此工业界和学术界都希望能够通过合成多个Web服务从而获得增值的新服务。在服务合成的过程中，不仅需要语义清晰的服务描述语言和直观的建模方法，并且应该能够动态地发现构件服务，顺利地执行复合服务以及对其进行事务处理。此外对Web服务合成的分析评估也将有助于理解复合服务中每一项活动的行为，从而促使不断改进服务合成技术。     

基于Petri网的Web服务流程建模方法研究

随着网络应用的蓬勃发展,Web服务越来越普及。在实际应用中,往往需要对已有Web服务进行集成。目前通常的企业Web服务集成过程,都是先根据企业的业务流程建立相应的Web服务流程模型,再由此建立应用系统。而目前已有的建模手段的共同问题是：无法确保模型的正确性和与具体业务的紧密吻合。该文提出一种基于Petri网的Web服务流程建模方法。该建模方法通过将Petri网引入建模过程弥补了原建模过程中无法直观感受模型的不足,通过建立一套完备的形式化定义保证了建立模型的正确性,通过将紧同步随机Petri网引入建模过程可以更好的描述实际业务。通过使用该方法, 可以很好地解决现在Web流程建模过程中存在的问题。此方法也为其他领域中的流程建模仿真提供了一种很好的解决问题的方法和思路。     

Using Policies to Manage Composite Web Services

When no single Web service can fulfil a user's request, providers often turn to composite Web services. However, developing a composite Web service is not simple and deploying the composition specification at runtime consists of several processes. Developers and deployers of composite Web services can use policies in various scenarios, from the announcement of Web services to the compatibility between Web services and composite Web services. Mapping guidelines for a Web service's behavior to policies can ensure an individual Web service's smooth engagement into a composite Web service     

Web服务组合的可靠性动态评估模型*

为了合理、高效、动态地评估Web服务组合的可靠性,为服务请求者提供高质量的组合服务,提出了一个Web服务组合的可靠性动态评估模型。该模型对服务提供者发布至UDDI注册中心的Web服务进行语义预先处理,根据语义Web服务间的逻辑组合关系,基于预推理技术构造Web服务的自动组合框架,提出了Web服务的自动组合算法,建立Web服务组合方案的路径结构;利用随机Petri网对满足服务请求者需求的服务组合路径结构进行可靠性建模,结合在线获取的Web服务可靠性信息,对Web服务组合的可靠性进行动态评估。实验示例结果分析表明,提出的模型能确保Web服务组合方案的有效性和提高服务组合的效率,对Web服务组合的可靠性评估具有较强动态性和灵活适应性。     

基于PDG图的分布式动态可执行服务组合方法

组合服务是将一系列Web服务协调地组合在一起,从而完成预期目标。组合服务按照其引擎分布可分为:集中式服务组合和分布式服务组合。分布式组合服务可以有效地解决集中式组合服务在系统可伸缩性、消息传输效率、自治性和有效负载均衡等方面的问题,将可执行全局流程等价分解成可执行本地流程,以及将服务组合和负载均衡结合集群概念,研究服务组合的QOS。这些将成为新的挑战,文中通过PDG图进行等价分解,并结合QOS,通过实验测试引擎负载,提出将负载均衡融入服务组合QOS研究思想。     

基于用户视角的组合Web服务响应时间优化

针对响应时间,通过选择、调用合适的成员Web服务,对组合Web服务的QoS进行优化．该优化方法基于用户的视角,将组合Web服务运行时用户一次等待周期中需要执行的所有任务作为一个整体进行调度;同时根据组合Web服务流程的不同环节中用户对等待时间的不同敏感度,设置调度参数,降低关键环节超时的风险．实验表明,此方法可以有效地优化组合Web服务的响应时间,提高用户的满意度和QoS．     

Web Service Composition Based on QoS Rules

For workflow-based service composition approach, the relations between the Web service QoS and environments are usually not considered, so that the information about QoS for composite service selection is inaccurate. It makes the selected composite service inefficient, or even unexecutable. To address this problem, a novel service composition approach based on production QoS rules is proposed in this paper. Generally, it is very difficult to directly analyze how different kinds of environment factors influence the Web service QoS. We adopt “black-box” analysis method of optimizing composite services, discovering the knowledge such as “the QoS of one Web service will be higher in specific environments”. In our approach, the execution information of the composite service is recorded into a log first, which will be taken as the basis of the subsequent statistical analysis and data mining. Then, the timely QoS values of the Web services are estimated and the production QoS rules being used to qualitatively express the different performances of the Web service QoS in different environments are mined. At last, we employ the mined QoS knowledge of the Web services to optimize the composite service selection. Extensive experimental results show that our approach can improve the performance of selected composite services on the premise of assuring the selecting computation cost.     

一种支持服务关联的Web服务选择方法

目前存在的大多数基于QoS(quality of service)的Web服务选择方案都忽略了服务之间的关联关系, 认为服务之间是相互独立的, 使得组合服务的结果与实际有所偏差。为了提高组合Web服务QoS的精确性, 考虑到服务之间的关联关系对组合服务质量的影响, 分别对服务之间的接口关联、业务关联和统计关联三种关联关系进行研究, 提出了一种基于关联度的关联服务集合发现方法, 将支持服务关联的选择问题转换为混合整数规划模型进行求解。实验结果表明, 考虑服务之间的关联关系会提高组合Web服务的质量。     

一个基于Petri网的Web服务组合模型

作为企业应用集成的重要手段，Web服务组合需要建立可靠的表达和分析方法。因此，基于Petri网技术定义一个Web服务组合模型，将组合Web服务的要索映射到Petri网结构。利用Petri网提供的分析技术，辅助复杂业务流程的建模，并分析验证其正确性和性能。     

组合Web服务分层安全模型研究

随着Web服务技术的应用与发展,组合Web服务的安全问题日益突出。已有的Web服务安全规范只是指定实现单独的自治Web服务安全需求应该遵循的协议,尚没有一个被广泛接受的组合Web服务安全体系架构。指出了现有的Web服务组合安全框架研究的不足,分析了组合Web服务的安全模型的要求。针对Web服务应用模式,提出了一种基于Web服务协议栈的组合Web服务分层安全模型(HSM-WSC),并对每个层的安全功能进行了论述。HSM-WSC模型具有灵活性和可扩展性,能够满足Web服务组合的安全需求。最后还给出了HSM-WSC模型的实施机制。     

一个基于有色Petri网的自动Web服务合成模型

提出了一个基于有色Petri网的自动Web服务合成模型,为Web服务的合成提供语义支持,提高合成服务的可靠性和可维护性.该模型将服务的合成结构分成顺序、并发、选择、循环、置换5种合成结构.给出了Web服务基于有色Petri网的形式化定义.定义了一个封闭的Web服务合成算法,通过算法获得的框架能够对Web服务进行说明性的合成.定义了一个自动Web服务合成算法,通过该算法,可以对Web服务进行有人工指导的半自动合成和无人工指导的自动合成.     

一种基于扩展有限自动机验证组合Web服务的方法

为简化并自动化组合Web服务验证,提出一种基于扩展有限自动机(extended deterministic finite automata,简称EDFA)验证组合Web服务的方法.使用EDFA可以准确地描述Web服务:EDFA的状态表达Web服务在与用户交互的过程中维护的状态;EDFA的状态转移及其标注描述Web服务与用户间的消息交换.EDFA给出Web服务交互过程的所有消息交换序列,刻画出Web服务的动态行为.使用基于EDFA的组合Web服务验证方法不但可以验证组合Web服务是否满足系统需求,还可以验证组合Web服务运行过程是否有逻辑错误.与其他方法相比,该方法更适于验证开放式环境下的组合Web服务.