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

对象约束语言在MDA模型转换中的应用 被引量：1

Application of OCL to Model Transformation of MDA
下载PDF
导出
摘要 介绍了对象约束语言OCL(OB JECT CONSTRA IN T LANGUAGE)的概念、特性,分析了OCL元模型与UM L元模型间的关系,在此基础上对OCL在M DA(M ODE L DRIVEN ARCH ITECTURE)模型转换中的应用进行了研究,指出OCL存在的问题,并对OCL的研究方向提出了几点建议。 This paper describes the concept and characteristics of Object Constraint Language, and analyzes the relationship between the meta-model of OCL and UML. Based on this, its application to model transformation of MDA is also discussed. Then, the problems of OCL are pointed out. Finally, several suggestions of OCL are presented.
作者 杜浩 蒋波
机构地区 大连海事大学
出处 《交通与计算机》 2006年第1期73-76,共4页 Computer and Communications
基金 大连市科学技术项目资助(批准号:2003A3GX032)
关键词 OCL MDA 模型转换 元模型 转换规则 OCL MDA model transformation meta-model transformation rules
分类号 TP311 [自动化与计算机技术—计算机软件与理论]
  • 相关文献

参考文献8

  • 1OMG Document. ptc/03-10-14 UML 2.0 OCL specification. America:OMG, 2004.21-49.
  • 2Addison Wesley. Object constraint language :the getting your models ready for MDA. Second Edition.America: Addison Wesley, 2003 (4647): 120 - 130.
  • 3AnnekeKleppe JosWarmer WimBast.解析MDA[M].北京:人民邮电出版社,2004.113-121.
  • 4Erie Cariou, Raphael Marvie, Lionel Seinturier et al.OCL for the speeification of model transformation contracts. In: Oetavian Patraseoiu. OCL and Model Driven Engineering UML 2004 Workshop. Lisbon,Portugal ,2004.69-83.
  • 5Akehurst D H, Kent S. A relational approach to defining transformations in a metamodel. In: J M Jezequel, H. Hussmann,S. Cook (Eds.). UML 2002 The Unified Modeling Language 5th International Conference. Dresden ,Germany, 2002.43-52.
  • 6Akehurst D H. Relations in OCL. In:oetavian patrascoiu. OCL and Model Driven Engineering,Lisbon,Portugal, University of Kent, 2004.16 - 29.
  • 7Boris Roussev. Generating OCL specifications and class diagrams from use cases :a newtonian approach in: proceedings of the 36th hawaii international conference on system sciences (HICSS'03),Hawaii,2002. 321-331.
  • 8陈怡海,缪淮扣.OCL与Object-Z作为UML约束语言的分析比较[J].计算机科学,2004,31(12):182-185. 被引量：4

二级参考文献11

  • 1Booch G, Rumbaugh J,Jaccobson I. The Unified Modeling Language User Guide. Addison Wesley Longman, Inc. American,1999
  • 2OMG. Unified modeling Language. Specification v 1.5. http://www. omg. org
  • 3Bruel J M. Integrating Formal and Informational Specification.Why? How?. 2nd International Workshop on Industrial-strength Formal Techniques (WIPT'98) ,Boca Raton, FL, USA, 1998
  • 4Chen Yihai,Miao Huaikou. Integrating Object-Oriented Methods and Formal Methods For Requirement Engineering.见:第七届国际青年计算机会议(ICYCS 2003),哈尔滨,2003
  • 5Smith G. The Object-Z Specification Language. Kluwer Academic Publishers, American,2000
  • 6Warmer J, Kleppe A. The Object Constraint Language-Precise Modeling with UML. Addison-Wesley, 1999
  • 7Flake S,Mueller W. Formal Semantics of OCL Messages. Sixth International Conference on the Unified Modeling Language -the Language and its applications, (UML 2003),San Francisco, California, USA,2003
  • 8OCL Center. http://www. klasse. nl/ocl/index. html
  • 9Object-Z Online Reference. http://www. iree. uq. edu. au/-smith/tools. html
  • 10Liu Ling, Miao Huaikou,Zhan Xuede . A Framework for Specification-Based Class Testing. In: Eighth Intl. Conf. on Engineering of Complex Computer Systems, Greedbelt, Maryland, USA, 2002

共引文献5

同被引文献4

引证文献1

交通与计算机
2006年 第1期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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