用于科技基础条件平台的服务合成研究与应用

Web服务之间的交互是面向服务的体系结构(Service-Oriented Architecture,SOA,也称为面向服务架构)中的关键问题.单个Web服务提供的功能往往不能完全满足用户的实际需求,将多个Web服务进行合成实现功能更为强大的服务是SOA必须要解决的问题之一.分析了Web服务合成的研究现状,介绍了Web服务合成方式的分类和商业流程执行语言BPEIAWS,给出了"科技基础条件平台应用服务支撑系统"项目中SOA的设计方案,描述了Web服务合成的关键步骤.该研究成果成功地应用于科技基础条件平台应用服务集成之中,并已通过科技部的前期验收.     

基于BPEL4WS的Web服务合成

在介绍了BPEL4WS的基本概念、特点及服务合成基本组成的基础上,利用BPEL4WS构建了一个虚拟第三方物流的Web服务合成系统.模型,并给出了该模型的控制流程和核心部分的代码.     

基于代理和BPEL4WS的Web服务合成与实现

Web服务的交互和实现被推荐通过软件代理来实现.Web服务目前还不能很好地支持动态、自适应的服务组合和分布式业务流程.软件代理在建模、知识表达和交互等技术上的优势,能够强化Web服务的交互和动态应用能力.基于代理和面向流程建模的BPEL4WS,可以实现Web服务面向业务应用的合成与执行,支持多个协同的业务流程及其动态配置.系统分析了代理、BPEL4WS和Web服务整合的技术与实现方案,利用JADE平台开发了相关的测试模型,并且以网上拍卖为案例,验证了所提方案及实现.     

基于商业逻辑的Web服务合成方法的研究

为提高Internet环境下通过Web服务合成方法构建的跨企业应用系统的灵活性和复用性,分析和研究了面向Web服务的商业流程执行语言（BPEL4WS）中存在的不足,讨论了将商业逻辑从商业流程中分离的必要性。提出从BPEL4WS中提取商业逻辑的思想,同时利用．NET架构下的事件处理技术对其进行了实现,从而有效地改善了BPEL4WS的完全面向商业过程、将商业逻辑隐含在过程中而造成的合成后的Web服务灵活性差及不能有效复用的缺点。最后通过实例证明该方法的可行性。     

基于Web服务的动态工作流引擎的研究

对Web服务目前的新特征和新问题进行分析。并在此基础上从面向业务的角度对基于Web服务的动态工作流进行了探计。介绍一种基于Web服务的语言，协议一BPEL4WS，并以该标准为基础提出一种动态工作流引擎的榘构设计方案。     

基于着色Petri网的Web合成服务会话协议

基于着色Petri网的会话协议不仅能准确地描述Web服务的业务流程特征,而且具备强大的数据承载能力。该文以BPEL4WS语言为例,在对Web服务特性进行分析的基础上,给出了基于着色Petri网的会话协议以及相应的Web合成服务设计方法。通过这种框架,可以运用成熟的Petri网技术,对Web服务模型进行进一步的分析和验证,以提高服务的正确性和可靠性。     

基于Web服务的电子商务业务流程中间件引擎的研究

从数个企业提供的逻辑相关的Web服务整合为可运行的电子商务业务流程的角度出发,分析Web服务的业务流程协议模型BPEIAWS(Business Process Execution Languagefor Web Service,Web服务的业务流程执行语言),在此基础上设计业务流程的中间件引擎以方便企业之间的业务集成并管理、执行、监控生成的业务流程实例,设计的同时充分考虑引擎的可扩充性,以利于引擎功能的完善和智能扩展。     

Web Services合成方案向BPEL4WS的自动转换

合成方案自动转换为BPEL4WS模块是Web Services实时动态语义合成系统SASO的核心组成部分。该文使用DAG作为Web Services合成方案的表示方法;在此基础上提出了WTOP自动转换算法,通过运行时代码动态生成的方法,实现从DAG到BPEL4WS的自动转换。     

基于动作时序逻辑的Web服务组合

为了更有效地实现Web服务组合,提出一种使用动作时序逻辑TLA(Temporal Logic of Actions)进行Web服务组合的方法.Web服务组合与工作流有着共同特征,首先根据工作流的基本控制模式,将服务之间的关系用TLA进行描述,然后提出了基于图的宽度优先搜索的Web服务自动组合算法,并采用TLA模型检验器TLC验证组合逻辑的正确性以及是否存在死锁问题,最后给出了现有的Web服务组合平台BPEL4WS向TLA转化的方法.     

Web服务组合在网络管理中的应用探究

随着网络规模的扩大,网络管理人员希望得到越来越高的网管信息集成度.Web服务(Web Service)是近几年出现的新技术.在本论文中,我们展示了Web Service技术除了可以作为网管协议和Web service协议之间的桥梁之外,还可以通过与SNMP协议等的紧密结合,为网络管理提供功能强大的工具.本文探讨了将Web服务组合(WebService composition)应用到网络管理上的可能性.例如从多个不同的设备之间获得信息并将其进行集成,及在管理端为使用者提供一个简单和快速的获取网管信息的界面.通过使用合适的工具,不仅可以在网络管理方面使用Web服务组合,而且Web服务组合还可以和现有的传统管理技术很好地共存,最大限度地保护已有的投资.     

基于接口自动机的BPEL4WS Web服务组合形式化模型

介绍了接口自动机的基本语法,针对目前最主要的一种描述和执行基于工作流模式的Web服务组合的规范——Web服务商业流程执行语言 (business process execution language for Web services,BPEL4WS),定义了接口自动机和BPEL4WS之间的概念映射,并给出了BPEL4WS的基于接口自动机的形式化模型,最后通过一个案例给出了BPEL4WS到接口自动机的映射及验证的方法。     

基于Pi演算的Web服务组合过程框架

文章从Web服务的编排、验证、部署角度提出了基于Pi演算的Web服务组合过程框架,说明了这个框架中每一步骤涉及的理论和工具应用。并在现有研究的基础上,针对框架中人工参与较多形式化验证环节提出了其向自动化、可视化方向发展的改进方法。     

Web服务合成平台研究

Web服务之间的交互是面向服务的架构（SOA）中的关键问题。该文分析了Web服务合成的研究现状并提出了服务合成平台WSCP的设计方案。给出了WSCP的总体结构，描述了其中的关键技术，包括流程模板库定义，服务发现，流程设计、分析、执行和监控等。     

基于WS-BPEL 的Web 服务组合技术

随着Web服务技术的不断发展,越来越多的Web服务已经发布在互联网上。然而独立的Web服务功能通常有限,不能满足用户或企业实际应用的需求。因此,Web服务的组合显得越来越重要。介绍了Web服务组合和WS-BPEL的相关知识,使用最新的业务流程执行语言WS-BPEL描述业务流程,在J2EE集成开发环境下设计并实现了基于业务流程思想的贷款审批应用实例,在Web服务执行引擎Active BPEL上进行部署,对Web服务进行了有效的组合。     

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

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