中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
基于数据依赖的过程合理性分析和优化
作者: 丁婧
答辩日期: 2006-06-15
授予单位: 中国科学院软件研究所
授予地点: 软件研究所
学位: 博士
关键词: 软件过程 ; 数据依赖关系 ; 过程合理性 ; 过程分析 ; 过程优化 ; 以过程为中心的软件工程环境
摘要: 软件过程工程包括过程建模、过程分析、过程例化、过程运作、过程度量和过程评估与改进,对过程合理性验证的研究一直是软件过程分析的一个主要研究内容。 软件过程是一个复杂的、不确定的过程,表现在控制结构和数据关系两方面,目前对过程分析的研究大部分集中在过程结构上。而软件过程模型的很多语义上的错误和歧义都是由数据依赖关系不明确而引起的。因此详尽准确地表述数据依赖关系对于过程的语义的表达有重要意义。 本文结合软件过程的特点提出了带条件的数据依赖关系的概念,并对过程元模型SPM进行扩展,使之能够支持这种带条件的数据依赖关系。这种数据依赖关系与传统的数据依赖关系相比,能更好地表示软件过程的复杂性与不确定性。 通过对数据依赖关系进行分析,提出了保证过程模型实例语义合理的基本规则——存在正确性规则和无二义性规则,并应用过程自动机理论,实现了验证这些规则的算法。 其次,针对通过了合理性分析的模型进行基于数据依赖的优化,特别是针对并行程度进行优化,给出并行优化算法,以提高过程的性能和执行效率,保证模型不仅是合理的,而且是条件允许的情况下最优的。 最后,在过程环境SPEFE中添加了实现上述过程分析和优化算法的分析优化工具,给过程分析人员提供自动化的辅助支持。
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/7200
Appears in Collections:中科院软件所

Files in This Item:
File Name/ File Size Content Type Version Access License
10001_200328015004370丁婧_null.doc(2688KB)----限制开放-- 联系获取全文

Recommended Citation:
丁婧. 基于数据依赖的过程合理性分析和优化[D]. 软件研究所. 中国科学院软件研究所. 2006-06-15.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[丁婧]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[丁婧]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2017  中国科学院软件研究所 - Feedback
Powered by CSpace