%0 Journal Article
%T Event Constraint Based Software Process Validation<br>基于事件约束的软件过程验证
%A GU Qing
%A CHEN Dao-Xu
%A <br>顾庆
%A 陈道蓄
%J 软件学报
%D 2005
%I 
%X Software process is a human-centered system, with special characteristics in dynamic and continuous evolvement. The physical execution of a defined process will normally deviate from its process model. This paper uses E-CSPE (extended constraints on succeeding and proceeding events) constraints to carry out process validation and deviation measurement. The event constraints are defined based on the process model. The execution of a process instance is recorded down as an event sequence. The event sequence is analyzed to determine how much each event constraint defined is covered or violated. The result can be used to compute the EPD (event constraint based process difference metric) and EAD (event constraint based activity deviation metric) metrics. The EPD metric can reflect the difference between the process execution and its process model, while the EAD metric can provide some evidence for process evolvement.
%K software engineering
%K software process
%K software process improvement
%K process model
%K process validation
%K event constraint<br>软件工程
%K 软件过程
%K 软件过程改进
%K 过程模型
%K 过程验证
%K 事件约束
%U http://www.alljournals.cn/get_abstract_url.aspx?pcid=5B3AB970F71A803DEACDC0559115BFCF0A068CD97DD29835&cid=8240383F08CE46C8B05036380D75B607&jid=7735F413D429542E610B3D6AC0D5EC59&aid=623009120C79B575&yid=2DD7160C83D0ACED&vid=7801E6FC5AE9020C&iid=F3090AE9B60B7ED1&sid=E0E0A0F322B76027&eid=6200939EB7D4F462&journal_id=1000-9825&journal_name=软件学报&referenced_num=0&reference_num=12