基于SOA的制造执行系统技术研究*

设计了制造执行系统面向服务的多层体系结构,研究了服务构件、服务总线、业务流程标准在制造执行系统中的应用,在此基础上提出了面向服务的制造执行系统开发方法。经验证,面向服务的制造执行系统提高了车间业务的敏捷程度,有利于快速实施和推广。     

基于ZING的Web服务建模与验证

为了验证Web服务的正确性和可靠性等性质以及提高Web服务流程验证的自动化程度,提出了一种适合构造BPEL4WS(Web服务的业务流程执行语言)结构模型的输入输出标记迁移系统(I/OLTS)作为中间形式化模型,将BPEL转化为中间形式模型I/OLTS,然后再转化为软件模型检测工具ZING的输入语言的转化算法,并应用ZI...     

A Web-Service based framework for analyzing and measuring business performance

The web services paradigm provides organizations with an environment to enhance B2B communications. The aim is to create modularized services supporting the business processes within their organization and also those external entities participating in these same business processes. Current web service frameworks do not include the functionality required for web service execution performance measurement from an organization perspective. As such, a shift to this paradigm is at the expense of the organizations performance knowledge, as this knowledge will become buried within the internal processing of the web service platform. This research introduces an approach to reclaim and improve this knowledge for the organization establishing a framework that enables the definition of web services from a performance measurement perspective, together with the logging and analysis of the enactment of web services. This framework utilizes web service concepts, DSS principles, and agent technologies, to enable feedback on the organizations performance measures through the analysis of the web services. A key benefit of this work is that the data is stored once but provides information both to the customer and the supplier of a web service, removing the need for development of internal web service performance monitoring.     

一种基于BPEL4WS的虚拟实验室模型及其应用研究

虚拟实验技术在现代远程教育中发挥着重要的作用,针对目前虚拟实验室构建中存在的不足,本文提出了一种新型的基于BPEL4WS的虚拟实验室模型。该模型基于WEB服务技术和BPEL4WS语言,具有良好的扩展性、可维护性和跨平台性。同时本文给出了该模型的结构和工作流程,并举例说明了其具体实现。     

Web服务组合语言的出错与补偿处理的pi演算编码

本文研究了Web服务组合语言BPEL4WS的出错与补偿处理的pi演算编码,目的是实现Web服务组合语言BPEL4WS自动验证过程。本文对pi演算进行扩充以编码BPEL4WS程序,给出了pi演算对BPEL活动的编码规则。在一个作用域的条件下,用pi演算的通信并发结构表示BPEL4WS规范的出错与补偿处理结构,采用传名机制分别处理程序化显式抛出故障与非程序序化抛出故障的捕获,给出BPEL4WS的出错与补偿处理的pi演算编码,为系统地完成从Web服务组合语言BPEL4WS规范到扩展pi演算的编码奠定了基础。     

基于TBAC的BPEL访问控制技术研究

业务流程执行语言（Business Process Execution Language for Web Services）是一种可以定义抽象的和可执行的业务流程的语言。然而，BPEL缺乏访问控制方面的安全性考虑。本文主要关注基于BPEL的流程的访问控制的实现方法。我们对现有的基于任务的访问控制模型（Task-Based Access Control）进行扩展，修改了授权结构体的定义并重新定义了授权结构体的类型，并实现了从BPEL定义的流程到TBAC模型的映射，提出了一种TBAC应用到BPEL中的方法。本文最后讨论了下一步的研究工作。     

基于语义描述的Web服务工作流动态组合研究

传统静态工作流很难适应动态的、灵活的现代业务流程。近年来Web服务技术不断发展，使得工作流中的活动以Web服务形式的实现，而且工作流本身也可以以Web服务的形式被调用，特别是语义Web技术的发展，为计算机实现自动Web服务工作流提供了可能。本文基于本体论提出了一个半结构化工作流本体模型，并在此基础上设计了基于Agent技术的Web服务工作流系统。     

基于BPEL4WS的Web服务整合研究

业务流程执行语言（BPEL4WS）是整合Web 服务的标准，其作用是将一组现有的服务整合起来，从而定义一个新的 Web 服务。首先介绍了业务流、工作流、以及BPEL4WS在Web服务建模方面的基本概念，建立了BPEL4WS整合Web服务模型，提出了组合服务的方法和过程。最后通过实例证明了BPEL4WS服务整合的实用性。     

一种基于规则的工作流模型互操作的实现方法

简要分析了两种类型的工作流语言——XML流程定义语言（XPDL）和商业流程执行语言（BPEL）的语言结构与特点，分别从流程的控制流和数据流设计了工作流模型的互操作方案， 提出了把XPDL格式的工作流转换成等效的BPEL格式的工作流的转换算法，最后使用基于Java的开源规则引擎drools工具实现了这个转换。