移动计算环境下不确定性组合服务的事务建模与执行分析  

Transaction modelling and execution analysis of uncertainty composition service in mobility computing environments

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

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

出　　处：《中国科学：信息科学》2015年第1期70-96,共27页Scientia Sinica(Informationis)

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

摘　　要：移动计算环境中,服务面临资源受限与连接波动,同时存在越区切换和弱一致性需求等事务性挑战.为了确保移动环境下组合服务的事务有效性,本文以服务的不确定性和事务属性为基础,提出了一种基于Markov链的移动组合事务模型.首先通过形式化方法构建移动环境下原子服务模型和原子服务的事务机制,并基于状态概率实现了原子服务的2维不确定性表征,然后运用Markov链完成移动组合服务的模型表达,提出了该模型下的不确定性处理与事务方法,最后基于典型业务结构分析了移动组合事务的执行语义与实施.实验表明:该事务模型能有效描述移动环境下组合服务的事务需求,且服务不确定性的不同指标和各事务架构皆对组合事务成功率产生较大影响.In mobile-enabled service-oriented computing, there exist resource restrictions and connection intermittences, and transactional services are often confronted with handovers and weak consistency support. In order to ensure the transaction validity of composition services in mobile environments, a mobile composition transaction model based on Markov Chain is proposed via analyzing service uncertainty and transaction properties.Firstly, formal methods are applied to construct a mobile atomic service model and a transaction mechanism of atomic services, and the service uncertainties are formulated with state probabilities. Secondly, the mobile composition service model is constructed using a Markov Chain, in which uncertainties are passed and a method of reliable composition transaction is presented. Then transaction execution of typical logic structure is introduced after execution semantic analysis. Finally, an application case shows that this model is effective to describe the mobile composition transaction, and the experimental results suggest that service availability, service reliability and transaction pattern have a considerable impact on the probability of success of composition transactions.

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

分 类 号：TP393.01[自动化与计算机技术—计算机应用技术] TN929.5[自动化与计算机技术—计算机科学与技术]