期刊文献+

一种面向模型转换的软件开发方法

A software development method of the model-oriented transformation
在线阅读 下载PDF
导出
摘要 分析了面向值的模型和面向对象的模型的各自特点,提出了根据数据抽象来构造分层模型的思想,建议采用程序变换的思想实现不同层模型之间的转换,采用部分实现的思想提高模型转换的效率,这些思想的结合便形成了一种面向模型转换的软件开发方法. This article analysed the characteristic of value-oriented models and object-oriented models , and pointed out the models which combine values and objects will be powerful trend using in the research. Then, proposing the view of data abstraction is used for building the hierarchical models. The transitions between models are implemented according to the i- dea of program transformation. So, the efficiency of model transitions is improved by partial implementation, and these thought has just formed the model-oriented transformation method of software development.
作者 李环
出处 《周口师范学院学报》 CAS 2008年第5期119-121,共3页 Journal of Zhoukou Normal University
关键词 面向对象 面向模型 数据抽象 程序变换 obj ect-oriented model-oriented data abstraction program transformation
  • 相关文献

参考文献5

二级参考文献19

  • 1张乃孝,软件学报,1993年,3期
  • 2张乃孝,计算机学报,1990年,13卷,1期
  • 3Rossiter J M,Cao T H,Martin T P.Object-oriented modelling with words[C].British Columbia,Canada:10th IEEE International Conference on Volume 1,2001.59-62.
  • 4Katic N,Nevstrujev B,Vogel D.Bridging the gap between structured requirements and object-oriented analysis and design[C].Phoenix,Arizona,United States:System Sciences,Proceedings of the Twenty-Ninth Hawaii International Conference on Volume 3,1999.525-535.
  • 5James Noble.Object-oriented and encapsulation[C].Proceedings of the Technology of Object-Oriented Languages and Systems,Springer Verlag,2000.431-435.
  • 6Daniel Jackson.Alloy:A lightweight object modelling notation[J].ACM Transactions on Software Engineering and Methodology(TOSEM),2002,11 (2):256-290.
  • 7Truong H-L,Fahringer T.Performance analysis,data sharing and tools integration in grids:New approach based on ontology[C].Poland:Int Conf on Computational Science(ICCS 2004),LNCS3038,Springer-Verlag,2004.107-110.
  • 8Erich Gamma,Richard Helm,Ralph Johnson.Design patterns:Elements of reusable object-oriented software[M].Boston,MA:Addison-Wesley Longman Publishing,1999.223-227.
  • 9Rik Eshuis,Roel Wieringa.A formal semantics for UML activity diagrams-formalising workflow models[D].Washington DC:Technical Report CTIT-01-04,U Twente,Department of Computer Science,2001.118-120.
  • 10Rik Eshuis,Roel Wieringa.Verification support for workflow design with UML activity graphs[C].Orlando,Florida:Proceedings of the 24th International Conference on Software Engineering,2002.78-83.

共引文献11

相关作者

内容加载中请稍等...

相关机构

内容加载中请稍等...

相关主题

内容加载中请稍等...

浏览历史

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