An application-semantics-based relaxed transaction model for internetware

来源 :中国科学F辑(英文版) | 被引量 : 0次 | 上传用户:momoji12
下载到本地 , 更方便阅读
声明 : 本文档内容版权归属内容提供方 , 如果您对本文有版权争议 , 可与客服联系进行内容授权或下架
论文部分内容阅读
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 requirements, including acceptable configurations and the preference order. The checking algorithm determines whether the constraint can be guaranteed to be satisfied. The enforcement algorithm monitors the execution and performs transaction management work according to the constraint. Compared to the existing work, our approach can handle complex application requirements, avoid unnecessary failure recoveries and perform the transaction management work automatically.
其他文献
The processing conditions of the texture formation and deep drawability of a Ti-IF steel strip hot-rolled in ferritic region and subsequently annealed were inve
Parallel manipulator is associated with a set of functions defined by its closure constraints. In this paper, using Lie algebra method, we provide a study on th
An intelligent virtual environment is described for training users in the operation of complex engineering systems. After analyzing the original model of virtua
分析了中医推拿中垂直用力、平面用力及旋转用力的推法、按法、滚法、摩法、揉法、擦法、拍法、振法和击法等九种推拿手法的运动学和动力学,得出了要实现各种手法所需要的自
近年来我国房地产市场中出现了凸显区位内涵的城市住区“板块”现象,从概念、内涵、成因等多方面着力剖析了“板块”现象.不仅希望对城市住区空间的区位因素能够重新认识.更期望对我国城市的住宅建设事业和城市空间结构良性发展有所裨益。
The fatigue properties of 400 MPa grade supersteel, plain low carbon steel SS400 and microalloyed steel Q340TM were investigated through tensile-compression fat
An investigation on the neural networks based active vibration control of flexible redundant manipulators was conducted.The smart links of the manipulator were
This paper presented an online quality inspection system based on artificial neural networks. Chromatism classification and edge detection are two difficult pro
选择26例采用饮食控制及口服降糖药物治疗血糖控制不满意的2型糖尿病病例,于晚睡前注射1次中效胰岛素(NPH)治疗,分别于治疗前及治疗后观察空腹血糖(FBG)及糖化血红蛋白(HbA1c