组件的可靠事务设计一致性验证研究

Research on Consistency Checking of Component's Reliable Transaction Design

在基于组件的系统开发中,组件的事务控制粒度从语句一级被提升到方法一级,因此给系统开发人员带来了便利的同时,失去了对事务控制的灵活性。通过研究,提出了一种从组件的事务属性和隔离性两方面来判定组件事务设置是否正确的方法,使开发人员能设计出拥有可靠事务的组件应用系统。

During the development of the component-based system, the granulaty to control the component transaction is improved from the statement press to the interface press. So the more availability the system programmer gets, the less flexibility he can control the transaction. A method is put forward to determine the component transaction set reasonable or not by the transaction property and the isolation of the component, which makes the programmer available to design an applicable component system with the credible transaction.