论文部分内容阅读
基于UML模型的软件开发正在成为主流的软件开发方法，但是UML缺乏精确语义的缺陷阻碍了对模型进行精确分析。本文采用基于状态的方法给出了UML分析和设计模型的形式定义，在数据精化的框架内研究了模型的精化问题，并通过一个实例说明了如何寻找模型状态空间之间的变换关系。该方法是对UML模型进行分析和验证的基础，也是开发自动设计工具的理论依据。