期刊导航
期刊开放获取
上海教育软件发展有限公..
期刊文献
+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息
检索
高级检索
期刊导航
共找到
1
篇文章
<
1
>
每页显示
20
50
100
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
显示方式：
文摘
详细
列表
相关度排序
被引量排序
时效性排序
事务性服务组合的过程模型及良构性判定
被引量：
3
1
作者
任怡
管剑波
+2 位作者
吴泉源
戴华东
吴庆波
《小型微型计算机系统》
CSCD
北大核心
2007年第12期2187-2192,共6页
松散耦合环境中服务组合的组成服务具有异构性,且对应业务过程生命期较长.针对已有研究不足,提出了事务性服务组合过程模型TSCPM,该模型支持服务的多种恢复模式和恢复策略,准确描述了事务性服务组合执行语义和状态转换,给出了语义原子...
松散耦合环境中服务组合的组成服务具有异构性,且对应业务过程生命期较长.针对已有研究不足,提出了事务性服务组合过程模型TSCPM,该模型支持服务的多种恢复模式和恢复策略,准确描述了事务性服务组合执行语义和状态转换,给出了语义原子性的形式化定义.基于该模型,刻画了良构性及其循环、弱序及递归构造判定准则,证明了符合判定准则是一个事务性服务组合满足良构性的必要条件,给出了基于模型检测的良构性判定方法.
展开更多
关键词
事务
性
服务组合
语义原子性
过程模型
良构
性
判定
在线阅读
下载PDF
职称材料
题名
事务性服务组合的过程模型及良构性判定
被引量：
3
1
作者
任怡
管剑波
吴泉源
戴华东
吴庆波
机构
国防科学技术大学计算机学院
出处
《小型微型计算机系统》
CSCD
北大核心
2007年第12期2187-2192,共6页
基金
国家自然科学基金项目(60603063)资助
国家科技攻关计划项目(2005BA112A02)资助
文摘
松散耦合环境中服务组合的组成服务具有异构性,且对应业务过程生命期较长.针对已有研究不足,提出了事务性服务组合过程模型TSCPM,该模型支持服务的多种恢复模式和恢复策略,准确描述了事务性服务组合执行语义和状态转换,给出了语义原子性的形式化定义.基于该模型,刻画了良构性及其循环、弱序及递归构造判定准则,证明了符合判定准则是一个事务性服务组合满足良构性的必要条件,给出了基于模型检测的良构性判定方法.
关键词
事务
性
服务组合
语义原子性
过程模型
良构
性
判定
Keywords
transactional services composition
semantic atomicity
process model
well-formness validation
分类号
TP311 [自动化与计算机技术—计算机软件与理论]
在线阅读
下载PDF
职称材料
题名
作者
出处
发文年
被引量
操作
1
事务性服务组合的过程模型及良构性判定
任怡
管剑波
吴泉源
戴华东
吴庆波
《小型微型计算机系统》
CSCD
北大核心
2007
3
在线阅读
下载PDF
职称材料
已选择
0
条
导出题录
引用分析
参考文献
引证文献
统计分析
检索结果
已选文献
上一页
1
下一页
到第
页
确定
用户登录
登录
IP登录
使用帮助
返回顶部
