计算机科学 ›› 2017, Vol. 44 ›› Issue (4): 148-152.doi: 10.11896/j.issn.1002-137X.2017.04.032
侯金奎,王磊
HOU Jin-kui and WANG Lei
摘要: 为解决模型驱动的软件开发过程中语义特性的描述和验证等方面的问题,在对类型范畴理论进行扩充的基础上,为构件式软件模型的描述、转换以及转换过程中语义特性的保持和验证建立了一种统一的语义描述框架。范畴图表描述了体系结构模型的语义,类型态射蕴含了构件对象之间的依赖关系,类型函子用来刻画模型转换前后的映射机制。应用研究表明,该框架很好地遵循了模型驱动的软件开发理念和实质要求,为基于模型和模型转换的软件开发研究提供了新的理解和认知学习的指导架构。
[1] MAO X J,DONG M G,QI Z C,et al.Running mechanism and implementation technique of self-adaptive software in open environment [J].Chinese Journal of Computers,2015,38(9):1893-1906.(in Chinese) 毛新军,董孟高,齐治昌,等.开放环境下自适应软件系统的运行机制与构造技术[J].计算机学报,2015,38(9):1893-1906. [2] HE X,MA Z Y,WANG R C,et al.Semantics-Configurable mo-del transformation[J].Journal of Software,2013,24(7):1436-1454.(in Chinese) 何啸,麻志毅,王瑞超,等.语义可配置的模型转换[J].软件学报,2013,24(7):1436-1454. [3] MENS T.A survey of software refactoring [J].IEEE Trans.on Software Engineering,2004,30(2):126-139. [4] MENS T,VAN EETVELDE N,Demeyer S,et al.Formalizing refactorings with graph transformations[J].Journal of Software Maintenance and Evolution:Research and Practice,2005,17(4):247-276. [5] LIU H,MA Z Y,SHAO W Z.Description and Proof of Property Preservation of Model Transformations[J].Journal of Software,2007,18(10):2369-2379.(in Chinese) 刘辉,麻志毅,邵维忠.模型转换中的特性保持的描述与验证[J].软件学报,2007,18(10):2369-2379. [6] NATHAN W,RUZANNA C,AWAIS R.Formal semantic conflict dection in aspect oriented requirements [J].Requirements Engineering,2009,14(4):247-268. [7] MICHAEL B,CHARIES W.Category theory for computingscience [M].New Jersey:Prentice-Hall,1990. [8] HOU J K,WAN J C,YANG X,et al.Formal semantics of component-based architecture model mapping [J].Journal of Computer Reaearch and Development,2009,46(2):310-320.(in Chinese) 侯金奎,万建成,杨潇,等.构件式体系结构模型映射的形式化语义[J].计算机研究与发展,2009,46(2):310-320. [9] WANG Z J,XU X F,ZHAN D C.Feature-Based componentmodel and normalized design process [J].Journal of Software,2006,7(1):39-47.(in Chinese) 王忠杰,徐晓飞,战德臣.基于特征的构件模型及其规范化设计过程[J].软件学报,2006,17(1):39-47. [10] JIA Y,GU Y Q.Domain feature space based semantic representation of component [J].Journal of Software,2002,13(2):311-316.(in Chinese) 贾育,顾毓清.基于领域特征空间的构件语义表示方法[J].软件学报,2002,13(2):311-316. [11] LU R Q.Towards a mathematical theory of knowledge[J].Journal of Computer Science and Technology,2005,20(6):751-757. [12] WANG C J,LUO H M,ZUO Z K.Formal software specification generation approach based on problem patterns[J].Journal of Computer Reaearch and Development,2013,50(2):352-360.(in Chinese) 王昌晶,罗海梅,左正康,等.基于问题模式的形式化软件规格说明生成方法[J].计算机研究与发展,2013,0(2):352-360. [13] SRINIVAS Y,JULLIG R.SPECWARETM:Formal support for composing software:Technical Report KES.U.94.5[R].California:Kestrel Institute,1994:22-39. |
No related articles found! |
|