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

摘要：

服务聚合流程建模和分析是流程驱动的服务聚合研究中两个关键问题.针对现有基于基本Petri网和WF-net的服务动态聚合流程建模与分析方法的不足,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型;与流程定义元模型相一致,基于着色Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了服务聚合流程模型中不确定活动选择和服务的动态变化性问题;从流程结构正确性、数据依赖有效性和资源有效性三个方面提出了WSCP/R-net模型健壮性的概念,并对模型健壮性成立的充要条件及其组合特性进行了分析.

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

所属期刊栏目：25

分类号：TP301(计算技术、计算机技术)

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

在线出版日期：2009-12-15（万方平台首次上网日期，不代表论文的发表时间）

页数：共8页

页码：1502-1509