动态服务聚合流程定义元模型及其应用

适应Web服务的动态变化性是流程驱动的服务聚合研究的一个重要内容,传统的工作流建模思想必须加以改进以适应这一新的应用需求。本文引入了服务结点和服务群的概念,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型。在此基础上,基于扩展的工作流网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了现有的基于基本工作流网的服务聚合建模技术所不能解决的不确定路径选择和服务的动态变化性问题。文章以城市危机应急处理的Web服务流程构建为例说明了WSCP/R-net应用的有效性和可行性。

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

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