Institutional Repository
| 以活动为中心的软件过程模型的验证工具研究 | |
| 胡旷 | |
| 2006-06-15 | |
| Degree Grantor | 中国科学院软件研究所 |
| Degree Level | 博士 |
| Place of Degree Grantor | 软件研究所 |
| Keyword | 软件过程 过程建模 过程分析 数据语义约束规则 |
| English Abstract | 软件过程技术通过建模、运作、监控、度量过程模型，对实际的软件过程提供指导和控制，从而保证软件开发的质量、提高软件开发的效率。对软件过程的研究已经成为软件工程领域的研究重点之一。 当前，随着软件开发活动的日益复杂，对应的过程模型也愈加复杂，保证过程模型的正确性显得非常重要。本文在总结已有工作的基础上，针对当前软件过程模型分析中存在的主要问题进行了研究。 克服了以往过程分析只关注过程结构的缺陷，从行为视图、资源视图、组织视图三维相结合的角度对软件过程模型的语义正确性验证进行了研究，提出了保证软件过程模型正确性的结构语义和数据语义约束规则。 通过XPath技术对语义约束规则进行描述，提出了一种弹性的用于验证基于XML描述的过程模型正确性的机制。基于此实现的过程模型验证工具能根据建模者需求灵活添加、修改、删除语义约束规则，实现了约束规则与验证工具的分离。通过与建模环境集成，工具还能提供图形化的诊断信息，方便了建模者的使用。 最后，在过程环境SPEFE中添加了模型验证工具，给过程分析人员提供自动化的辅助支持。 |
| Pages | 57 |
| Language | 中文 |
| Content Type | 学位论文 |
| URI | http://ir.iscas.ac.cn/handle/311060/6588 |
| Collection | 中科院软件所_中科院软件所 |
| Recommended Citation GB/T 7714 | 胡旷. 以活动为中心的软件过程模型的验证工具研究[D]. 软件研究所. 中国科学院软件研究所,2006. |
| Files in This Item: | ||||||
| File Name/Size | DocType | Version | Access | License | ||
| 10001_20032801500437（2915KB） | 限制开放 | -- | Application Full Text | |||
Items in the repository are protected by copyright, with all rights reserved, unless otherwise indicated.
Edit Comment