精化UML模型  

Refining UML Models

作　　者：杨静[1] 张明义[2] 刘志明[3] 

机构地区：[1]贵州大学计算机科学与工程学院,贵阳550025 [2]贵州科学院,贵阳550002 [3]澳门联合国大学国际软件研究所

出　　处：《计算机科学》2007年第3期250-253,共4页Computer Science

基　　金：国家自然科学基金项目(No.10161005);贵州省科研基金项目(No.3086)

摘　　要：本文通过融合UML用例图、类图、顺序图和状态图,得到一个软件系统的需求模型和设计模型,给出了需求模型和设计模型的协调性条件及精化规则。这样,我们可以从软件开发的需求分析和设计阶段检查模型的协调性,通过协调地精化模型后生成代码。用这种方法,我们可在软件设计的早期阶段发现不协调问题,减少生成代码后除错所产生的代价。Requirement model and design model are obtained though integrating use-case diagram, class diagram, sequence diagram and state machine in UML. Consistency checking for these models are proposed, and the refinement rules about these models are achieved. Therefore, consistency checking for these models can be performed at requirement analysis and design stages, code can be generated by refining design model steadily. Following this way, we can find inconsistency problem of the software system at earlier stage, and reduce the cost at debugging the software system after code generation.

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

分 类 号：TP311.132[自动化与计算机技术—计算机软件与理论]