构造语义Web服务工作流的模型

随着Web服务数量的不断增加,为了实现对复杂业务流程的处理。通过将OWL-S/UDDI协调器应用到Web服务工作流的构造当中,提出了一种用于构造语义Web服务工作流的模型,并给出了相应的实现步骤。这个模型能够利用Web服务的语义描述自动地查找和匹配Web服务,实现Web服务工作流的自动构造。

Web服务在信用信息工程中的应用

目前的社会信用信息工程中,许多的政府部门都建立了自己的信用信息数据库,但在政府各级部门数据库之间进行数据交流和共享存在着许多的问题,在许多地方,数据共享还是一片空白。Web服务技术是应用程序通过内联网或者因特网发布和利用软件服务的一种标准机制。利用WEB服务可以方便地实现不同系统之间的数据交换和集成。该文提出利用web服务技术来解决信用信息工程中的信息数据共享问题。并在此基础上提出利用WEB服务工作流技术将信用评估整合到电子商务过程。

一种基于BPEL4WS的语义Web服务组合框架

针对Web服务的组合问题,给出了一种基于BPEL4WS(Business Process Execution Language for Web Services)语言的语义Web服务动态组合框架。该框架把一些具有相似性的商业流程定义成一个抽象流程模板APT,每个活动节点所需服务的语义信息用PPC模型描述,并引入一个OWL-S/UDDI转换器使Web服务在UDDI上的注册信息与该服务的语义信息之间进行转换,实现UDDI注册信息与语义信息的关联,以便于语义匹配及服务绑定。通过语义匹配组件匹配选择合适的Web服务,并通过APT绑定组件把所选Web服务的相关信息动态绑定到APT模板中,从而实现Web服务的动态组合。该框架增强了Web服务组合的灵活性和动态性。

基于工作流模式的OWL-S过程模型分析及其应用

确定OWL-S过程模型描述Web服务之间交互协议的能力和缺陷,为组合Web服务执行提供有效支持。将组合Web服务视为基于Web服务的工作流,利用OWL-S过程模型的控制结构给出工作流模式的实现方案,分析出OWL-S描述Web服务之间交互协议的能力及缺陷;在此基础上,设计并实现基于OWL-S的组合Web服务执行工具,通过验证Web服务调用的有效性及Web服务之间交互协议的有效性,提高组合Web服务执行的健壮性。

Analysis and modeling of web services flow using π-calculus

In order to increase the effectiveness and the reliability of web services flow, the ~r-calculus formal method is introduced as a development language for web services flow. The π-calculus overcomes inabilities of web service flow languages in demonstrating the consistency, validating the correctness and so on. The π- calculus analysis and modeling of web services flow is presented, the dynamic actions and basic activities of WS-BPEL with π-calculus formally are described, and the mapping from π-calculus expression to WS-BPEL is built. The basic construction of web services flow with the π-calculus method after the analysis of the syntax of WS-BPEL and inter-description between WS-BPEL and π-calculus is expressed. Also discussed are the approaches to web services flow by modeling from different views, and the proposed approaches through the development and modeling of an e-commerce web service flow application are illustrated.