Institutional Repository
| 一种弹性的软件过程模型验证工具 | |
| 胡旷; 董广智; 田勇; 柳军飞 | |
| 2007 | |
| Source | 计算机工程与设计
 |
| Issue | 7Pages:1497-1500 |
| English Abstract | 过程模型验证是保证软件过程定义正确性的重要手段。针对目前过程模型验证中的一些问题,首先提出了一种以活动为中心的软件过程元模型,并以XML对其进行描述。在此基础上,从行为、资源、组织视图结合的角度,提出了保证软件过程模型正确性的语义约束规则。最后,提出了一种弹性的用于验证XML描述的过程模型的机制,并基于此实现了过程模型验证工具,来验证过程模型的正确性。 |
| Keyword | 软件过程 过程模型 验证工具 语义规则 可扩展标记语言 |
| Department | 中国科学院软件研究所,中国科学院软件研究所,中国科学院软件研究所,中国科学院软件研究所 北京100080,北京100080,北京100080,北京100080 |
| Content Type | 期刊论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/11378 |
| Collection | 软件工程技术研究开发中心 |
| Recommended Citation GB/T 7714 | 胡旷,董广智,田勇,等. 一种弹性的软件过程模型验证工具[J]. 计算机工程与设计,2007(7):1497-1500. |
| APA | 胡旷,董广智,田勇,&柳军飞.(2007).一种弹性的软件过程模型验证工具.计算机工程与设计(7),1497-1500. |
| MLA | 胡旷,et al."一种弹性的软件过程模型验证工具".计算机工程与设计 .7(2007):1497-1500. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 一种弹性的软件过程模型验证工具.pdf（364KB） | 开放获取 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment