软件演化过程的任务和活动规范化研究

• 作 者: 谢仲文
• 机 构: 云南大学
• 出 处: 云南大学
• 发表日期: 2009年期
• 关键词: 软件演化 软件系统 遗产系统 软件生存周期 软件工程

随着越来越多的软件系统变成遗产系统，软件演化的重要性和普及性越来越强。一方面，软件演化已成为软件生存周期最重要的形态之一，进入了软件的各个领域，成为了今天软件工程研究的热点领域；另一方面，软件过程在提高软件演化的效率和质量方面发挥着重要的作用。正是如此，软件演化过程，软件演化和软件过程的交叉学科，成为了软件工程的一个关键领域。　　
为了便于对软件演化过程的任务和活动进行管理，并建立和开发高质量的软件演化过程，对任务和活动进行规范化是必要的。对任务和活动的规范化还有利于提高任务和活动的重用效率并降低重用成本。　　
本文致力于建立软件演化过程任务和活动的规范化理论。为了这个目的，论文主要工作如下：　　
第一、提出软件演化过程的资源模型EPRM。　　
第二、在定义了任务资源和活动资源的基础上，对软件演化过程元模型EPMM的任务和活动的定义的扩展，主要是将软件演化过程元模型EPMM中定义的抽象数据结构具体化为资源模型EPRM中的元素。　　
第三、通过对任务间的逻辑关联、消息关联、资源关联的分析，提出了规范任务的概念，并分析了其若干性质；在规范任务的定义的基础上，又给出了活动第一范式、活动第二范式、活动第三范式和活动第四范式的定义。　　
第四、本文不仅给出了活动第一范式、活动第二范式、活动第三范式和活动第四范式的判定算法，而且给出将低级别的活动范式转化为高级别的活动范式的算法。　　
总之，本文从EPMM对任务和活动的形式化定义出发，提出了软件演化过程的资源模型EPRM，并建立了任务和活动的规范化理论，以提高软件演化的产品质量和演化过程的效率。