UML模型的协调性检查  

Consisitency Checking for UML Models

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

机构地区：[1]贵州大学计算机科学与工程学院,贵阳550025 [2]贵州科学院,贵阳550002

出　　处：《计算机科学》2006年第9期262-265,共4页Computer Science

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

摘　　要：本文融合UML用例图、类图、顺序图和状态图,得到一个软件系统的需求模型,给出了这个需求模型的各个元素及相互间协调性检查的一种方法,这样,可以从软件开发的需求分析阶段检查模型的协调性,减少开发成本,最后再从协调的需求模型生成代码。A requirement model is obtained though integrating use-case diagram, class diagram, sequence diagram and state roaching in UML, and consistency checking for the requirement model is proposed in the paper. Therefore, code can be generated from a consistent requirement model.

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

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