期刊文献+

UML模型的协调性检查

Consisitency Checking for UML Models
下载PDF
导出
摘要 本文融合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.
作者 杨静 张明义
出处 《计算机科学》 CSCD 北大核心 2006年第9期262-265,共4页 Computer Science
基金 国家自然科学基金项目(No.10161005) 贵州省科研基金项目(No.3086)。
关键词 UML 用例图 类图 顺序图 状态图 需求模型 协调性 UML, Use-case diagram, Class diagram, Sequence diagram, State machine, Requirement model,Consistency
  • 相关文献

参考文献8

  • 1方贵宾,等译、UML和统一过程.机械工业出版设.2003
  • 2Back R,Mpkhajlova A,von Wright J.Class refinement as semantics of correct object substitutability.Formal Aspects of Computing,2000,2:18~40
  • 3Tyszberowicz S,Litvak B,Yehudai A.Behavioral consistency validaion of uml diagrams.In:list IEEE International Conference on Software Engineering and Formal Methods(SEFM),IEEE Computer Society,2003.118~125
  • 4Engels G,et.al A methodology for specifying and analyzing consistency of object-oriented behavioral moderls.In:The Proc.FSE-10,Ausia,2001
  • 5Kuester J M,Engels G,Groenewegen L.Consistent interaction of software components.In:IDPT2002,2002
  • 6Yang J,Long Q,Liu Z,et al.A predicative semantic model for intergrating uml models.In:Z.Liu and K.Araki,eds.LNCS3407Berlin Heidellberg,2005
  • 7Larman C.Applying UML and Patterns.Prentice-Hall Iternational,2001
  • 8Reggio G,et al.Towards a rigorous semantics of UML supporting its mulriview approach,LNC2029.Speringer,2001

共引文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

内容加载中请稍等...
;
使用帮助 返回顶部