期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
WSCP/R-net:一种新的服务动态聚合流程建模与分析模型
1
作者
刘书雷
陈荦
景宁
《信号处理》
CSCD
北大核心
2009年第10期1502-1509,共8页
服务聚合流程建模和分析是流程驱动的服务聚合研究中两个关键问题。针对现有基于基本Petri网和WF-net的服务动态聚合流程建模与分析方法的不足,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型;与流程定义元模型相一致,基...
服务聚合流程建模和分析是流程驱动的服务聚合研究中两个关键问题。针对现有基于基本Petri网和WF-net的服务动态聚合流程建模与分析方法的不足,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型;与流程定义元模型相一致,基于着色Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了服务聚合流程模型中不确定活动选择和服务的动态变化性问题;从流程结构正确性、数据依赖有效性和资源有效性三个方面提出了WSCP/R-net模型健壮性的概念,并对模型健壮性成立的充要条件及其组合特性进行了分析。
展开更多
关键词
服务动态聚合
流程建模和分析
流程
定义元
模
型
WSCP/R—net
健壮性
组合特性
在线阅读
下载PDF
职称材料
题名
WSCP/R-net:一种新的服务动态聚合流程建模与分析模型
1
作者
刘书雷
陈荦
景宁
机构
国防科技大学电子科学与工程学院
出处
《信号处理》
CSCD
北大核心
2009年第10期1502-1509,共8页
基金
国家科技支撑计划(No.2006BAG01A07)
国家自然科学基金项目(No.60472031)
教育部博士点基金项目(NO.20059998012)
文摘
服务聚合流程建模和分析是流程驱动的服务聚合研究中两个关键问题。针对现有基于基本Petri网和WF-net的服务动态聚合流程建模与分析方法的不足,从服务聚合的过程维和资源维出发定义了服务聚合流程定义元模型;与流程定义元模型相一致,基于着色Petri网提出了一种新的服务聚合流程/资源描述模型WSCP/R-net,有效解决了服务聚合流程模型中不确定活动选择和服务的动态变化性问题;从流程结构正确性、数据依赖有效性和资源有效性三个方面提出了WSCP/R-net模型健壮性的概念,并对模型健壮性成立的充要条件及其组合特性进行了分析。
关键词
服务动态聚合
流程建模和分析
流程
定义元
模
型
WSCP/R—net
健壮性
组合特性
Keywords
Dynamic Web Service Composition
Process Modeling and Analysis
Process Definition Meta-Model
WSCP/R- net
Soundness
Compositional Properties
分类号
TP301 [自动化与计算机技术—计算机系统结构]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
WSCP/R-net:一种新的服务动态聚合流程建模与分析模型
刘书雷
陈荦
景宁
《信号处理》
CSCD
北大核心
2009
0
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
