论文部分内容阅读
随着越来越多的成功软件系统变成了遗产系统(legacy system)，软件演化的重要性和普及性变得越来越强。软件演化己成为今天软件生存周期中重要的形态。同时，软件过程在提高软件演化的效率和质量方面也发挥着重要的作用。软件过程和软件演化已经成为当前软件工程中研究的热点领域，已见到了大量的研究成果。软件演化过程的研究是一个全新的领域，它是对软件过程和软件演化的交叉学科的研究。软件演化时，应当具有什么样的过程呢?或者说，什么样的软件过程才能有效支持软件的演化呢?软件演化的过程表现出了明显不同于传统软件过程的特征。因此，对支持软件演化的软件过程(简称软件演化过程)研究摆在了我们面前。
本文合面向对象方法，基于项目组研究提出的软件演化描述语言EPDL(Evolution Process Description Language)实现了一种对软件演化过程进行建模的建模工具。此工具采用Petri网建模，定义了三层结构的层次Petri网模型与项目研究中提出的软件演化过程模型体系结构相一致。三层结构为：全局层、过程层和活动层。详细分析了各层语法规则和约束条件，形式化定义了层次Petri网模型。它还提供了非常友好的图形用户界面，使用视图建模方式，使得层次Petri网建模变得非常直观方便。实现图形模型自动转换为等价的预定义建模描述语言源程序，最后此工具还提供了模型的有限验证以验证建模系统特性、运行时的状态。