期刊文献+

一种基于UML序列图的状态图合成方法 被引量:5

Approach of statechart synthesis from UML sequence diagrams
下载PDF
导出
摘要 逆向工程作为辅助程序理解的重要手段,逐渐成为软件工程领域的研究热点。基于面向对象软件的动态本质,研究动态模型的抽象和转换方法对理解该类软件特征具有重要意义。在分析UML序列图和状态图模型的基础上,借鉴BK算法核心思想,给出了一种从UML序列图合成状态图的方法。最后,通过系统的实验研究,验证了该方法的有效性。 Reverse engineering is a useful way to program comprehension. Now it has been the focus in the research field of software engineering. According to the dynamic property of object oriented software, it is worth studying the approaches of extracting dynamic models and models transformation. After the UML sequence and statechart are analyzed, an approach of statechart synthesis from UML sequence diagrams making reference to the BK algorithm is presented. Finally, a systematic experiment is conducted in order to verify the correctness and validity of this approach.
出处 《系统工程与电子技术》 EI CSCD 北大核心 2005年第3期524-528,共5页 Systems Engineering and Electronics
基金 "十五"军事电子预研重点项目资助课题(413060601)
关键词 逆向工程 程序理解 模型转换 面向对象 UNL状态图 reverse engineering program comprehension model transformation object-orientation UML statechart
  • 相关文献

参考文献9

  • 1Chikofsky E, Cross J. Reverse engineering and design recovery: a taxonomy[J]. IEEE Software, 1990. 13-17.
  • 2Ralf Kollmann, Petri Selonen, Eleni Stroulia, et al. A study on the current state of the art in tool-supported UML-based static reverse engineering[ C ]. Proceedings of the Ninth Working Conference on Reverse Engineering, 2002. 1095 - 1350.
  • 3李青山.[D].西安电子科技大学,2003.
  • 4Booch G, Rumbangh J, Jacobson I. The unified modeling language user guide[M]. Addison Wesley, 1999.
  • 5Biemann A W, Krishnaswamy R. Constructing programs from example computations[J]. IEEE Trans. on Software Engineering, 1976. 141-153.
  • 6李青山,褚华,陈平.基于进程代数的UML序列图的形式语义[J].计算机科学,2004,31(4):173-175. 被引量:4
  • 7Syst T. Static and dynamic reverse engineering techniques for Java software systems[D]. Dept. of Computer and Information Sciences, University of Tampere, 2000.
  • 8David Harel. Statecharts: a visual formalism for complx systems[J]. science of computer programming, 1987(8): 321 - 274.
  • 9李青山,陈平,褚华.支持柔性机制的元数据驱动模型的研究与应用[J].西安电子科技大学学报,2002,29(3):319-323. 被引量:17

二级参考文献13

  • 1杜军朝.基于特定域支撑逻辑的可视化开发技术[M].西安:西安电子科技大学,2000..
  • 2Object Management Group.OMG Unified Modeling Language.Specification,2000,3(3)
  • 3Bruel J-M,France R B. Transforming UML Models to Formal Specifications. In: Proc. of the Int. Conf. on OOPSLA'98Vancouver,Canada,Oct. 1998
  • 4Breu R,Hinkel U,et al. Towards a Formalization of the Unified Modeling Language. In: Aksit M, Matsuoka S, eds. Proc. of ECOOP'97-Object Oriented Programming, 11th European Conf.Jyvaskyla ,Finland ,June Springer-Verlag, LNCS 1241,1997
  • 5Araujo J. Formalizing sequence diagrams. In: Andrade, L.,Moreira, A. , Deshpande, A. , eds. Proc. of the OOPSLA'98Workshop on Formalizing UML. 1998
  • 6Geisler R. Precise UML semantics through formal metamodeling.In: Andrade, L. , Moreira, A. , Deshpande, A. ,eds. Proc. of the OOPSLA'98 Workshop on Formalizing UML. 1998
  • 7Baeten J C M,Weijland W P. Process Algebra. Cambridge Tracts in Theoretical Computer Science 18. Cambridge University Press,Cambridge, 1990
  • 8Bergstra J A, Klop J W. Process algebra for synchronous communication. Information& Control, 1984,60:109- 137
  • 9Mauw S, Reniers M A. An algebraic semantics of Basic Message Sequence Charts. The Computer Jounal, 1994,37(4): 269- 277
  • 10Plotkin G D. An operational semantics for CSP. In:Proc. of the Conf. on the Formal Description of Programming Concepts,volume 2 ,Garmisch, 1983

共引文献24

同被引文献41

引证文献5

二级引证文献9

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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