(18.204.2.190) 您好!臺灣時間:2021/04/22 06:43
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:高振益
研究生(外文):Kao, Chen-yi
論文名稱:梭:在GMF編輯器上以概念同步為基礎之即時模型同步輔助工具
論文名稱(外文):Shuttle: an Instant Model Synchronization Assistant for GMF Editors Based on Concept Synchronization
指導教授:陳正佳陳正佳引用關係
指導教授(外文):Chen, Cheng-chia
學位類別:碩士
校院名稱:國立政治大學
系所名稱:資訊科學學系
學門:工程學門
學類:電資工程學類
論文種類:學術論文
論文出版年:2007
畢業學年度:95
語文別:中文
論文頁數:65
中文關鍵詞:雙向工程模型開發即時模型同步概念同步電腦輔助軟體工程
外文關鍵詞:Rund-trip engineeringModel developmentInstant model synchronizationConcept synchronizationComputer-aided software engineeringGMFEclipse
相關次數:
  • 被引用被引用:0
  • 點閱點閱:80
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:0
支援自動即時雙向工程(Roundtrip engineering,自即雙工)與重構,是當前先進整合開發環境的兩項殺手級特色。然而,當今自即雙工所實現的即時同步,僅針對特定塑模環境(如圖形使用者介面編排、物件類別設計等)量身訂製,並非任意同步。而精確字串匹配的彈性不足,也使以此為基礎的重構技術面臨些瓶頸。以上限制,使我們無法在跨模型、語言或文件的層次進行同步或重構,以滿足現今系統開發過程中的龐大資料同步需求。
我們的補強方案就是梭。這是一具在Eclipse【1】圖形化塑模框架(Graphical Modeling Framework,GMF【2】)下運作的塑模輔助引擎。梭可監聽GMF編輯器的模型元素輸入,同時連結元素與「同步概念」,以建立同步規則,最後依據規則,輸出視覺化的模型同步建議,輔助達成模型-模型間的資訊同步。
我們借鏡知識本體與資訊擷取「概念搜尋」中的「概念(Concept)」觀,提出了「概念同步」的想法。用以同步的「同步概念」,則延伸自詞網(WordNet【3】)的自然語言同義詞集合,代表著「擁有相關自然語言內容的模型元素間,應當同步」的關係。梭對模型元素屬性內容進行自然語言斷詞後,將斷詞結果投入詞網搜尋,以取得前述的相似內容。
梭以「概念」串連了原本難以即時同步的模型元素。梭的規則推論架構,也為未來的知識本體化、結構化模型同步推論、驗證,鋪好了道路。開發者的夢想──在開發的任何階段,系統皆能維持同步──離實現又邁進一步。
Roundtrip engineering and refactoring are killer features of modern IDE systems. Most implementations of these features nowadays, however, are tailor-made for scenarios like GUI or UML diagramming ones and hence are hard to generalize; moreover, existing refactoring ways are usually restricted to exact string matching and are thus unable to synchronize artifacts with different occurrences of the equivalent term. These problems inhibit today's IDEs from supporting developments requiring synchronization across models, languages and documents.
Shuttle is a modeling assistant developed by us running on Eclipse GMF editors. It monitors users' input model elements and link them by related concepts automatically. Later modifications of an element will trigger rules to find the others under the same related concepts and result in various synchronization recommendations which developers may choose to take to enforce consistency among parts of the developed system.
The linking-triggering mechanism of Shuttle is based on what we call concept synchronization (CS), which is inspired by the idea of concept in ontology and concept search in information retrieval. CS captures the simple idea that model elements with related text descriptions would be very likely modified accordingly if one of them is changed by the developer. To detect all others related to a target model element, we establish a many-to-many mapping between elements and WordNet Synsets【3】according to element text descriptions ahead of time and then, with WordNet’s help【40】, all elements related to the target can be found by looking for those mapped to a Synset associated with the target.
第一章 概論............................................... 1
1.1 使用案例一──在任何階段皆可自即雙工..................... 2
1.2 使用案例二──省時省力不省品質,包括文件出版.............. 3
1.3 小結.................................................. 5
1.4 本文結構.............................................. 6
第二章 相關研究探討........................................ 7
2.1 軟體工程領域........................................... 7
2.1.1 重構................................................ 7
2.1.2 資料連結(Data Binding)............................. 8
2.1.3 模型............................................... 8
2.1.4 模型轉換........................................... 10
2.1.5 圖(Graph)轉換.................................... 10
2.1.6 自動化雙向工程...................................... 11
2.2 自然語言斷詞領域...................................... 12
2.3 人工智慧領域......................................... 13
2.3.1 知識本體與概念搜尋.................................. 13
2.3.2 WordNet .......................................... 14
2.3.3 資訊擷取與知識發現.................................. 15
2.4 ECLIPSE 相關技術..................................... 16
2.4.1 程式碼斷詞技術..................................... 16
2.4.2 Eclipse 塑模計畫................................... 17
2.4.3 EMF............................................... 17
2.4.4 GEF 與GMF......................................... 18
2.4.5 GMF裝飾服務........................................ 21
第三章 梭(SHUTTLE)系統.................................. 23
3.1 系統動態行為概觀...................................... 23
3.2 系統靜態架構概觀與真實使用案例......................... 25
3.2.1 梭的靜態架構概觀.................................... 25
3.2.2 示範「梭如何幫助梭的設計」.......................... 28
3.3 第一階段:監聽GMF 編輯器模型元素....................... 29
3.4 第二階段之一:自然語言斷詞............................ 33
3.5 第二階段之二:連結模型元素與概念....................... 34
3.5.1 WordNet Synset 概念............................... 34
3.6 由連結到規則:自然語言型同步規則........................36
3.7 推論規則的生命週期循環................................ 38
3.8 第三階段之一:從概念連結變動到套用建議產生...............40
3.8.1 偵測新、舊連結差異──利用列文斯坦演算法(Levenshtein Algorithm) .............................................40
3.8.2 產生套用建議........................................42
3.9 第三階段之二:推論建議視覺化...........................43
3.9.1 建議提示...........................................43
3.9.2 文字型視覺化建議....................................44
第四章 結論與未來研究......................................47
4.1 結論..................................................47
4.2 未來研究..............................................47
4.2.1 多重建議/規則下的優先權管理..........................50
4.2.2 頭字語概念...........................................50
4.2.3 頭字語詞源掃描.......................................51
4.2.4 結構化概念──特殊資料型態的精確匹配概念...............52
4.2.5 可客製化概念.........................................53
4.2.6 利用Eclipse 的GUI 客製化概念.........................54
4.2.7 結構化、以自然語言為基礎的模型重構.....................54
4.2.8 前進語意網與系統驗證──連結模型與知識本體..............55
參考文獻..................................................59
【1】"Eclipse.org home," (2006). (Accessed on 2006/3/30), Available: http:// www.eclipse.org/
【2】"gmf - GRAPHICAL MODELING FRAMEWORK," (2006). (Accessed on 2006/7/2), Available: http://www.eclipse.org/gmf/
【3】"About WordNet," (Accessed on 2007/1/16), Available: http://wordnet. princeton.edu/
【4】"Developer Guide to the GMF Runtime Framework," (2005). (Accessed on 2007/4/16), Available: http://help.eclipse.org/help32/index.jsp?topic=/ org.eclipse.gmf.doc/prog-guide/runtime/Developer%20Guide%20to%20Diagram%20Runtime.html
【5】Borland Software Corporation and IBM. (2006/3/21). Introduction to the eclipse - graphical modeling framework. pp. 31. Available: http:// eclipsezilla.eclipsecon.org/php/attachment.php?bugid=1
【6】Y. P., D. Roy and R. Gronback. (2007/4/24). GMF tutorial. (Accessed on 2007/7/28), Available: http://wiki.eclipse.org/GMF_Tutorial
【7】T. White. (2004/9/22). Can't beat jazzy. (Accessed on 2007/4/12), Available: http://www-128.ibm.com/developerworks/java/library/j-jazzy/
【8】S. Reed. (2003/3/31). Open cyc ontology. (Accessed on 2007/7/28), Availa-ble: http://www.cyc.com/2003/04/01/cyc
【9】Object Management Group, Inc. (2006/7/18). UML® resource page. (Ac-cessed on 2006/9/17), Available: http://www.uml.org/#UML2.0
【10】Wikipedia contributors. (2007/7/4). Code refactoring. (Accessed on 2007/ 7/13), Available: http://en.wikipedia.org/wiki/Refactoring
【11】S. Violet. Data binding. Sun Microsystems, Inc., Available: http:// developers.sun.com/learning/javaoneonline/2006/desktop/TS-1594.pdf
【12】D. Orme, M. Ward, B. Wellhöfer , B. Reynolds and others. (2007/4/7). JFace data binding. (Accessed on 2007/7/13), Available: http://wiki. eclipse.org/index.php/JFace_Data_Binding
【13】H. Larsson and K. Burbeck. CODEX - an automatic model view control-ler engineering system. Presented at The Workshop on Model Driven Archi¬tecture: Foundations and Applications 2003. Available: http://trese. cs.utwente.nl/mdafa2003/proceedings.pdf
【14】Object Management Group, Inc. (2006/1/5). OMG's MetaObject facility. (Accessed on 2006/9/1), Available: http://www.omg.org/mof/
【15】Object Management Group, Inc. MDA. (Accessed on 2005/12/25), Available: http://www.omg.org/mda/
【16】J. Bettin, C. Cleaveland, Ghica van Emde Boas and M. Voelter. (2006/ 8/18). Model-driven software development. (Accessed on 2006/9/15), Available: http://www.mdsd.info/mdsd_cm/headlines.php
【17】"Model-driven engineering," (2006/8/25). (Accessed on 2006/9/15), Available: http://en.wikipedia.org/wiki/Model_Driven_Engineering
【18】S. Johann and A. Egyed. Instant and incremental transformation of models. Presented at The 19th IEEE International Conference on Automated Soft¬ware Engineering (ASE). Available: http://sunset.usc.edu/~aegyed/ publications/Instant_and_Incremental_Trans¬formation_of_Models.pdf
【19】"The TXL Programming Language," (2006). (Accessed on 2006/8/13), Available: http://www.txl.ca/
【20】"UMLX Home Page," (Accessed on 2006/7/31), Available: http://dev. eclipse.org/viewcvs/indextech.cgi/~checkout~/gmt-home/subprojects/UMLX/index.html
【21】Eclipse Foundation Inc. (2006/6/29). ATL home page. (Accessed on 2006/ 9/11), Available: http://www.eclipse.org/gmt/atl/
【22】C. Griffin. (2005/7/8). Model transformation framework. (Accessed on 2006/8/28), Available: http://www.alphaworks.ibm.com/tech/mtf
【23】Codagen Technologies Corp, Compuware, DSTC, France Telecom, IBM, INRIA, Interactive Objects, Kings College London, Object Management Group, Softeam, Sun Microsystems, Tata Consultancy Services, Thales, TNI-Valiosys, University of Paris VI and University of York. (2005, 11/1). Meta Object Facility (MOF) 2.0 Query/View/Transformation Specifi¬cation. (Final Adopted Specification ed.) Available: http://www. omg.org/cgi-bin/apps/doc?ptc/05-11-01.pdf
【24】The AGG Team. (2006/3/15). AGG - The homebase. (Accessed on 2006/ 8/11), Available: http://tfs.cs.tu-berlin.de/agg/
【25】D. Jackson. Daniel jackson: Recent talks. (Accessed on 2007/4/15), Availa¬ble: http://people.csail.mit.edu/dnj/talks/
【26】Tiger Development Team. Tiger project. (Accessed on 2006/8/11), Availa¬ble: http://tfs.cs.tu-berlin.de/~tigerprj/
【27】"GRaphs for Object-Oriented VErification (GROOVE)," (Accessed on 2006/8/10), Available: http://groove.sourceforge.net/groove-index.html
【28】Eclipse Foundation Inc. (2006/7/28). VIATRA2 subproject. (Accessed on 2006/9/5), Available: http://dev.eclipse.org/viewcvs/indextech.cgi/~ checkout~/gmt-home/subpro¬jects/VIATRA2/index.html
【29】A. Henriksson and H. Larsson. (2003).A definition of round-trip engineer¬ing. University of Linköping, Sweden
【30】"Welcome to NetBeans," (Accessed on 2006/5/16), Available: http:// www.netbeans.org/
【31】Microsoft Corporation. (2006). Visual studio 2005. (Accessed on 2006/ 5/16), Available: http://msdn.microsoft.com/vstudio/
【32】Borland Software Corporation. (2006/4/22). Borland IDE : JBuilder – tools for java and J2EE application development. (Accessed on 2006/ 5/16), Available: http://www.borland.com/us/products/jbuilder/index. html
【33】Sparx Systems Pty Ltd. (2006/9/4). Enterprise architect. (Accessed on 2006/10/3), Available: http://www.sparxsystems.com.au/products/ea. html
【34】"Visual Paradigm," (2006/12/4). (Accessed on 2007/1/16), Available: http://www.visual-paradigm.com/
【35】"ICU Home Page," (Accessed on 2007/7/12), Available: http://www.icu- project.org/
【36】R. Gillam. Text boundary analysis in java. (Accessed on 2007/1/16), Availa¬ble: http://icu.sourceforge.net/docs/papers/text_boundary_analysis _in_java/
【37】Y. Ding. (2001).IR and AI: The role of ontology. Proceedings of 4th Interna¬tional Conference of Asian Digital Libraries, Bangalore, India pp. 10-11,12.
【38】ASBMB News. (2003/3). Concept search: Cutting large keyword searches down to size. HighWire Press Available: http://highwire.stanford.edu/ inthepress/asbmb/asbmb_2003mar.dtl
【39】中研院語言所文獻語料庫 and 中研院資訊所詞庫小組WordNet小組. 背景簡介 Background. (Accessed on 2006/8/17), Available: http://bow. sinica.edu.tw/intro/
【40】"WNSEARCH(3WN) manual page," (Accessed on 2007/7/27), Availa-ble: http://wordnet.princeton.edu/man/wnsearch.3WN
【41】"MIT Java Wordnet Interface," (2007/5/21). (Accessed on 2007/7/7), Available: http://www.mit.edu/~markaf/projects/wordnet/
【42】G. Barton and J. Didion. SourceForge.net: JWNL (java WordNet library). (Accessed on 2007/1/16), Available: http://sourceforge.net/projects/ jwordnet
【43】S. J. Russell and P. Norvig, Artificial Intelligence: A Modern Approach. Prentice-Hall, Inc. Upper Saddle River, NJ, USA, 1995, pp. 165, 185, 298.
【44】R. Baeza-Yates and B. Ribeiro-Neto, Modern Information Retrieval. Addi-son-Wesley Harlow, England, 1999.
【45】Google. (2006). GoogleTM. (Accessed on 2006/8/18), Available: http:// www.google.com/
【46】Eclipse Foundation Inc. (2006). Eclipse modeling project. (Accessed on 2006/9/2), Available: http://www.eclipse.org/modeling/
【47】Eclipse Foundation Inc. (2006/9/7). Eclipse modeling framework (EMF). (Accessed on 2006/9/17), Available: http://www.eclipse.org/emf/
【48】The Eclipse Foundation. Eclipse graphical editing framework (GEF). (Ac¬cessed on 2007/1/3), Available: http://www.eclipse.org/gef/
【49】Wikipedia contributors. (2007/7/6). CamelCase. (Accessed on 2007/7/11), Available: http://en.wikipedia.org/wiki/CamelCase
【50】"Package org.eclipse.jface.text.rules," (Accessed on 2007/7/11), Availa-ble: http://help.eclipse.org/help32/index.jsp?topic=/org.eclipse.platform. doc.isv/reference/api/org/eclipse/jface/text/rules/package-summary.html
【51】"Eclipse Java Development Tools (JDT) Subproject," (Accessed on 2007/7/10), Available: http://www.eclipse.org/jdt/
【52】"Package org.eclipse.jdt.ui.text," (Accessed on 2007/7/11), Available: http://help.eclipse.org/help32/index.jsp?topic=/org.eclipse.jdt.doc.isv/refer¬ence/api/org/eclipse/jdt/ui/text/package-summary.html
【53】Eclipse Foundation Inc. (2006/5/13). GMT home page. (Accessed on 2006/9/15), Available: http://www.eclipse.org/gmt/
【54】Object Management Group, Inc. Catalog of OMG modeling and metadata specifications. (Accessed on 2006/9/17), Available: http://www.omg.org/ technology/documents/modeling_spec_catalog.htm#XMI
【55】Eclipse Foundation Inc. (2006/9/15). EMFT. (Accessed on 2006/9/17), Available: http://www.eclipse.org/emft/projects/
【56】Eclipse Foundation Inc. (2006/9/15). EMFT. (Accessed on 2006/9/17), Available: http://www.eclipse.org/emft/projects/transaction/
【57】"Presentation Decorator Providers," (2004). (Accessed on 2007/4/16), Available: http://help.eclipse.org/help32/topic/org.eclipse.gmf.doc/ reference/extension-points/org_eclipse_gmf_runtime_diagram_ui_decoratorProviders.html
【58】"Interface IDecoratorProvider," (Accessed on 2007/7/10), Available: http://help.eclipse.org/help32/index.jsp?topic=/org.eclipse.gmf.doc/reference/api/runtime/org/eclipse/gmf/runtime/diagram/ui/services/decorator/IDe¬coratorProvider.html
【59】"Interface IDecoratorTarget," (Accessed on 2007/7/10), Available: http:// help.eclipse.org/help32/index.jsp?topic=/org.eclipse.gmf.doc/reference/api/runtime/org/eclipse/gmf/runtime/diagram/ui/services/decorator/IDecoratorTarget.html
【60】"Interface IProvider ," (Accessed on 2007/7/10), Available: http://help. eclipse.org/help32/index.jsp?topic=/org.eclipse.gmf.doc/reference/api/runtime/org/eclipse/gmf/runtime/common/core/service/IProvider.html
【61】I. Horrocks, Peter F. Patel-Schneider, H. Boley, S. Tabet, B. Grosof and M. Dean. (2004/5/21). SWRL: A semantic web rule language combining OWL and RuleML. (Accessed on 2006/7/2), Available: http://www.w3. org/Submission/SWRL/
【62】"Jess®, the Rule Engine for the JavaTM Platform," (2007/5/15). (Ac-cessed on 2007/7/15), Available: http://herzberg.ca.sandia.gov/jess/
【63】B. Livshits and T. Zimmermann. (2005).DynaMine: Finding common er-ror patterns by mining software revision histories. ACM SIGSOFT Soft-ware Engineering Notes 30(5), pp. 296-305.
【64】A. T. T. Ying, G. C. Murphy, R. Ng and M. C. Chu-Carroll. (2004). Predicting source code changes by mining change history. IEEE Trans. Software Eng. 30(9), pp. 574-586.
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔