Loading...
|
Please use this identifier to cite or link to this item:
https://nccur.lib.nccu.edu.tw/handle/140.119/32719
|
| Title: | 梭：在GMF 編輯器上以概念同步為基礎之即時模型同步輔助工具
Shuttle: an Instant Model Synchronization Assistant for GMF Editors Based on Concept Synchronization |
| Authors: | 高振益
Kao, Chen-yi |
| Contributors: | 陳正佳
Chen, Cheng-chia
高振益
Kao, Chen-yi |
| Keywords: | 雙向工程
模型開發
即時模型同步
概念同步
電腦輔助軟體工程
Rund-trip engineering
Model development
Instant model synchronization
Concept synchronization
Computer-aided software engineering
GMF
Eclipse |
| Date: | 2006 |
| Issue Date: | 2009-09-17 14:07:42 (UTC+8) |
| Abstract: | 支援自動即時雙向工程（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. |
| Reference: | 【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. |
| Description: | 碩士
國立政治大學
資訊科學學系
92753014
95 |
| Source URI: | http://thesis.lib.nccu.edu.tw/record/#G0927530141 |
| Data Type: | thesis |
| Appears in Collections: | [資訊科學系] 學位論文
|
All items in 政大典藏 are protected by copyright, with all rights reserved.
|
