基于规则的软件过程事务模型(英文)  

Criteria-Based Software Process Transaction Model

作　　者：沈备军[1] 陈诚[2] 居德华[1] 

机构地区：[1]华东理工大学计算机系 [2]中国科学院软件研究所,北京100080

出　　处：《软件学报》2002年第1期24-32,共9页Journal of Software

摘　　要：事务管理是过程工程环境(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 partial requirements. Moreover, no commercial or academic results of nested cooperative transaction models reach a status stable enough for commercial implementation. It remains a real challenge to the transaction mechanism of PSEE. A criteria-based transaction model E-Process/TM is presented, that may address the key features of software process. i.e. interactive user control, long-duration activities, iterative approach and multi-user cooperation on shared persistent data. Based on user defined correctness criteria, E-Process/TM offers inherent benefits in flexibility and openness. By now, this model is implemented in a commercial PSEE product, and applied in practice successfully.

关 键 词：软件过程 扩充事务模型 正确性规则 软件工程 

分 类 号：TP311.5[自动化与计算机技术—计算机软件与理论]