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

• 作者: 柳军飞 田勇 胡旷 董广智
• 来源期刊: 计算机工程与设计
• 学科: 工学
• 关键词: 软件过程 过程模型 验证工具 语义规则 可扩展标记语言
• 年，卷（期）: 2007,（7）
• 所属期刊栏目: 计算机软件与算法
• 页码范围: 1497-1500
• 页数: 4页
• 分类号: TP311
• 字数: 5164字
• 语种: 中文
• DOI: 10.3969/j.issn.1000-7024.2007.07.003

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	柳军飞	中国科学院软件研究所	15	135	7.0	11.0
2	田勇	中国科学院软件研究所	24	78	5.0	8.0
3	董广智	中国科学院软件研究所	5	21	3.0	4.0
4	胡旷	中国科学院软件研究所	1	3	1.0	1.0