论文部分内容阅读
本文通过融合UML用例图、类图、顺序图和状态图，得到一个软件系统的需求模型和设计模型，给出了需求模型和设计模型的协调性条件及精化规则。这样，我们可以从软件开发的需求分析和设计阶段检查模型的协调性，通过协调地精化模型后生成代码。用这种方法，我们可在软件设计的早期阶段发现不协调问题，减少生成代码后除错所产生的代价。