一种弹性的软件过程模型验证工具  

Flexible verification tool for software process model

作　　者：胡旷[1] 董广智[1] 田勇[1] 柳军飞[1] 

机构地区：[1]中国科学院软件研究所,北京100080

出　　处：《计算机工程与设计》2007年第7期1497-1500,共4页Computer Engineering and Design

基　　金：电子信息产业发展基金项目。

摘　　要：过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。Verification is meaningful for ensuring the correctness of software process definition. The semantic verification tool is focused on, solving some problems of verification of process model. Firstly, an activity-centered software process meta-model is presented and described using XML. Based on this, semantic rules for ensuring the correctness of soiftware process model are stated, considering the combination of behavior view, resource view and organization view. -Finally, a flexible mechanism for verification of XML-based process model is given and a verification tool is implemented to verify the correctness of software process.

关 键 词：软件过程 过程模型 验证工具 语义规则 可扩展标记语言 

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