摘要
移动计算环境中,服务面临资源受限与连接波动,同时存在越区切换和弱一致性需求等事务性挑战.为了确保移动环境下组合服务的事务有效性,本文以服务的不确定性和事务属性为基础,提出了一种基于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.
出处
《中国科学:信息科学》
CSCD
北大核心
2015年第1期70-96,共27页
Scientia Sinica(Informationis)
基金
国家自然科学基金(批准号:61370229,61370178,61272067)
国家科技支撑计划(批准号:2013BAH72B01)
广东省自然科学基金(批准号:S2013010015178)
广东省科技计划(批准号:2012A032200018)
中国博士后科学基金(批准号:2014M562188)
广东省教育厅科技创新(批准号:2012KJCX0037)资助项目
关键词
组合服务
不确定性依赖
MARKOV链
事务
执行分析
composition service; uncertainty dependency; Markov chain; transaction; execution analysis