期刊文献+

基于LePUS的设计模式CASE工具的设计与实现 被引量:1

Design and implementation of CASE tool supporting design patterns based on LePUS
下载PDF
导出
摘要 设计模式是软件工程界的热点,在面向对象软件设计中扮演着重要角色,自动化支持设计模式非常必要。为此,以LePUS语言为基础,提出了一个支持设计模式的CASE工具原型模型,该工具支持设计模式代码框架的自动生成,更重要的是该工具可以通过加入新的设计模式而得以扩展。此外,详细分析了实现中的源程序内部表示、设计模式实例化、动态模板生成技术等关键技术。 Design pattern is one of the hot topics of software community and plays outstanding role in object-oriented software designs. It is very necessary to support design patterns automatically. So a model of a prototype CASE tool supporting design patterns based on LePUS is proposed. This tool supports automatic code generation, and more importantly, this tool can be extended through adding new patterns. The key technologies of implementation are analyzed, such as internal representation of source code, instantiation of design patterns, dynamic pattern template generation and so on.
出处 《计算机工程与设计》 CSCD 2004年第11期2074-2076,2084,共4页 Computer Engineering and Design
关键词 设计模式 CASE工具 面向对象软件 软件工程 实例化 源程序 代码 支持 扮演 角色 software engineering design pattern code generation LePUS
  • 相关文献

参考文献6

  • 1Model maker tools [EB/OL]. http://www.Modelmakertools.com /mm_history_item.htm.
  • 2Florijin Gert. Tool support for object-oriented design patterns[R].1997.
  • 3Eden H. Towards a mathematical foundation for design patterns[R]. Technical Report 1999-004, Department of Information Technology, University, 1999.
  • 4Ammon H Eden. LePUS:A visual formalism for object-oriented architectures[R]. The 6th World Conference on Integrated Design and Process Technology, 2002.7(22-28).
  • 5Herve Albin-Amiot. Meta-modeling design patterns: Application to pattern detection and code synthesis[R]. On the Issue of Adaptive Object-Models and Meta-modeling Technique, 2001.
  • 6Gamma. Design patterns:Elements of reusable object-oriented software,addison wesley longman[M]. 北京:机械工业出版社, 2000.

同被引文献14

  • 1Gamma,E.,Helm,R.,Johnson,R.,Vlissides,J.Design Patterns:elements of reusable object-oriented software.Addison-Wesley,1995.
  • 2Flores A.,Reynoso,L.,Moore,R.A formal model of object-oriented design and GoF design patterns.Techn.Rep.200,UNUIIST,Macao,2000.Available at http://www.iist.unu.edu
  • 3Reynoso,L.,Moore,R.GoF behavioural patterns:A formal specification.Techn.Rep.201,UNU-IIST,Macao,2000.Available at http://www.iist.unu.edu
  • 4Flores,A.,Moore,R.GoF Structural patterns:A formal specification.Techn.Rep.207,UNU-IIST,Macao,2000.Available at http://www.iist.unu.edu
  • 5Samir,C.,Maritta,H.,Jeanine,S.Proving Component Interoperability with B Refinement.Proceedings of the Second International Workshop on Formal Aspects of Component Software FACS'05,Macao,October 24-25,2005.
  • 6Sandrine B.,Frederic G.,Regine L.Reuse of Specification Patterns with the B Method.In ZB 2003:Formal Specification and Development in Z and B,number 2651 in LNCS,P40-57.Springer,2003.
  • 7France,R.B.Kim,D-k.A UML-based Pattern Specification Technique.IEEE Transactions on Software Engineering,Vol.30,Issue 3,March 2004.P193-206.
  • 8K.Lano,D.Clark,K.Androutsopoulos.UML to B:Formal Verification of Object-Oriented Models,Proceedings of the 4th International Conference on Integrated Formal Methods,Canterbury,UK,April 4-7,2004.
  • 9Grant,M.Component-based specification Of distributed systems.Proceedings of the 2nd International Workshop on Formal Aspects of Component Software FACS'05,Macao,October 24-25,2005.
  • 10Eden H.Formal Specification of Object -oriented Design.Proceedings of the International Conference on Multidisciplinary Design in Engineering,Montreal,Canada,2001.

引证文献1

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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