In object-oriented database systems(OODBSs),the traditional transaction models are no longer suit- able because of the difference between the object-oriented data model(OODM)and the conventional da- ta models(e.g.rela...In object-oriented database systems(OODBSs),the traditional transaction models are no longer suit- able because of the difference between the object-oriented data model(OODM)and the conventional da- ta models(e.g.relational data model).In this paper,transaction models for advanced databuse applica- tions are reviewed and their shortcomings are analyzed.Exchangeability of operations is proposed in- stead of commuativity and recoverability for using more semantics in transaction management.As a result,an object-oriented transaction model(in short,OOTM)is presented.It is not modeled for some special application,but directly based on object-oriented paradigms.A transaction is regarded as an interpretation of a method.Each transaction(even subtransactions)keeps relative ACID(Atomicity, Consistency,Isolation,Durability )properties,therefore the special problems appearing in OODBSs such as“long transactions”,“visibility of inconsistent database state”can be solved.展开更多
In the dual risk model, we consider the optimal dividend and capital injection problem, which involves a random time horizon and a ruin penalty. Both fixed and proportional costs from the transactions of capital injec...In the dual risk model, we consider the optimal dividend and capital injection problem, which involves a random time horizon and a ruin penalty. Both fixed and proportional costs from the transactions of capital injection are considered. The objective is to maximize the total value of the expected discounted dividends, and the penalized discounted both capital injections and ruin penalty during the horizon, which is described by the minimum of the time of ruin and an exponential random variable. The explicit solutions for optimal strategy and value function are obtained, when the income jumps follow a hyper-exponential distribution.Besides, some numerical examples are presented to illustrate our results.展开更多
Composite Web services provide promising prospects for conducting cross-organizational Web service transactions. Such transactions generally require longer processing time and manipulate financially critical data. To ...Composite Web services provide promising prospects for conducting cross-organizational Web service transactions. Such transactions generally require longer processing time and manipulate financially critical data. To efficiently manage these Web services transactions, isolation is commonly relaxed, but inconsistency will be caused by concurrently executing isolation-relaxing transactions. This article proposes an extension to the WS-Business Activity Protocol, which ensures the consistent executions of isolation-relaxing Web service transactions, and which is based on transaction dependency graphs distributed over multiple nodes. Furthermore, this article presents several algorithms implementing the protocol, and introduces the implement of a prototype system.展开更多
Many business processes in enterprise applications are both long running and transactional in nature. However, no current transaction model can provide full transaction support for such long running business processes...Many business processes in enterprise applications are both long running and transactional in nature. However, no current transaction model can provide full transaction support for such long running business processes. This paper proposes a new transaction model, the pessimistic predicate/transform (PP/T) model, which can provide full transaction support for long running business processes. A framework was proposed on the enterprise JavaBeans platform to implement the PP/T model. The framework enables application developers to focus on the business logic, with the underlying platform providing the required transactional semantics. The development and maintenance effort are therefore greatly reduced. Simulations show that the model has a sound concurrency management ability for long running business processes.展开更多
文摘In object-oriented database systems(OODBSs),the traditional transaction models are no longer suit- able because of the difference between the object-oriented data model(OODM)and the conventional da- ta models(e.g.relational data model).In this paper,transaction models for advanced databuse applica- tions are reviewed and their shortcomings are analyzed.Exchangeability of operations is proposed in- stead of commuativity and recoverability for using more semantics in transaction management.As a result,an object-oriented transaction model(in short,OOTM)is presented.It is not modeled for some special application,but directly based on object-oriented paradigms.A transaction is regarded as an interpretation of a method.Each transaction(even subtransactions)keeps relative ACID(Atomicity, Consistency,Isolation,Durability )properties,therefore the special problems appearing in OODBSs such as“long transactions”,“visibility of inconsistent database state”can be solved.
基金Supported by the National Natural Science Foundation of China(11231005)Promotive research fund for excellent young and middle-aged scientists of Shandong Province(BS2014SF006)the Natural Science Foundation of the Jiangsu Higher Education Institutions of China(15KJB110009)
文摘In the dual risk model, we consider the optimal dividend and capital injection problem, which involves a random time horizon and a ruin penalty. Both fixed and proportional costs from the transactions of capital injection are considered. The objective is to maximize the total value of the expected discounted dividends, and the penalized discounted both capital injections and ruin penalty during the horizon, which is described by the minimum of the time of ruin and an exponential random variable. The explicit solutions for optimal strategy and value function are obtained, when the income jumps follow a hyper-exponential distribution.Besides, some numerical examples are presented to illustrate our results.
基金supported by the National Key Technology R&D Program (2007BAH17B04)Natural Science Foundation of Jiangsu Province (BK2007603)+1 种基金Research Climbing Project of NJUPT (NY207062)Qin-Lan Project of NJUPT (NY208024)
文摘Composite Web services provide promising prospects for conducting cross-organizational Web service transactions. Such transactions generally require longer processing time and manipulate financially critical data. To efficiently manage these Web services transactions, isolation is commonly relaxed, but inconsistency will be caused by concurrently executing isolation-relaxing transactions. This article proposes an extension to the WS-Business Activity Protocol, which ensures the consistent executions of isolation-relaxing Web service transactions, and which is based on transaction dependency graphs distributed over multiple nodes. Furthermore, this article presents several algorithms implementing the protocol, and introduces the implement of a prototype system.
基金Supported by the National Key Basic Research and Development (973) Program of China (No. 2002CB312005), and the National High-Tech Research and Development (863) Program of China (No. 2003AA115440)
文摘Many business processes in enterprise applications are both long running and transactional in nature. However, no current transaction model can provide full transaction support for such long running business processes. This paper proposes a new transaction model, the pessimistic predicate/transform (PP/T) model, which can provide full transaction support for long running business processes. A framework was proposed on the enterprise JavaBeans platform to implement the PP/T model. The framework enables application developers to focus on the business logic, with the underlying platform providing the required transactional semantics. The development and maintenance effort are therefore greatly reduced. Simulations show that the model has a sound concurrency management ability for long running business processes.