| 一种弹性的软件过程模型验证工具 |
| |
| 引用本文： | 胡旷,董广智,田勇,柳军飞. 一种弹性的软件过程模型验证工具[J]. 计算机工程与设计, 2007, 28(7): 1497-1500 |
| |
| 作者姓名： | 胡旷 董广智 田勇 柳军飞 |
| |
| 作者单位： | 中国科学院软件研究所,北京,100080;中国科学院软件研究所,北京,100080;中国科学院软件研究所,北京,100080;中国科学院软件研究所,北京,100080 |
| |
| 摘 要： | 过程模型验证是保证软件过程定义正确性的重要手段.针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述.在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则.最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性.
|
| 关 键 词： | 软件过程 过程模型 验证工具 语义规则 可扩展标记语言 |
| 文章编号： | 1000-7024（2007）07-1497-04 |
| 修稿时间： | 2006-03-23 |
Flexible verification tool for software process model |
| |
| HU Kuang,DONG Guang-zhi,TIAN Yong,LIU Jun-fei. Flexible verification tool for software process model[J]. Computer Engineering and Design, 2007, 28(7): 1497-1500 |
| |
| Authors: | HU Kuang DONG Guang-zhi TIAN Yong LIU Jun-fei |
| |
| Affiliation: | Software Institute, Chinese Academy of Science, Beijing 100080, China |
| |
| Abstract: | 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. |
| |
| Keywords: | software process process model verification tool semantic rule XML |
| 本文献已被 CNKI 维普 万方数据 等数据库收录！ |
|
