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

作     者：胡旷 董广智 田勇 柳军飞 HU Kuang;DONG Guang-zhi;TIAN Yong;LIU Jun-fei

作者机构：中国科学院软件研究所北京100080 

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

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2007年第28卷第7期

页      码：1497-1500页

摘      要：过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。

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

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

D　O　I：10.3969/j.issn.1000-7024.2007.07.003

馆 藏 号：203110135...