期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

乐观嵌套工作流事务模型的形式化描述

A Formal Description of Optimistic Nested Workflow Transaction Model
下载PDF
导出
摘要 本文对乐观嵌套工作流事务的基本概念及其规则进行形式化描述,并对乐观嵌套工作流事务的层次化、可串行性进行了讨论。最后得出结论:1)利用乐观嵌套模型来调度事务是可以串行调度的,它能够保证数据的一致性。2)在乐观嵌套工作流事务执行过程中采用多版本的数据管理机制来处理并发事务访问同一数据及其中间状态,是无联级回退的。 The formal description of the definition and running rules in Optimistic Nested Workflow Transaction Model are introduceed in this paper. Some properties, such as Hierarchies and serializability, are discussed. Two conclusions below are also presented： 1）this model can ensure the data integrity,because transactions are serializable by a transaction scheduler; 2）this model adopts multi-data version to store intermediate state of data accessed by transaction, and therefore transaction recovery is cascadeless.
作者 董云卫 郝克刚
机构地区 西北工业大学计算机学院 西北大学计算机科学系
出处 《计算机科学》 CSCD 北大核心 2006年第7期107-110,195,共5页 Computer Science
基金 "陕西省自然科学基金"(项目编号:2005F46) "西安科技攻关计划"(项目编号:GG05022)项目资助。
关键词 乐观嵌套工作流事务模型 工作流事务 形式化描述 Optimistic nested workflow transaction model,Workflow transaction,Formal description
分类号 TP31 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献10

  • 1Schuldt H,Alonso G,Beeri C,Schek H J. Atomicity and Isolation for Transaction Processes. ACM Transaction on Database Systems,2002,27(1) :63-116
  • 2丁柯,金蓓弘,冯玉琳.事务工作流的建模和分析[J].计算机学报,2003,26(10):1304-1311. 被引量：26
  • 3Wachter H, Reuter A. The ConTract Model, Database Transaction Models for Advanced Applications. In: A. H. Elmagarmid,ed. Morgan Kaufmann,San Jose, eds. 1992. 123-158
  • 4沈备军,陈诚,居德华.基于规则的软件过程事务模型(英文)[J].软件学报,2002,13(1):24-32. 被引量：3
  • 5Thomasian A. Distributed Optimistic Concurrency Control Methods for High- Performance Transaction Processing. IEEE Transaction on Knowledge and Data Engineering, 1998,10 (1)
  • 6Kung H T,Robinson J T. On Optimistic Methods for Concurrency Control. ACM Transaction on Database Systems, 1981,6 (2) : 213-226
  • 7董云卫,郝克刚.一种乐观嵌套工作流事务模型[J].计算机科学,2005,32(8):90-93. 被引量：5
  • 8Eliot J, Moss B. Nested Transaction: an Approach to Reliable Distributed Computing: [MIT/LCS/RT-260]. 1981
  • 9Bertino E,Catania B, Ferrari E. A Nested Transaction Model for Multilevel Secure Database Management System. ACM Transaction on Information and System Security, 2001,4(4):321-370
  • 10Weikum G,Deacom A,Schaad W,Schek H. Open Nested Transaction in Federated Database System. Data Engineering IEEE Computer Society, 1992,16 (2)

二级参考文献24

  • 1莫倩,李子木,谭郁松,周兴铭.柔性协同事务模型(英文)[J].软件学报,2000,11(6):720-726. 被引量：3
  • 2Schuldt H,Alonso G,Beeri C, Schek Han-Jorg. Atomicity and Isolation for Transaction Processes, ACM Transaction on Database Systems, March, 2002,27(1) : 63～116.
  • 3Wachter H, Reuter A. The ConTract Model, Database Transaction Models for Advanced Applications. Edited by A. H. Elmagarmid, Morgan Kaufmann, San Jose, 1992. 123～158.
  • 4Thomasian A. Distributed Optimistic Concurrency Control Methods for High- Performance Transaction Processing, IEEE Transaction on Knowledge and Data Engineering, 1998,10 (1).
  • 5Kung H T,Robinson J T. On Optimistic Methods for Concurrency Control, ACM Transaction on Database Systems, 1981,6(2):213～226.
  • 6Eliot J, Moss B. Nested Transaction: an Approach to Reliable Distributed Computing, April 1981, MIT/LCS/RT-260.
  • 7van der Aalst1 W M P,ter Hofstede2 A H M, Kiepuszewski2 B,Barros A P. Workflow Patterns. http:∥tmitwww. tm. tue. nl/research/patterns/patterns. htm, 2004.
  • 8Shen. B,J. Gu, C.H. Chen. C., etal. A distributed architecture for process-sensitive engineering environments. In:Proceedings of the Conference on Software: Theory and Practice, the 16th World ComputerConference. Beijing: Publishing House of Electronics Industry. 2000. 993～994.
  • 9Derniame, J. Kaba, B.A., Wastell. D. Software process: principles, methodology. andtechnology. Heidelberg, Germany:Springer-Verlag, 1999.
  • 10Elmagarmid A. Database transaction models for advanced applications. San Francisco,CA: Morgan Kaufmann Publishers, Inc.,.1992.

共引文献31

计算机科学
2006年 第7期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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