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