%0 Journal Article
%T Criteria-Based Software Process Transaction Model<br>基于规则的软件过程事务模型
%A SHEN Bei-jun
%A JU De-hua
%A CHEN Cheng
%A <br>沈备军
%A 陈诚
%A 居德华
%J 软件学报
%D 2002
%I 
%X 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.
%K software process
%K software process transaction
%K extended transaction model
%K PSEE
%K correctness criteria<br>软件过程
%K 软件过程事务
%K 扩充事务模型
%K 软件过程支持环境
%K 正确性规则
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=9F7627CB5FC6ED8F&yid=C3ACC247184A22C1&vid=FC0714F8D2EB605D&iid=CA4FD0336C81A37A&sid=B91E8C6D6FE990DB&eid=9971A5E270697F23&journal_id=1000-9825&journal_name=软件学报&referenced_num=2&reference_num=12