首页 | 本学科首页   官方微博 | 高级检索  
     

精化UML模型
引用本文:杨静,张明义,刘志明.精化UML模型[J].计算机科学,2007,34(3):250-253.
作者姓名:杨静  张明义  刘志明
作者单位:1. 贵州大学计算机科学与工程学院,贵阳,550025
2. 贵州科学院,贵阳,550002
3. 澳门联合国大学国际软件研究所,P.O.BOX 3058
基金项目:国家自然科学基金 , 贵州省科研项目
摘    要:本文通过融合UML用例图、类图、顺序图和状态图,得到一个软件系统的需求模型和设计模型,给出了需求模型和设计模型的协调性条件及精化规则。这样,我们可以从软件开发的需求分析和设计阶段检查模型的协调性,通过协调地精化模型后生成代码。用这种方法,我们可在软件设计的早期阶段发现不协调问题,减少生成代码后除错所产生的代价。

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

Refining UML Models
YANG Jing,ZHANG Ming-Yi,LIU Zhi-Ming.Refining UML Models[J].Computer Science,2007,34(3):250-253.
Authors:YANG Jing  ZHANG Ming-Yi  LIU Zhi-Ming
Affiliation:1Computer Science and Engineering College, Guizhou University, Guiyang 550025;2Guizhou Science Academy, Guiyang 550002;3International Institute for Software Technology the United Nations University, P. O. BOX3058
Abstract: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.
Keywords:UML  Use-case diagram  Class diagram  Sequence diagram  State machine  Requirement model  Design model  Consistency  Refinement  
本文献已被 CNKI 维普 万方数据 等数据库收录!
点击此处可从《计算机科学》下载全文
设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号