期刊文献+

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

Transaction modelling and execution analysis of uncertainty composition service in mobility computing environments
原文传递
导出
摘要 移动计算环境中,服务面临资源受限与连接波动,同时存在越区切换和弱一致性需求等事务性挑战.为了确保移动环境下组合服务的事务有效性,本文以服务的不确定性和事务属性为基础,提出了一种基于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
  • 相关文献

参考文献5

二级参考文献45

  • 1龚洪泉,赵文耘,徐如志,钱乐秋.基于Pi演算的构件演化研究[J].电子学报,2004,32(F12):238-242. 被引量:8
  • 2林闯,王元卓,杨扬,曲扬.基于随机Petri网的网络可信赖性分析方法研究[J].电子学报,2006,34(2):322-332. 被引量:43
  • 3张岩,胡军,于笑丰,张天,李宣东,郑国梁.场景驱动的构件行为抽取[J].软件学报,2007,18(1):50-61. 被引量:16
  • 4李蕊,李仁发.上下文感知计算及系统框架综述[J].计算机研究与发展,2007,44(2):269-276. 被引量:52
  • 5陈波,谭庆平,李舟军,陈火旺.一门新的面向构件语言[J].电子学报,2006,34(B12):2462-2466. 被引量:1
  • 6Bultan T,Fu X,Hull R,Su J. Conversation specification: A new approach to design and analysis of E-service composition[A]. In: Proceedings of the 12th International World Wide Web Conference [ C ]. Budapest, HUNGARY: Springer-Verlag, 2003.403 - 410.
  • 7Brogi A, Canal C, Pimentel E, Vallecillo A. Formalizing web service choreographies [ J ]. Electronic Notes in Theoretical Computer Science,2004,105(12) :73 - 49.
  • 8Bengt Nordstrom, Kent Petersson, Jan M. Smith. Programming in Martin-Lof Type Theory:An Introduction[M]. Oxford: Oxford University Press, 1999.
  • 9YuYu Yin, Ying Li, Shuiguang Deng, Kuangli, Jian Wu, XuXue Sun, Jian Jiang, ZhaoHui Wu. Automating service matchmaking using type theory [ A ]. Proceedings of the 2007 International Conference on Services Computing[ C ]. Salt Lake City, Utah, USA: Springer-Verlag, 2007.723 - 724.
  • 10Zhiwei Chen, Jian Wu, Shuiguang Deng, Ying Li, Zhaohui Wu. Describing and verifying web service using type theory [ A J. Proceedings of the 10th International Conference Computer Supported Cooperative Work in Design[ CJ. NanJing, China: Springer-Verlag, 2006.1 - 5.

共引文献66

同被引文献7

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部