软件过程的建模、分析和演化技术研究
文献类型：学位论文
| 作者 | 陈诚 |
| 学位类别 | 博士 |
| 答辩日期 | 2002 |
| 授予单位 | 中国科学院软件研究所 |
| 授予地点 | 中国科学院软件研究所 |
| 关键词 | 软件过程 过程建模 过程模型分析 过程模型演化 软件工程环境 |
| 其他题名 | Research on Software Process Model ing, Analysis and Evolution Technology |
| 学位专业 | 计算机应用技术 |
| 中文摘要 | 对软件开发和维护过程的管理能够帮助软件项目的控制和协调,提高软件的质量和生产效率.软件过程技术通过描述、运作、监控、度量和演化有针对性的过程模型,对用户实际进行的软件过程提供了指导和控制,是支持软件开发、项目管理、质量保证的关键技术,已经成为软件工程领域的研究重点之一.论文研究了其中软件过程建模、过程模型和动态分析、以及分析和处理过程模型动态演化的影响这几个方面,主要的贡献和创新如下：1.论文提出了一个能够满足不同用户需求的、可扩展的、形式化的软件过程建模语言.2.论文采用软件验证中的有限状态验证技术,给出了一个过程模型动态分析的方法,避免了过程模拟技术中由于取样限制而可能得到不准确的分析结果的缺点.论文中将软件过程模型的行为和需要验证的性质表示成Buchi自动机的形式,证明了分析过程模型的动态语义相当于判断某个Buchi自动机的非空性的问题.3.论文提出了分析和处理过程模型动态演化造成的影响的方法.其中,为了防止用户在演化中随意地修改过程模型,论文提出了"目标一致性",即演化后的过程模型能够通过继续运作达到预定的功能性目标,作为一般情况下判断演化是否合理的标准.论文还研究了各种演化方式对过程运作状态的影响,支持对过程运作状态进行适当交换以适用于演化后的过程模型,并在此基础上证明了可以判定演化前后的过程模型是否满足目标一致性. |
| 语种 | 中文 |
| 公开日期 | 2011-03-17 |
| 页码 | 111 |
| 源URL | [http://ir.iscas.ac.cn/handle/311060/6372]  |
| 专题 | 软件研究所_中科院软件所_中科院软件所 |
| 推荐引用方式 GB/T 7714 | 陈诚. 软件过程的建模、分析和演化技术研究[D]. 中国科学院软件研究所. 中国科学院软件研究所. 2002. |
入库方式： OAI收割
来源：软件研究所
浏览0
下载0
收藏0
其他版本
除非特别说明，本系统中所有内容都受版权保护，并保留所有权利。