WSCP/R-net:一种新的服务动态聚合流程建模与分析模型  

WSCP/R-net:A New Model for Dynamic Web Service Composition Process Modeling and Analysis

作　　者：刘书雷[1] 陈荦[1] 景宁[1] 

机构地区：[1]国防科技大学电子科学与工程学院

出　　处：《信号处理》2009年第10期1502-1509,共8页Journal of Signal Processing

基　　金：国家科技支撑计划(No.2006BAG01A07);国家自然科学基金项目(No.60472031);教育部博士点基金项目(NO.20059998012)

摘　　要：服务聚合流程建模和分析是流程驱动的服务聚合研究中两个关键问题。针对现有基于基本Petri网和WF-net的服务动态聚合流程建模与分析方法的不足,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型;与流程定义元模型相一致,基于着色Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了服务聚合流程模型中不确定活动选择和服务的动态变化性问题;从流程结构正确性、数据依赖有效性和资源有效性三个方面提出了WSCP/R-net模型健壮性的概念,并对模型健壮性成立的充要条件及其组合特性进行了分析。Process modeling and analysis are two key issues in process-driven composition of Web Services. This paper proposes a meta-model of Web Services composition process definition. According to the meta-model, a new Web Services Composition process/ resource model（WSCP/R-net） is proposed based on Colored Petri net. Comparing to Petri net and workflow net, WSCP/R-net resolves the problems on uncertain activity option and dynamic variation of Web Service effectively. A notion of soundness of process model pro- posed in this paper includes the structural correctness of process model, validity of data link and validity of resource, which definitely gives a dividing line on correctness of Web Service Composition process model. This paper also analyzes sufficient and essential terms of soundness and compositional properties of individual WSCP/R-net model.

关 键 词：服务动态聚合 流程建模和分析 流程定义元模型 WSCP/R—net 健壮性 组合特性 

分 类 号：TP301[自动化与计算机技术—计算机系统结构]