文献类型：期刊文章

作　　者：黄昌勤[1,2] 梅晓勇[1] 赵淦森[1] 吴吉义[2,3] 汤庸[1] 王会进[4] 郑小林[2]

机构地区：[1]华南师范大学信息服务软件技术研究中心,广州510631 [2]浙江大学电子服务研究中心,杭州310027 [3]杭州师范大学电子商务与信息安全重点实验室,杭州310036 [4]暨南大学计算机系,广州510632

出　　处：《中国科学：信息科学》

基　　金：国家自然科学基金(批准号:61370229,61370178,61272067);国家科技支撑计划(批准号:2013BAH72B01);广东省自然科学基金(批准号:S2013010015178);广东省科技计划(批准号:2012A032200018);中国博士后科学基金(批准号:2014M562188);广东省教育厅科技创新(批准号:2012KJCX0037)资助项目

年　　份：2015

卷　　号：45

期　　号：1

起止页码：70-96

语　　种：中文

收录情况：BDHX、BDHX2014、CSCD、CSCD2015_2016、ZGKJHX、核心刊

摘　　要：移动计算环境中,服务面临资源受限与连接波动,同时存在越区切换和弱一致性需求等事务性挑战.为了确保移动环境下组合服务的事务有效性,本文以服务的不确定性和事务属性为基础,提出了一种基于Markov链的移动组合事务模型.首先通过形式化方法构建移动环境下原子服务模型和原子服务的事务机制,并基于状态概率实现了原子服务的2维不确定性表征,然后运用Markov链完成移动组合服务的模型表达,提出了该模型下的不确定性处理与事务方法,最后基于典型业务结构分析了移动组合事务的执行语义与实施.实验表明:该事务模型能有效描述移动环境下组合服务的事务需求,且服务不确定性的不同指标和各事务架构皆对组合事务成功率产生较大影响.

关 键 词：组合服务  不确定性依赖  MARKOV链 事务 执行分析  

分 类 号：TP393.01] TN929.5[计算机类]