期刊文献+
任意字段
题名或关键词
题名
关键词
文摘
作者
第一作者
机构
刊名
分类号
参考文献
作者简介
基金资助
栏目信息

基于Object-Z的UML对象模型的形式化 被引量：1

The Formallzation of Object Model in UML Based on Object-Z
下载PDF
导出
摘要 1 引言 UML作为面向对象的可视化建模语言,己被对象管理集团(OMG)作为面向对象分析和设计的标准,获得了众多工具的支持。UML提供了不同抽象层次的描述以支持面向对象的分析、设计和实施,它从不同的视图描述软件系统,减少了建模的复杂度,更为重要的是建立了基于元模型的体系结构,提供了较为灵活的扩充机制,使开发人员可以根据不同的领域需求定制UML,也易于加入新的建模概念。 UML is the main visual Object-oriented modeling language currently, which is used widely and supported by most CASE tools. Comparing with traditional Object-oriented methods, UML describes its semantics and syntax more rigouly by using metamodel and Object Constrain Language. But some important concepts in UML are not specified clearly. This paper presents a formal specification for object model of UML, mainly includes the concepts of class, association, association class, aggregation, and inheritance, etc, so that the analyse, verification, refine, and consistent cheking can be applied to object model.
作者 杨卫东 蔡希尧
机构地区 西安电子科技大学软件工程研究所
出处 《计算机科学》 CSCD 北大核心 2000年第2期60-63,共4页 Computer Science
关键词 UML语言 面向对象 OBJECT-Z 对象模型 Object-oriented, Formal specification, UML, Object-Z, Object model, Schema
分类号 TP312 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献2

  • 1Dong J，The Geometry of Object Containment，1994年
  • 2Dong J，Tools，1993年

同被引文献15

  • 1Henzinger T A. The theory of hybrid automata[C]// The 11th Annual IEEE Symposium on Logic in Computer Science. 1996:278-292.
  • 2OMG. Unified Modeling Language: Superstructure version2.0[EB/OL]. http://www.omg.org/docs/formal/2005-07-04.pdf, 2014-12-21.
  • 3Czarnecki K, Helsen S. Classification of model transformation approaches[C]// OOPSLA’03 Workshop on Generative Techniques in the Context of ModelDriven Architecture. 2003:1-17.
  • 4OMG. UML Profile for MARTE: Modeling And Analysis of Realtime Embedded Systems[EB/OL]. http://www.omg.org /spec /MARTE, 2014-12-30.
  • 5Duke R W, Rose G. Formal Objectoriented Specification Using ObjectZ[M]. Palgrave Macmillan, 2000.
  • 6Spivey J M. The Z Notation[M]. England:Prentice Hall International (UK) Ltd, 1989.
  • 7Andrade E, Maciel P, Callou G, et al. Mapping UML interaction overview diagram to time Petri Net for analysis and verification of embedded realtime systems with energy constraints[C]// IEEE 2008 International Conference on Computational Intelligence for Modelling Control & Automation. 2008: 615-620.
  • 8Mostafa A M, Ismail M A, ElBolok H, et al. Toward a formalization of UML2.0 metamodel using Z specifications[C]// IEEE 2007 the 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking, and Parallel/Distributed Computing. 2007,1:694-701.
  • 9Kim S K, Carrington D. A formal mapping between UML models and ObjectZ specifications[C]// ZB 2000: Formal Specification and Development in Z and B, 1st International Conference of B and Z Users. 2000:2-21.
  • 10Cao Zining, Wang Hui. Hybrid ZIA and its approximated refinement relation[C]// Proceedings of the 6th International Conference on Evaluation of Novel Approaches to Software Engineering. 2011:260265.

引证文献1

计算机科学
2000年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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