Title: | 一种弹性的软件过程模型验证工具 |
Author: | 胡旷
; 董广智
; 田勇
; 柳军飞
|
Keyword: | 软件过程
; 过程模型
; 验证工具
; 语义规则
; 可扩展标记语言
|
Source: | 计算机工程与设计
|
Issued Date: | 2007
|
Issue: | 7, Pages:1497-1500 | Department: | 中国科学院软件研究所,中国科学院软件研究所,中国科学院软件研究所,中国科学院软件研究所 北京100080,北京100080,北京100080,北京100080
|
Abstract: | 过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。 |
Content Type: | 期刊论文
|
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.
|
|
|