基于过程树的软件过程线建模及其应用研究

发布时间：2017-12-26 08:34

本文关键词：基于过程树的软件过程线建模及其应用研究　出处：《云南大学》2016年博士论文　论文类型：学位论文

【摘要】：在软件工程领域,越来越多软件组织采用集成的开发模式。集成可以在不同的层次和不同的阶段来进行。集成开发模式利用复用、裁剪等手段,能快速配置生成与具体项目相关的软件制品或软件过程实例。软件制品和软件过程实例的形式是多种多样的,因而集成对于形式多样的软件制品和软件过程实例的开发和质量保障具有重要的意义。软件过程线是集成思想在软件工程领域的一个重要的应用。软件过程线是一种特殊的软件产品线,两者均使用了集成的思想。软件过程线使用公共核心过程资产集合,对预定义的过程线变化点进行裁剪和复用,从而在构件层次上实现整个过程线体系结构指导下的复用、集成和组装,而在活动和任务层次上实现局部的裁剪。由此,面向项目的过程实例的构建就从传统的“创造”变为“集成和组装”。目前,软件过程线的理论体系尚不完整,没有支持具体过程模型的建模技术和方法。为了解决软件过程线应用相关的关键技术问题,本文以Petri网表示的过程模型为基础提出了一个以过程树模型为特征描述的软件过程线(Software Process Line Based on Process Tree,SPrL-BPT),重点解决软件过程线的两个关键问题：SPrL-BPT模型构建问题、SPrL-BPT的过程裁剪和复用问题。本文的主要工作及取得的成果如下：(1)提出并设计了SPrL-BPT的体系结构及应用系统的框架,为过程实例的配置生成过程中的裁剪和复用提供了统一的操作框架。(2)基于SPrL-BPT的体系结构,定义了SPrL-BPT的主要模型,即基于维度划分的上下文模型、基于Petri网的软件过程模型以及基于过程树的过程线特征模型,为过程实例生成时的复用和裁剪奠定了基础。(3)以上下文因素相似性比较、过程模型统一转换、模糊度量以及过程模型相似性比较等方法为基础,提出了SPrL-BPT的构建方法,为SPrL-BPT应用系统的开发和实施提供了参考。(4)阐述了基于SPrL-BPT过程特征模型的形式化定义及其Alloy规约。过程特征模型的形式化定义方便进一步的机器实现,而Alloy规约可以实现过程特征模型的一致性检查。(5)提出了基于SPrL-BPT的复用和裁剪方法,为SPrL-BPT在实际应用过程中生成过程实例提供了技术基础：运用进程代数的方法定义了过程构件的内部规约和外部规约,保证了SPrL-BPT在复用操作时的一致性和有效性；使用分支互模拟等价关系验证了部分裁剪操作行为的一致性和继承性,保证了SPrL-BPT中裁剪操作的有效性。(6)设计了SPrL-BPT应用系统的框架并初步实现了原型,通过三个过程线相关的案例说明了SPrL-BPT的可行性和可用性。
【学位授予单位】：云南大学
【学位级别】：博士
【学位授予年份】：2016
【分类号】：TP311.52

【参考文献】