基于EPMM建模的软件过程行为偏离诊断研究

《基于EPMM建模的软件过程行为偏离诊断研究》由会员上传分享，免费在线阅读，更多相关内容在学术论文-天天文库。

1、扉页：独创性声明本人声明所呈交的论文是我个人在导师指导下进行的研究工作及取得的研究成果。除了文中特别加以标注和致谢的地方外，论文中不包含其他人或集体己经发表或撰写过的研究成果，对本文的研究做出贡献的集体和个人均己在论文中作了明确的说明并表示了谢意。研究生签名：粒日期：凇，乡．土．岁口论文使用和授权说明本人完全了解云南大学有关保留、使用学位论文的规定，即：学校有权保留并向国家有关部门或机构送交学位论文和论文电子版；允许论文被查阅或借阅；学校可以公布论文的全部或部分内容，可以采用影印、缩印或其他复制手段保存论文。(保密的论文在解密后应遵循此规定)研究生签名：导师签名：日期：塑!兰!

2、』：塑本人及导师同意将学位论文提交至清华大学“中国学术期刊(光盘版)电子杂志社”进行电子和网络出版，并编入CNIU系列数据库，传播本学位论文的全部或部分内容，同意按《中国优秀博硕士学位论文全文数据库出版章程》规定享受相关权益。研究生签名：爿丝塑导师签名：日期：弘防S-．弦云南大学硕士研究生论文基于EPMM建模的软件过程行为偏离诊断研究近年来，随着人们对软件开发实践认识的深入，逐步发现软件产品的质量很大程度上取决于产品开发所采用的过程。一个高质量的软件过程也必须是一个持续不断改进的过程，对于软件过程改进的研究其中极为重要的研究领域就是软件过程建模。软件过程建模方法的研究主要是围绕

3、着过程建模语言和以过程为中心的软件工程环境(PSEE，Process—centeredSoftwareEngineeringEnvironment)展开的。但是，随着人们对PSEE认识的深入，逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation)，这就导致PSEE对于实际软件开发活动失去了指导意义。当前对软件过程偏离研究仍然存在不足，现有的过程偏离研究首先是集中在以业务流过程为研究对象的偏离问题上，对软件过程偏离问题研究较少。其次体现在当前的研究主要集中于考虑如何对过程偏离进行处理，以及对具有偏离处理的软件过程建模上，对于过程偏离中最重要的一个

4、部分：如何发现偏离、检测偏离，鲜有文献进行讨论和研究。故而，现有的文献并不能解决软件过程偏离问题。因此，本文以软件演化过程元模型(EPMM)为基础，以过程挖掘为手段，并借鉴进程代数的弱互模拟思想，提出一种软件过程偏离的诊断方法，来解决以下问题：1．在观察过程模型方面，提出了改进Q算法的OPM的构建算法来对实际执行的软件过程模型进行还原，改进Q算法主要能够挖掘含有短循环的Petri网来解决软件过程挖掘中普遍存在的迭代结构。2．在软件过程偏离发现方面，提出了过程行为空间表达式来对软件过程的行为空间进行构造。为了从行为视角对OPM和EPM进行行为比较，本文采用进程代数中的互模拟关系作

5、为行为比较的标准，提出过程行为空间表达式来对过程行为进行描述以及基于进程代数中互模拟思想的过程偏离的诊断方法。3．在软件过程偏离处理方面，综合当前的过程偏离研究的相关文献，提出了过程偏离类型的划分。基于偏离类型划分提出了偏离处理策略，通过偏离处理策略来对过程偏云南大学硕士研究生论文基于EPMM建模的软件过程行为偏离诊断研究离进行处理。4．在软件演化过程元模型的整体框架方面，基于EPMM的过程框架提出了添加了过程偏离诊断处理机制的过程偏离诊断框架。综上所述，基于软件演化过程元模型建模产生的软件过程模型执行时产生的偏离问题，本文提出了观察过程模型构造方法，基于过程行为空间表达式的软

6、件过程行为偏离发现，偏离类型划分及其处理策略以及基于EPMM过程框架的过程偏离诊断框架。关键诃：软件过程；行为偏离诊断；软件演化过程元模型；过程挖掘；进程代数II云南大学硕士研究生论文基于EPMM建模的软件过程行为偏离诊断研究AbstractInrecentyears，丽min-depthunderstandingofsoftwaredevelopmentpractices，peoplegraduallyfoundthatthequalityofsoftwareproductslargelydependsonthesoftwareproductdevelopmentproces

7、s．Ahigh-qualitysoftwareprocessmustbeacontinuousimprovementprocess，andthesoftwareprocessmoilingistheextremelyimportantareaofresearchinsoftwareprocessimprovement．Researchonsoftwareprocessmodelingmethodsmainlyconcentratedonprocessmodelinglanguageandpr