×
验证码:
换一张
忘记密码？
记住我
CORC
首页
科研机构
检索
知识图谱
申请加入
托管服务
登录
注册
在结果中检索
科研机构
武汉大学 [15]
软件研究所 [11]
重庆大学 [5]
山东大学 [5]
沈阳自动化研究所 [3]
大连理工大学 [2]
更多...
内容类型
学位论文 [51]
发表日期
2018 [1]
2014 [1]
2013 [2]
2012 [2]
2011 [5]
2010 [1]
更多...
学科主题
红外系统与元部件 [1]
计算机应用 [1]
计算机科学技术基础学... [1]
计算机软件::软件工... [1]
计算机软件::软件理... [1]
×
知识图谱
CORC
开始提交
已提交作品
待认领作品
已认领作品
未提交全文
收藏管理
QQ客服
官方微博
反馈留言
浏览/检索结果:
共51条，第1-10条
帮助
限定条件
内容类型：学位论文
已选(
0
)
清除
条数/页：
5
10
15
20
25
30
35
40
45
50
55
60
65
70
75
80
85
90
95
100
排序方式：
请选择
作者升序
作者降序
题名升序
题名降序
发表日期升序
发表日期降序
提交时间升序
提交时间降序
基于本体的自动化生产线建模方法及其应用
学位论文
沈阳: 中国科学院沈阳自动化研究所, 2018
作者:
施昭
收藏
|
浏览/下载：32/0
|
提交时间：2018/12/16
本体
自动化生产线
服务编排
语义标注
情景响应和处理
面向BPEL异常处理逻辑的建模和正确性验证方法
学位论文
2014
作者:
管华
收藏
|
浏览/下载：2/0
|
提交时间：2019/12/05
业务流程执行语言
异常处理
着色Petri网
正确性验证
模型求精
基于SPIN的WS-BPEL模型检测工具研究与实现
学位论文
2013
作者:
辛蓉
收藏
|
浏览/下载：1/0
|
提交时间：2019/12/10
模型检测WS-BPELSPINPromela
BPEL流程异常处理的可终止性验证研究
学位论文
2013
作者:
蒋曹清
收藏
|
浏览/下载：1/0
|
提交时间：2019/12/05
BPEL流程
异常处理
可终止性验证
模型检测
面向Hadoop平台的数据密集型工作流系统的设计与实现
学位论文
硕士, 北京: 中国科学院研究生院, 2012
李奇原
收藏
|
浏览/下载：10/0
|
提交时间：2012/06/01
数据密集型应用
Hadoop工作流
BPEL
策略驱动的BPEL流程异常处理框架的设计与实现
学位论文
2012
作者:
熊元
收藏
|
浏览/下载：1/0
|
提交时间：2019/12/05
BPEL流程
异常处理
策略驱动
基于BPEL的业务流程建模验证研究new
学位论文
北京: 中国科学院研究生院, 2011
作者:
钱厚荣
收藏
|
浏览/下载：10/0
|
提交时间：2011/07/19
OWL-S到BPEL转换工具的设计与实现
学位论文
2011
作者:
张小明
收藏
|
浏览/下载：5/0
|
提交时间：2019/12/05
网络式软件
网络服务本体标记语言
业务流程执行语言
模型转换
基于消息的可变业务流程模型的设计与BPEL实现
学位论文
2011
作者:
褚文永
收藏
|
浏览/下载：1/0
|
提交时间：2019/12/20
业务流程
可变性
建模
BPEL
策略驱动的BPEL流程异常处理关键技术研究
学位论文
2011
作者:
王权于
收藏
|
浏览/下载：1/0
|
提交时间：2019/12/05
BPEL流程
异常处理
策略驱动
©版权所有 ©2017 CSpace - Powered by
CSpace
