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

形式规约模式及其重用技术研究综述

Overview of Formal Specification Patterns and Their Reuse
下载PDF
导出
摘要 设计模式的形式规约描述的研究对于设计模式的广泛重用具有重要意义.规约模式就是用某种形式化语言表示的设计模式.文章从模式定义、重用机制、可用工具、方法可用性等角度分析比较了几种主要的设计模式形式化方法.最后讨论了当前存在的问题及其发展趋势。 The research on formal specification for design patterns acts an important role in reuse of design patterns. Specification patterns are design patterns that are expressed in a formal specification langnage.This paper analyses and compares several main methods of formal specification for design patterns,from points of view of pattern definition, reuse mechanisms, available tools and usability.And finally, the problems of existed methods and the future directions on the area are discussed.
作者 李信本
机构地区 浙江万里学院
出处 《浙江万里学院学报》 2007年第2期32-36,共5页 Journal of Zhejiang Wanli University
关键词 设计模式 形式化方法 规约模式 重用 design pattern formal method specification pattern reuse
分类号 TP391 [自动化与计算机技术—计算机应用技术]
  • 相关文献

参考文献15

  • 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.

二级参考文献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.
浙江万里学院学报
2007年 第2期

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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