An application-semantics-based relaxed transaction model for internetware

来源 :Science in China(Series F:Information Sciences) | 被引量 : 0次 | 上传用户:zj1280
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
An internetware application is composed by existing individual services, while transaction processing is a key mechanism to make the composition reliable. The existing research of transactional composite service (TCS) depends on the analysis to composition structure and exception handling mechanism in order to guarantee the relaxed atomicity. However, this approach cannot handle some application-specific requirements and causes lots of unnecessary failure recoveries or even aborts. In this paper, we propose a relaxed transaction model, including system mode, relaxed atomicity criterion, static checking algorithm and dynamic enforcement algorithm. Users are able to define different relaxed atomicity constraint for different TCS according to application-specific require- ments, including acceptable configurations and the preference order. The checking algo- rithm determines whether the constraint can be guaranteed to be satisfied. The enforce- ment algorithm monitors the execution and performs transaction management work ac- cording to the constraint. Compared to the existing work, our approach can handle com- plex application requirements, avoid unnecessary failure recoveries and perform the transaction management work automatically. The existing research of transactional composite service (TCS) depends on the analysis to composition structure and exception handling mechanism in order to guarantee the relaxed atomicity. However, this approach can not handle some application-specific requirements and causes lots of unnecessary failure recoveries or even aborts. In this paper, we propose a relaxed transaction model, including system mode, relaxed atomic criterion, static checking algorithm and dynamic enforcement algorithm . Users are able to define different relaxed atomicity constraints for different TCS according to application-specific require- ments, including acceptable configurations and the preference order. The checking algo- rithm determines whether the constraint can be guaranteed to be satisfied. The enforce ment algorithm monitors the execution and pe Compared to the existing work, our approach can handle com- plex application requirements, avoid unnecessary failure recoveries and perform the transaction management work automatically.
其他文献
发展社会主义的先进文化是“三个代表”重要思想的内容之一,加强社会主义道德建设是发展先进文化的重要任务,职业道德建设是社会主义道德建设的基本组成部分。因此,我们必须
魏晋南北朝以下,中国文化史上出现一个新的现象,那就是各种形式、各种内容的笔记犹如雨后春笋般地破土而出。它们又如同璀璨的百花,给同时代的著作增添了些许色彩。我在研究
随着时代的发展,人的创造力越来越强,社会和人们的复杂因素越来越多,而企业思想政治工作还不同程度地存在着针时性不强、方法滞后、党务及政工队伍不稳、物质保障不足等问题,
所有接近他的人都会好奇,当铺天盖地的荣誉袭来,当残忍移植的事实呈现,这个“90后”的大男孩经历了怎样的心路历程?他的坚强与乐观来自何处?为什么他的笑容能那么灿烂、那么
Objective. Celiac disease (CD) is underdiagnosed mainly because of lack of awareness of its heterogeneous clinical presentation. The Center for Surveillance and
BACKGROUND: The exact mechanism by which cyclooxy- genase-2 (COX-2) promotes inflammation in pancreatitis in obscure. This study was undertaken to investigate t
社会主义市场经济呼唤劳动力商品李连山党的“十四”大明确提出,我国经济体制改革的目标模式,是建立社会主义市场经济体制。社会主义市场经济体制呼唤劳动力商品。在社会主义社
长期以来,关于刺刀战术用途的争论一直不断。有人认为刺刀已经发展到了尽头,失去了实际战术意义;有人坚持刺刀的作用依然不可替代,应该继续挖掘其潜在功能。事实上,刺刀的发展
网络会计已经被越来越多的医院广泛采用。本文主要分析了医院如何采用网络会计的最新软件控制技术来保障网络会计安全。 Network accounting has been widely used by more
目的:首次调查福建省五个地区乙型肝炎病毒(HBV)基因型的分布状况,并探讨HBV基因型与HBV,相关肝病临床的可能相关性。方法:收集福州市、厦门市、泉州市、三明市、莆田市等地