精化UML模型

摘要：

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

关键词：UML、用例图、类图、顺序图、状态图、需求模型、设计模型、协调性、精化

所属期刊栏目：34

分类号：TP3(计算技术、计算机技术)

资助基金：国家自然科学基金10161005;贵州省科研项目3086

在线出版日期：2007-04-25（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：250-253