| 题名: | 一种弹性的软件过程模型验证工具 |
| 作者: | 胡旷
; 董广智
; 田勇
; 柳军飞
|
| 关键词: | 软件过程
; 过程模型
; 验证工具
; 语义规则
; 可扩展标记语言
|
| 刊名: | 计算机工程与设计
|
| 发表日期: | 2007
|
| 期: | 7, 页:1497-1500 | | 部门归属: | 中国科学院软件研究所,中国科学院软件研究所,中国科学院软件研究所,中国科学院软件研究所 北京100080,北京100080,北京100080,北京100080
|
| 摘要: | 过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。 |
| 内容类型: | 期刊论文
|
| URI标识: | http://ir.iscas.ac.cn/handle/311060/11378
|
| Appears in Collections: | 软件工程技术研究开发中心 _期刊论文
|
| File Name/ File Size |
Content Type |
Version |
Access |
License |
|
|---|
| 一种弹性的软件过程模型验证工具.pdf（364KB） | -- | -- | 限制开放 | -- | 联系获取全文 |
|
| Recommended Citation: | |
胡旷,董广智,田勇,等. 一种弹性的软件过程模型验证工具[J]. 计算机工程与设计,2007-01-01(7):1497-1500.
|
|
|
