增量开发中的活动图精化研究

摘要

增量开发作为软件开发过程中一种常见的方法,精化是其中主要的操作之一。本文以增量开发为背景,通过UML中的活动图对软件系统进行可视化建模并对其精化过程进行了研究。首先,本文给出了活动图的形式语义,并基于该语义,给出了活动图间精化操作的形式化表达,定义了精化关系,最后讨论了精化关系的一些性质。