-
题名事务性服务组合的过程模型及良构性判定
被引量：3
- 1
-
-
作者
任怡
管剑波
吴泉源
戴华东
吴庆波
-
机构
国防科学技术大学计算机学院
-
出处
《小型微型计算机系统》
CSCD
北大核心
2007年第12期2187-2192,共6页
-
基金
国家自然科学基金项目(60603063)资助
国家科技攻关计划项目(2005BA112A02)资助
-
文摘
松散耦合环境中服务组合的组成服务具有异构性,且对应业务过程生命期较长.针对已有研究不足,提出了事务性服务组合过程模型TSCPM,该模型支持服务的多种恢复模式和恢复策略,准确描述了事务性服务组合执行语义和状态转换,给出了语义原子性的形式化定义.基于该模型,刻画了良构性及其循环、弱序及递归构造判定准则,证明了符合判定准则是一个事务性服务组合满足良构性的必要条件,给出了基于模型检测的良构性判定方法.
-
关键词
事务性服务组合
语义原子性
过程模型
良构性判定
-
Keywords
transactional services composition
semantic atomicity
process model
well-formness validation
-
分类号
TP311
[自动化与计算机技术—计算机软件与理论]
-
-
题名一种普适环境下面向服务的事务处理模型
- 2
-
-
作者
刘冰
饶若楠
-
机构
上海交通大学计算机科学与工程系
-
出处
《计算机应用与软件》
CSCD
2010年第5期71-74,108,共5页
-
基金
国防预研项目(513150302)
-
文摘
普适环境具有高移动、极端异构、高自治和开放性的特点,普适环境下的服务组合因其突出的动态性问题,为保证对整个服务运行结果的可靠性和一致性,引入事务处理的机制来进行管理。提出一种在普适环境下面向服务的事务处理模型,在服务的发现、组合及运行中引入事务机制来协调管理,保证了服务组合的可靠一致性,并讨论了模型的系统架构和各模块组成,及应用场景。
-
关键词
事务
事务处理模型
普适环境
服务
服务组合
-
Keywords
transaction transaction processing model pervasive computing service service composition
-
分类号
TP311.52
[自动化与计算机技术—计算机软件与理论]
-
