论文部分内容阅读
随着面向对象技术的发展，软件开发对复用的利用是越来越充分。其中，软件模式便是一个很好的复用方式。软件模式对复用分析和设计的经验起到了相当大的作用。特别地，分析模式是分析领域的经验成果，是较高层次的抽象，是对分析模型复用的基础。 然而，对分析模式的描述是采用的自然语言和图形符号，这些描述的不精确性和模糊性使得对分析模式的理解带有不确定性，对分析模式的有效复用有着阻碍作用。 本文利用形式化方法RAISE对分析模式进行形式化。在对分析模式的静态结构图进行分析后，给出使用RAISE规约语言的描述定义，并对具体的分析模式进行形式化描述，为有效复用分析模式提供有力的保障基础，为分析模式的自动工具支持提供基础。