第六章 總結與展望
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.