论文部分内容阅读
近年来,随着人们对软件开发实践认识的深入,逐步发现软件产品的质量很大程度上取决于产品开发所采用的过程。一个高质量的软件过程也必须是一个持续不断改进的过程,对于软件过程改进的研究其中极为重要的研究领域就是软件过程建模。软件过程建模方法的研究主要是围绕着过程建模语言和以过程为中心的软件工程环境(PSEE, Process-centered Software Engineering Environment)展开的。但是,随着人们对PSEE认识的深入,逐渐发现实际观察到的过程执行往往和实施的过程模型之间存在一定的偏离(deviation),这就导致PSEE对于实际软件开发活动失去了指导意义。当前对软件过程偏离研究仍然存在不足,现有的过程偏离研究首先是集中在以业务流过程为研究对象的偏离问题上,对软件过程偏离问题研究较少。其次体现在当前的研究主要集中于考虑如何对过程偏离进行处理,以及对具有偏离处理的软件过程建模上,对于过程偏离中最重要的一个部分：如何发现偏离、检测偏离,鲜有文献进行讨论和研究。故而,现有的文献并不能解决软件过程偏离问题。因此,本文以软件演化过程元模型(EPMM)为基础,以过程挖掘为手段,并借鉴进程代数的弱互模拟思想,提出一种软件过程偏离的诊断方法,来解决以下问题：1.在观察过程模型方面,提出了改进α算法的OPM的构建算法来对实际执行的软件过程模型进行还原,改进α算法主要能够挖掘含有短循环的Petri网来解决软件过程挖掘中普遍存在的迭代结构。2.在软件过程偏离发现方面,提出了过程行为空间表达式来对软件过程的行为空间进行构造。为了从行为视角对OPM和EPM进行行为比较,本文采用进程代数中的互模拟关系作为行为比较的标准,提出过程行为空间表达式来对过程行为进行描述以及基于进程代数中互模拟思想的过程偏离的诊断方法。3.在软件过程偏离处理方面,综合当前的过程偏离研究的相关文献,提出了过程偏离类型的划分。基于偏离类型划分提出了偏离处理策略,通过偏离处理策略来对过程偏离进行处理。4.在软件演化过程元模型的整体框架方面,基于EPMM的过程框架提出了添加了过程偏离诊断处理机制的过程偏离诊断框架。综上所述,基于软件演化过程元模型建模产生的软件过程模型执行时产生的偏离问题,本文提出了观察过程模型构造方法,基于过程行为空间表达式的软件过程行为偏离发现,偏离类型划分及其处理策略以及基于EPMM过程框架的过程偏离诊断框架。