第六章 总结与展望

6.1总结

本文深入研究了构件组装相关理论及其数学基础、SOA相关技术标准、OSGi相关技术标准、模型驱动相关技术标准、代码生成相关概念与技术以及领域工程相关理论,重点分析并揭示了构件组装的本质,以及构件组装的数学基础,分形理论,并提出了一种普适性的构件组装机制,建立起了构件与连接件的元模型,并提出了借助DSM来解决构件组装目前面临的“如何从高层的构件组装模型产生完整的程序代码”的问题,重点总结、归纳了特定领域建模与代码生成的整体过程,提出以样例代码整体模板化来实现DSM生成100%的程序代码的方法,提出基于SA与SF创建覆盖不同业务类型的样例代码的方法与原则,提出根据特定领域元模型将样例代码制作成代码模板的方法与原则。

以上述理论与技术研究为基础,建立起一个支持构件组装的开发环境,MyWebFw,通过XML模式描述特定领域元模型,使用GMF快速定制生成特定领域建模工具,包括数据建模、构件组装建模、UI建模、流程建模、对象建模以及代码生成等工具,通过SWT/JFace实现其他图形化开发工具。同时,以构件组装指导系统分析、设计以及实现,构建SA与SF以及样例代码。最后,通过通用代码生成引擎,结合特定领域内各具体的业务模型与样例代码整体模板化后的代码模板,生成100%的程序代码。

6.2未来的工作

DSM与构件组装的研究均处在探索与发展阶段,目前还存在许多难点问题。

基于分形理论的构件组装的形式化推导将是本文以后重点研究的方向。

有效的领域分析与设计方法是提取特定领域关键概念与创建完整的特定领域元模型的基础;与传统建模技术相比,基于DSM的软件开发关键在于能否快速有效的建立特定领域建模工具。这都将是本文以后研究的主要方向。

模型验证与模拟是保证高质量建模的有效措施。模型验证是检测模型是否满足模型约束的技术,通常有语法检查、逻辑验证、状态验证、时态验证等。模型模拟是以模型验证为基础对模型进行运行态模拟,分析系统的动态行为,在高层指导验证系统设计,并进行错误分析。这将是本文以后研究的重点方向。

参考文献

[1]杨芙清,王千祥,梅宏,陈兆良.基于复用的软件生产技术.中国科学(E辑),2001,31(4),363-371.

[2]Why DSM?dsmforum.org.

[3]张海藩.软件工程导论(第四版).清华大学出版社,2003.

[4]张世琨,张文娟,常欣,王立福,杨芙清.基于软件体系结构的可复用构件制作和组装.软件学报,2001,12(9),1351-1359.

[5]李晓丽,刘超,金茂忠,高仲仪.软件构件的可复用性质量度量.计算机应用研究,2007,24(6),280-283.

[6]梅宏,陈锋,冯耀东,杨杰.ABC:基于体系结构、面向构件的软件开发方法.软件学报,2003,14(04),721-732.

[7]黄罡,王千祥,曹东刚,梅宏.PKUAS:一种面向领域的构件运行支撑平台.电子学报,2002,30(z1),115-123.

[8]任洪敏,钱乐秋.构件组装及其形式化推导研究.软件学报,2003,14(6),1066-1074.

[9]许毅,彭鑫,赵文耘.基于通用连接器模型的复合构件的组装.计算机工程,2006,32(23),55-57.

[10]李后强.关于分形理论的哲学思考.自然辩证法研究.1993,4.

[11]汪富泉,李后强.分形:大自然的艺术构造.山东教育出版社.1996.

[12]OSOA.SCA Service Component Architecture Assembly Model Specification.

osoa.org,2007.

[13]OSOA. Service Data Objects For Java Specification.2006.

[14] How to get started withDSM.dsmforum.org.

[15]刘辉,麻志毅,邵维忠.元建模技术研究进展.软件学报,2008,19(6),1317-1327.

[16]杨芙清,梅宏.软件复用与软件构件技术.电子学报,1999,27(2).

[17]李克勤,陈兆良,梅宏,杨芙清.领域工程概述.计算机科学.1999,26(5),21-25.

[18]王云,刘又诚,周伯生.UML可视化建模系统的模型一致性检查机制.计算机研究与发展,2000,37(1).

[19]林慧苹,范玉顺,黄琛.产品设计中基于元模型的知识管理.计算机继承制造系统,2007,13(4),663-667.

[20]袁峰,李明树.基于MDA的TRISO-Model模型管理方法及应用.软件学报,2007,18(7),1612-1625.

[21]熊鹏程,范玉顺,胡耀光.MDA实施过程中的数据一致性研究.机械与电子,2006,6,3-6.

[22]张世琨,王立福,杨芙清.基于层次消息总线的软件体系结构风格.中国科学(E辑),2002,32(3),393-400.

[23]黄罡,王千祥,梅宏,杨芙清.基于软件体系结构的反射式中间件研究.软件学报,2003,14(11),1819-1826.

[24]张世琨,王立福,杨芙清.基于体系结构的软件开发模式.世界科技研究与发展,1999,21(3),31-35.

[25]梅宏,申峻嵘.软件体系结构研究进展.软件学报,2006,17(6),1257-1275.

[26]彭鑫,赵文耘,钱乐秋.基于领域特征本体的构件语义描述和组装.电子学报,2006,34(12A),2473-2477.

[27]彭鑫,赵文耘,刘奕明.基于特征模型和构件语义的概念体系结构设计.软件学报,2006,17(6),1307-1317.

[28]赵慧杰,沈建京.基于OWL的Web服务构件研究.计算机应用,2005,25(3),634-636.

[29]孙昌爱,金茂忠,刘超.软件体系结构研究综述.软件学报,2002,13(7),1228-1237.

[30]王行仁.建模与仿真技术的若干问题探讨.系统仿真学报,2004,16(9),1896-1909.

[31]杨明,张冰,王子才.建模与仿真技术发展趋势分析.系统仿真学报,2004,16(9),1901-1913.

[32]李伯虎,柴旭东,朱文海,邸彦强,王鹏,施国强,谭娟,殷润民,侯宝存.现代建模与仿真技术发展中的几个焦点.系统仿真学报,2004,16(9),1871-1878.

[33]王忠杰,战德臣,徐晓飞.业务构件识别方法研究综述.计算机集成制造系统,2007,13(4),797-811.

[34]夏苑,张为群.一种全面支持后续开发的嵌入软构件模型.计算机科学,2009,36(1),279-281.

[35]张天,李宣东.基于MDE的异构模型转换从MARTE模型到FIACRE模型.软件学报,2009,20(2),214-233.

[36]Andriy Levytskyy, Hans Vangheluwe, LeonJ.M. Rothkrantz, Henk Koppelaar. MDE and customization of modeling andsimulation web applications. Simulation Modelling Practice and Theory, 2009, 17(2),408-429.

[37]Eduardo Fernández-Medina, JanJurjens, Juan Trujillo, Sushil Jajodia.Model-Driven Development for secureinformation systems.Information and Software Technology, 2009, 51(5), 809-814.

[38]Geri Georg, Indrakshi Ray, KyriakosAnastasakis, Behzad Bordbar, Manachai Toahchoodee, Siv Hilde Houmb.Anaspect-oriented methodology for designing secure applications.Information andSoftware Technology, 2009, (51)5, 846-864.

[39]Jeongsoo Lee, Heekwon Chae,Cheol-Han Kim, Kwangsoo Kim. Design of product ontology architecture forcollaborative enterprises. Expert Systems with Applications, 2009, 36(2),2300-2309.

[40]Catalina Martínez-Costa, MarcosMenárguez-Tortosa, Jesualdo Tomás Fernández-Breis, José Alberto Maldonado. Amodel-driven approach for representing clinical archetypes for Semantic Webenvironments. Journal of Biomedical Informatics, 2009, 42(1), 150-164.

[41]Claudia Pons, Diego Garcia. ALightweight Approach for the Semantic Validation of Model Refinements.Electronic Notes in Theoretical Computer Science, 2009, 220(1), 43-61.

[42]Ruth Raventós, Antoni Olivé. Anobject-oriented operation-based approach to translation between MOFmetaschemas. Data & Knowledge Engineering, 2008, 67(3), 444-462.

构件组装-总结与展望相关推荐

  1. 系统架构设计师-软件开发模型(构件组装模型)

    随着软构件技术的发展,人们开始尝试利用软构件进行搭积木式的开发,即构件组装模型.在构建组装模型中,当经过需求分析定义出软件功能后,将对构件的组装结构进行设计,将系统划分成一组构件的集合,明确构件之间的 ...

  2. 构件组装-模型驱动的构件组装

    第四章 模型驱动的构件组装 本章提出一种普适性的构件组装机制,建立起构件与连接件元模型,并对它们的性质进行了总结归纳,在此基础上建立起构件与连接件元模型的实现.基于DSM的构件组装,实现了从高层的构件 ...

  3. 构件组装-理论与技术

    第二章 相关理论与技术 本章主要介绍了本文研究的相关理论与技术,包括构件组装相关理论.SOA相关技术标准.OSGi相关技术标准.模型驱动相关技术标准.代码生成相关概念与技术以及领域工程相关理论,这些理 ...

  4. 构件组装-支持构件组装的开发环境

    第五章支持构件组装的开发环境 本章以上述相关理论与技术研究为基础,实现了一个支持构件组装的开发环境,MyWebFw,并详细说明了MyWebFw实现的指导思想.环境构成.关键技术以及开发流程等内容.My ...

  5. 软件生命周期模型知识点总结(瀑布模型、演化模型、增量模型、V模型、W模型、螺旋模型、构件组装模型、RAD模型、RUP模型、极限编程模型)

    软件生命周期模型 基本概念 --PDCA循环(戴明环) --软件工作过程 --软件生命周期 --软件过程模型 传统软件生命周期模型 --瀑布模型 --演化模型 --增量模型 --喷泉模型 --V模型 ...

  6. gtk_widget_add_events为某个构件添加一个事件

    gtk_widget_add_events用来为某个构件添加一个事件.该函数用来说明哪一个构件将回接受到事件,并对事件的发生做出反应.一些事件使用时要已与特定的构件组装好了,另外的一些事件需要使用函数 ...

  7. 软件复用及构件、C/S与B/S混合模型及实战项目技术简述

    软件复用与软件构造技术 软件复用行为主要发生维度 时间维度:使用以前的软件版本作为新版本的基础,加入新功能,适应新需求,即软件维护. 平台维度:以某平台上的软件为基础,修改和运行平台相关的部分,使其运 ...

  8. 面向构件的软件设计问答

    构件的基本特征有哪些 模块.重用.接口.抽象的概念是什么 构件的环境依赖和设计有什么要求 构件和接口的标准化和规范化需要努力的方向 构件的布线标准是什么 对象调用和过程调用的区别 软件构件的表现模型 ...

  9. 软件工程导论08-基于构件的软件开发

    基于构件的软件开发 长期以来的软件开发状况 多数软件都是针对某个具体的应用系统从头进行开发的. 导致:出现了大量的同类软件重复开发,造成大量人力.财力的浪费,而且软件的质量也不高. 对比:汽车工业的生 ...

最新文章

  1. Linux通过端口号杀死指定进程
  2. Theano - Numpy 新手
  3. Lucene入门教程
  4. 提高 Java 代码质量
  5. Python 分析天气,告诉你中秋应该去哪里
  6. Fraction Construction Problem(拓展欧几里德)
  7. JS左右无缝滚动(一般方法+面向对象方法)
  8. 求两等长升序序列的中位数
  9. Java代码有效和片段有效_Java 9 尝鲜之交互式编程环境
  10. 软件测试之python面试题_常见Python面试题整理带答案
  11. 为什么电商越来越难做了?
  12. 程序员只能吃“青春饭”?C 认证带你破局!
  13. 1 Centos7安装(jdk8)Tomcat9并设置为开机启动
  14. 基于STC89C52单片机的智能灯光毕业设计论文
  15. mysql begin end 定界符_mysql存储过程BEGIN END复合语句用法示例
  16. 定个小目标——做一款自己的游戏
  17. Ubuntu: Firefox 的profile missing解决
  18. NLP标注工具Brat
  19. 【电路理论】2-6 线性电阻电路解答的存在性与惟一性定理
  20. One Card Poker——AtCoder - abc054_a

热门文章

  1. IPC机制(一)---基础知识
  2. docker修改容器内nginx配置文件
  3. 美团如何“折叠时间”?
  4. 【模拟集成电路】宽摆幅压控振荡器(VCO)设计
  5. SHELL命令里面的EQ、NE、GT、LT、GE、LE分别是什么意思
  6. CET-4 week8# 细枝末节
  7. Shell编程之if简单判断两个数字大小
  8. Electron 使用Pepper Flash插件
  9. NE555方波发生器
  10. MP4文件格式详解——结构概述