中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 中科院软件所  > 中科院软件所
题名:
以活动为中心的软件过程模型的验证工具研究
作者: 胡旷
答辩日期: 2006-06-15
授予单位: 中国科学院软件研究所
授予地点: 软件研究所
学位: 博士
关键词: 软件过程 ; 过程建模 ; 过程分析 ; 数据语义约束规则
摘要: 软件过程技术通过建模、运作、监控、度量过程模型,对实际的软件过程提供指导和控制,从而保证软件开发的质量、提高软件开发的效率。对软件过程的研究已经成为软件工程领域的研究重点之一。 当前,随着软件开发活动的日益复杂,对应的过程模型也愈加复杂,保证过程模型的正确性显得非常重要。本文在总结已有工作的基础上,针对当前软件过程模型分析中存在的主要问题进行了研究。 克服了以往过程分析只关注过程结构的缺陷,从行为视图、资源视图、组织视图三维相结合的角度对软件过程模型的语义正确性验证进行了研究,提出了保证软件过程模型正确性的结构语义和数据语义约束规则。 通过XPath技术对语义约束规则进行描述,提出了一种弹性的用于验证基于XML描述的过程模型正确性的机制。基于此实现的过程模型验证工具能根据建模者需求灵活添加、修改、删除语义约束规则,实现了约束规则与验证工具的分离。通过与建模环境集成,工具还能提供图形化的诊断信息,方便了建模者的使用。 最后,在过程环境SPEFE中添加了模型验证工具,给过程分析人员提供自动化的辅助支持。
语种: 中文
内容类型: 学位论文
URI标识: http://ir.iscas.ac.cn/handle/311060/6588
Appears in Collections:中科院软件所

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

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