事务管理是过程工程环境(PSEE)的一个关键技术.近年来,提出了不少高级事务模型支持长事务.然而,由于软件过程事务处理的特殊性,这些模型只能反映其中一部分需求,而且大多数多层的合作事务模型还不够稳定,无法应用于商业,这对PSEE的事务机制提出了挑战.基于此,提出了一个基于规则的软件过程事务模型E-Process/TM,能够较好地刻画软件过程的特征,即用户交互性、长周期、迭代式过程和数据共享的多用户协作.基于用户可自定义的正确性规则,E-Process/TM提供了良好的灵活性和开放性.目前,该模型已在商业PSEE产品中得以实现,并成功地应用于实践中

Transaction management is the key component of process-sensitive engineering environments(PSEE). In recent years, several advanced transaction models have been proposed to support long transaction.However, in view of specific characteristic in software process transaction, those models only meet its partialrequirements. Moreover, no commercial or academic results of nested cooperative transaction models have reacheda status stable enough for commercial implementation. It remains a real challenge to the transaction mechanism ofPSEE. In this paper, a criteria-based transaction model E-Process/TM is presented, that may address the keyfeatures of software process, i.e. interactive user control, long-duration activities, iterative approach and multi-usercooperation on shared persistent data. Based on user defined correctness criteria, E-Process/TM offers inherentbenefits in flexibility and openness. By now, this model has been implemented in a commercial PSEE product, andapplied in practice successfully.