基于BPMN辅助构建Web Services的研究

介绍了Web Services以及业务流程建模标记(BPMN)和Web服务的业务流程执行语言(BPEL4WS)，并且利用BPMN和BPEL4WS构建Web Services组件，建立Web服务模型，以整合各种企业应用平台，把企业业务由企业内部拓展到Internet上，从而达到企业资源的优化配置，实现了应用程序间的通用的互操作性以及企业间的信息交流，以适应复杂多变的商务环境。     

从BPMN到可执行业务流程建模

传统的可视化业务流程模型通常都无法直接转换成可执行的流程,而利用业务流程建模符号(BPMN)建立的业务流程模型可以直接映射到业务流程执行语言(BPEL4WS),在业务流程执行引擎中直接运行,提高了从业务流程建模到执行的效率。介绍了BPMN的基本符号及其与BPEL4WS的映射关系,给出了利用BPMN建模一个第三方物流运作流程并实现的案例。     

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

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

服务构件模型的研究与设计

针对如何更高效和准确地将已存在的Web服务集成到业务流程中,提出了服务构件模型。该模型以Web服务为业务功能实现的基础,用BPMN建模用户需求,输出为可执行的BPEL模型。该服务构件模型内部对原子服务进行了重新定义,便于服务的查找;而且加入了服务的QoS特征,便于服务的选择。     

基于BPMN的Web服务并发交互机制

如何抽象描述复杂业务流程的交互是服务计算研究的重要问题。大量的国内外研究虽然关注业务流程建模,但却忽略了建模过程中组件之间的并发交互描述和实现。针对Web服务并发交互,提出一种基于BPMN的Web服务并发交互的形式化模型。首先,采用BPMN描述业务流程中的并发交互模式;其次,将BPMN并发交互模式映射到Orc语言;最后,Web服务实例表明,所提方法可有效支持Web服务并发交互抽象建模。     

基于WS-BPEL的服务组合流程建模工具的设计与实现

详细介绍了基于BPEL语言的可视化Web服务组合流程建模工具的体系结构;引入节点和弧的概念实现可视化流程编辑器;采用图形化方法和流程图到WS-BPEL元素的映射技术,实现了Web服务组合流程模型的建立、编辑和配置等功能,简化了抽象流程到可执行流程的转化;提出了基于Web服务QOS约束的服务查询、QOS本体表示和QOS筛选方案,使得符合用户需求的Web服务能够被动态灵活地绑定到业务流程中.     

一种工作流映射系统的设计与实现

BPMN是一种基于图元的业务逻辑流程标记,既能给用户提供简洁直观的业务模型表示,又具有十分强大的流程逻辑表达能力,同时还具有一定程度的抽象性,所以非常适合业务分析人员在流程设计、定义、分析阶段使用.目前BPMN已经成为了一种在不同的部门、企业和经济实体之间描述、展示和交流业务逻辑流程的有效手段,并且越来越受到企业经营者、客户以及研究者的重视和青昧.现阶段,已经有了一些基于BPMN的流程定义工具,但是至今还极少有一个业务流程管理平台能够提供对BPMN的解析执行.另一方面,工作流语言BPEL(Business Pmcess Execution Language)已经成为了Web服务工作流技术事实上的标准,并且得到了众多厂商、研究机构的支持.针对上述问题,本文通过对BPMN规范、BPEL规范的详细分析,根据既满足业务流程分析人员从高抽象层次上设计流程又最终能够在一个平台上具体执行业务流程的需求,在分析了这两种规范之间的语义差异的基础上,研究了BPMN到BPEL映射的具体方法和机制,设计并实现了一个工作流映射系统.     

基于SOAP的分布式Web Service的应用研究

基于SOAP的分布式Web Service是一种新技术,它可以跨越应用系统的组件模型、操作系统、编程语言的界限,供客户端或其它服务器调用.文中深入剖析了SOAP的实现机制,如何使用WSDL描述Web Service以及Web Service的发布过程和请求、应答过程,详细介绍了用C#.net实现Web Service之间方法调用的编程步骤.结果显示,使用Microsoft.net技术构建基于SOAP的Web应用是非常快速和容易的.     

基于BPMN的服务组合执行引擎的研究与实现*

业务模型和执行模型的一致性是当前服务组合研究的一个难点和热点。目前普遍采用模型转换的方式将业务模型映射为可执行模型,但由于两种模型语言的语义和语法不一致,导致了模型转换存在语义失配等缺陷。针对该问题,提出了一种基于业务流程建模标注的Web服务组合执行方案,设计了BPMN模型的解释执行算法,给出了执行引擎的原型系统,并通过具体案例验证了方案的有效性。     

基于Pi-演算的Web服务形式化描述模型*

当前对Web服务进行形式化描述的方法多是基于对某个具体Web服务组合规范的抽象,无法兼顾基于全局和局部的设计方法,并且无法描述Web服务组合的体系结构的动态性。本文在对现有的Web服务形式化描述方法进行回顾和总结的基础上,基于Pi-演算建立了Web服务形式化描述模型,将BPEL4WS规范和WS-CDL规范的重要行为在模型中做了映射。最后通过例子说明,基于局部和全局的设计方法在本文提出的模型中的映射是一致的。本文提出的描述模型直接用来进行Web服务组合的设计时,可以更好的描述动态的体系结构。     

一种验证业务级服务组合可执行能力的方法

在面向服务的环境中,服务组合的可执行能力具有很大的不确定性,在业务级别组合服务更是如此.影响业务级服务组合可执行能力的因素是多方面的,本文针对组合的服务的逻辑结构和业务服务到具体服务的匹配方法对业务级服务组合可执行能力的影响,提出了一种基于着色时间Petri网（CTPN）的业务级服务组合可执行能力验证方法,并以制造业网格应用平台AmGrid为案例,展示了该方法在平台中的应用效果.     

Synthy: A system for end to end composition of web services

The demand for quickly delivering new applications is increasingly becoming a business imperative today. However, application development is often done in an ad hoc manner resulting in poor reuse of software assets and longer time-to-delivery. Web services have received much interest due to their potential in facilitating seamless business-to-business or enterprise application integration. A web service composition system can help automate the process, from specifying business process functionalities, to developing executable workflows that capture non-functional (e.g. Quality of Service (QoS)) requirements, to deploying them on a runtime infrastructure. Intuitively, web services can be viewed as software components and the process of web service composition similar to software synthesis. In addition, service composition needs to address the build-time and runtime issues of the integrated application, thereby making it a more challenging and practical problem than software synthesis. However, current solutions based on business web services (using WSDL, BPEL, SOAP, etc.) or semantic web services (using ontologies, goal-directed reasoning, etc.) are both piecemeal and insufficient. We formulate the web service composition problem and describe the first integrated system for composing web services end to end, i.e., from specification to deployment. The proposed solution is based on a novel two-staged composition approach that addresses the information modeling aspects of web services, provides support for contextual information while composing services, employs efficient decoupling of functional and non-functional requirements, and leads to improved scalability and failure handling. We also present Synthy, a prototype of the service composition system, and demonstrate its effectiveness with the help of an application scenario from the telecom domain.     

服务时间随机条件下服务组合质量分析

本文分析采用业务过程执行语言（BPEL2WS）描述的web服务组合的执行时间,给出在服务执行时间随机情况下,根据单个服务的执行时间概率分布密度和BPEL2WS模型的结构求解web服务组合执行时间的概率分布密度函数的算法。根据概率密度函数可以求得业务过程执行时间在任意时限内的概率,从而可以根据给定的概率条件优化组合服务,使得服务执行成本最低．最后通过一个应用实例验证了算法的有效性。     

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

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

基于模板匹配的BPEL程序故障修复及优化技术

BPEL (business process execution language)是一种可执行的Web服务组合语言. 与传统程序相比, BPEL程序在编程模型、执行方式等方面存在较大差异. 这些新特点使得如何定位并修改测试阶段发现的BPEL程序故障成为挑战, 面向传统软件的故障修复技术难以直接应用于BPEL程序. 从变异分析角度出发, 提出一种基于模板匹配的BPEL程序故障修复方法BPELRepair. 为了克服基于变异分析的故障修复技术计算开销高的缺点, 从补丁生成、测试用例选择以及终止条件3个角度提出多种优化策略. 开发一个BPEL故障修复支持工具, 提高故障修复的自动化程度与效率. 采用经验研究的方式, 评估所提故障修复技术及优化策略的有效性. 实验结果表明, 所提故障修复方法能够成功修复约53%的BPEL程序故障; 所提优化策略能够显著降低搜索匹配、补丁程序验证、测试用例执行与故障修复等方面的开销.     

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

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

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

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

基于带权图规划算法的语义Web服务组合

随着Internet技术的发展,一个单独Web服务的功能并不完备,为了实现复杂、强大的Web服务的功能,就需要把多个Web服务组合起来实现复杂的功能。文中提出了一种基于带权图规划的语义Web组合算法,该方法引入人工智能中规划图的思想,利用图规划的前向扩张思想,能快速在分布的、异构的Web服务中自动地找到满足条件的服务组合;同时,通过领域本体以及OWL—S的服务描述,来计算Web服务匹配的相似度,利用图规划解抽取阶段思想,抽取权值最小的服务序列,提高了服务组合的正确率和查全率。