期刊文献+

模型转换规则自动生成研究 被引量:1

Research on generating model transformation rules automatically
下载PDF
导出
摘要 在大规模的模型驱动工程中,模型转换是关键的环节,手动撰写模型转换规则既耗费资源,且正确性亦难以得到保障。针对该问题,提出基于编辑距离的模型比对算法,用于自动生成转换规则,该算法可以处理UML类图、状态图和活动图,而且可以有效地检测模型转移和复制操作,从而生成最小转换序列,提高模型转换工作效率。经过实验验证,基于该算法的模型转换规则自动生成方法是行之有效的。 Model transformation is a key challenge in large-scale model driven engineering.h costs too much to write model transformation rules manually,at the same time,correctness can't be ensured.A model comparison algorithm is designed to generate transformation rules automatically based on edit distance.This algorithm can deal with UML class diagrams,state diagrams and activity diagrams.It can also check the move and copy operations between models to generate minimum transformation sequences,which can raise model transformation efficiency.By experimental verification,it is feasible and fairly efficient to generate model transformation rules automatically based on this algorithm.
出处 《计算机工程与应用》 CSCD 北大核心 2010年第8期56-60,95,共6页 Computer Engineering and Applications
基金 国家高技术研究发展计划(863)Grant No.2009AA01Z145~~
关键词 模型转换 模型比对 编辑距离 model transformation model comparison edit distance
  • 相关文献

参考文献11

  • 1Selonen P.A review of UML model comparison techniques [C]// Proceedings of the 5th Nordic Workshop on Model Driven Engineering, 27-29 August 2007.
  • 2Keher U,Wehren J,Niere J.A generic difference algorithm for UML models[J].Software Engineering, 2005,64 : 105 - 116.
  • 3Selonen P,Kettunen M.Metamodel-based inference of inter-model correspondence[C]//Proc of CSMR'07,Amsterdam,Holland.Washington DC: IEEE Computer Society, 2007 : 71-80.
  • 4Ohst D,Welle M,Keher U.Differences between versions of UML diagrams[C]//Proc of ESEC' 03,Helsinki, Finland,2003: 227-236.
  • 5Girschick M.Difference detection and visualization in UML class diagrams,TUD-CS-2006-5[R].Technical University of Darmstadt,2006.
  • 6Xing Z,Stroulia E.UMLDiff:An algorithm for object-oriented design differencing[C]//Proc of ASE' 05, Long Beach, CA, USA.New York : ACM Press, 2005 : 54-65.
  • 7Alanen A,Porres I.Difference and union of models[C]//Stevens P, Whittle J,Booch G.Lecture Notes in Computer Science 2863:Proc UML 2003-The Unified Modeling Language.Berlin:Springer-Verlag,2003:2-17.
  • 8Lin Yue-hua,Gray J,Zhang Jing.The embedded constraint language:A transformation language for visual models.2006.
  • 9Kofman M,Perjons E.MetaDiff-a model comparison framework[EB/ OL]. (2004).http://metadiff.sourceforge.net/.
  • 10Wang Y,DeWitt D J,Cai J-Y.X-Diff:An effective change detection algorithm for XML documents[C]//19th International Conference on Data Engineering, Bangalore, India, March 5-March 8,2003.

同被引文献15

  • 1赵子都.定理机器证明[J].自然辩证法研究,1994,10(5):46-50. 被引量:4
  • 2刘植惠.本体(Ontology)与语义网(Semantic Web)[J].重庆图情研究,2006,7(3):1-4. 被引量:18
  • 3吴文俊.初等几何判定问题与机械化证明[J].中国科学(A辑),1977,20(6).
  • 4Zhang Jinzhong, Zhou Xianqing, Gao Xiaoshan. Automated production of traditional proofs for theorems in euclidean geometry [ J]. Annals of Mathematics and Artificial Intelligence, 1995,13 (109).
  • 5Zhou Xianqing, Gao Xiaoshan, Zhang Jinzhong. A deductive data- base approach to automated geometry theorem proving and discove- ring[J ]. Journal of Automated Reasoning, 2000,25 (3).
  • 6R Studer, Vr Benjamins, D Fensel. Knowledge Engineering, Prin- ciples and Methods[ J ]. Data & Knowledge Engineering, 1998,25 (1).
  • 7Grigoris Antoniou, Frank Van Harmelen. 语义网基础教程[M].北京机械工业出版社,2008.
  • 8Young-Guk Ha, Joo-Chan Sohn, Young-Jo Cho. OWLer: a se- mantic web ontology inference engine[C]. Advanced Communica- tion Technology, 2005, ICACT 2005. The 7th International Con- ference on, 2011-7 - 11 : 1077-1080.
  • 9Nikhil R Pal, Seemanti Saha. Simultaneous structure identifica- tion and fuzzy rule generation for Takagi - Sugeno models [ J ]. IEEE Transactions on Systems, Man and Cybernetics-Part B: Cybernetics, 38 (6), December 2008 : 1626-1638.
  • 10Jiaheng Lu, Tok Wang Ling, Zhifeng Bao, Chen Wang. Extend- ed xml tree pattern matching: theories and algorithms[ J ]. IEEE Transactions on Knowledge and Data Engineering, March 2011 , 23(3) :402-416.

引证文献1

二级引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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