導引精靈(Wizard)是一種廣泛見於現有軟體系統，負責與用戶互動以蒐集資料的程式。其益處是能有效規範資料蒐集過程，並確保資料之完整性與正確性。導引精靈具備了上述種種優點，惟程式開發過程繁複、跨入門檻較高。因此若能快速產生導引精靈，將能提升開發者採用導引精靈意願並降低開發成本。 本研究室早先即遵循模型驅動架構概念，提出一套導引精靈生成系MoDWiz，可迅速在多平台上生成具相同功能的導引精靈。然而MoDWiz尚未實現資料驗證功能，並且只支援簡單的循序式導引精靈，因此應用範圍明顯不足。為了彌補MoDWiz的不足，本研究擴充MoDWiz而成為MoDWiz II系統。除了擴充MoDWiz原有的描述語言WDL之外，MoDWiz II還支援輸入文字資料之驗證功能，可經由開發者提供的正規表達式驗證輸入資料，確保其正確性。此外MoDWiz II也引入了更具實用性的條件式導引精靈結構，使得導引精靈可以根據使用者輸入的資料導引到不同的頁面繼續進行資料蒐集。MoDWiz II目前已經可以在Java與Eclipse執行平台上產生導引精靈，其效用將更勝於原有之MoDWiz。 / A software wizard is an interactive interface program used to collect data from the end user. It is widely used in software systems and forms a common part of most applications. Not only does the wizard modularize and simplify the complex data collection process, but it can also avoid data missing and ensure data integrity. It thus would be very profitable to use wizards in an application. However, the process of implementing a wizard from scratch is tedious and complicated, not to mention building same wizards on multiple platforms. Accordingly, if there is a tool to help rapidly construct wizards on multiple platforms, the developers would be encouraged to use wizards in their applications and at the same time the cost of their applications reduced. Before the inception of this thesis our laboratory had applied the MDA concept to the development of a wizard generating system called MoDWiz. MoDWiz enables the developer to quickly generate a wizard on multiple platforms by a simple declarative description of the target wizard. However, MoDWiz is still rather limited in that it leaves out the key component of data validation, and, more severely, it supports only sequential wizard structure, and hence cannot be used to generate most practical wizards in which nonlinearity is essential. In this thesis we extend MoDWiz to a new one called MoDWiz II. In addition to adapting the description language WDL on MoDWiz, MoDWiz II now support data validation by allowing the developers to provide input data format with regular expressions. Moreover, the most significant achievement of MoDWiz II is its ability to define branch wizards which allow different wizard pages to follow a given page depending on user input during the data collection process. MoDWiz II currently supports Java and Eclipse platforms and its application scope is apparently wider than the original MoDWiz.

本論文的目的是希望能以模型驅動方式，利用既有本體論提供的知識，快速產生與之相關的網路服務應用。我們的方法是先將本體論知識轉換為符合EMF超模型規格的中性模型，這些模型經人為修正與轉換之後，利用EMF和我們實作的產生器，即可從模型生成模型實作以及網路服務的WSDL與OWL-S描述檔。在產生出WSDL後，就可以用AXIS提供的工具，從WSDL的介面描述中生成網路服務的通訊端點實作。我們的系統整合了AXIS與EMF產出的程式碼，使系統能夠產生出比原本AXIS產出的實作更為完整的功能。最後，部分實作所缺之邏輯處理部份，則需由程式開發人員再予補足，即能建構出完整的網路服務。我們提出的這套方法與開發工具，讓開發人員能善用本體論知識，經由模型驅動的設計方式，快速地建構出網路服務系統。 / In this thesis we propose a model-driven approach by which we can make use of existing ontology knowledge to help construct a partial implementation of web services on related domains. The idea is to use existing formal ontologies for an application domain as the basis of requirement and system analysis. Our system then transforms these ontologies into platform neutral models conforming to the EMF metamodel, which, after additional refinements, can be used to construct platform dependent web service models as well as a partial implementation by following the typical MDA process with supporting tools. Finally, developers need only fulfill the lacked service logic and a complete web service can be obtained. In addition to providing and integrating supporting tools, the main contribution of our system is to leverage ontology for rapid construction of web services.

導引精靈(wizard)是一種用來收集用戶端資料的互動式使用者介面應用程式，常被廣泛的使用在軟體系統裡，也是大多數應用程式常見的功能之一。導引精靈的使用不僅簡化了複雜的資料收集過程，也可以避免資料的遺漏以確保收集資料的完整性；此外在資料收集的過程中導引精靈所提供的適當提示與即時資料驗證，還可以提高資料收集的正確性，所以導引精靈對於應用程式的資料收集是相當有用的。 本研究的目標是開發一個模型驅動的導引精靈開發系統，希望能在相同或不相同的時間裡快速建構多平台導引精靈程式。我們提出的系統稱為MoDWiz，它實現了應用「模型驅動架構(MDA)」於多平台導引精靈開發的所有工具支援。為了讓使用者建構自己的(平台無關)導引精靈模型，MoDWiz不僅提供了用以規範導引精靈的超模型，還制定一個特定領域語言WDL以作為此超模型的具體語法。此外，由於WDL的制定，我們得以提供專屬的編輯器以輔助使用者進行導引精靈模型的編輯。目前MoDWiz支援三種執行平台的導引精靈開發，分別為網頁應用程式、Eclipse與Java。而根據MDA理論，我們必須制定的三種平台超模型均已內含於MoDWiz。除此之外，MoDWiz的工具鏈還包括用來將平台無關導引精靈模型轉換成符合每一個特定平台導引精靈模型的M2M工具，以及將每一個特定平台導引精靈模型轉換成相對應實作的M2T工具。所有MoDWiz的工具與WDL編輯器程式均實作為Eclipse 外掛程式，因此能夠與Eclipse平台高度整合。當利用WDL編輯器完成導引精靈模型的製作之後，使用者只需透過簡單的滑鼠點擊就可以完成導引精靈程式的實作。 / A wizard is an interactive user interface program used to collect data from the user. It is widely used in software systems and is a common part of most applications. Not only does the use of wizards modularize and simplify complex data collection process, but it can also avoid data missing and ensure data integrity. Furthermore, during the process of data collection, since a wizard can provide tips and instant data validation it can also improve the correctness of collected data. As a conclusion, it is very beneficial to use wizards in an application. The goal of this research is the development of a model-driven wizard generation system (MoDWiz) that can be used to help rapid construction of multi-platform wizards to be developed at different or the same time. MoDWiz is our solution to the problem of applying OMG's model-driven architecture (MDA) to the development of multi-platform wizards. In order for the user to construct his (platform independent) wizard model, MoDWiz provides not only a wizard metamodel but also a domain specific language (DSL) called WDL as a concrete syntax of the metamodel. Owing to the availability of WDL, we are able to provide also a friendly editor to help the user to edit his wizard models. MoDWiz supports at present three platforms: eclipse platform, web application platform and plain Java platform. Accordingly metamodels of wizards for these platforms have to be defined and indeed have been provided in MoDWiz. Apart from these, MoDWiz's tool chain includes also M2M tools, which could transform every platform independent wizard model into a corresponding PSM model for each platform, as well as M2T tools, which could transform every platform specific wizard model into a corresponding implementation. All of MoDWiz's tools and wizard editor are implemented as eclipse plug-ins and thus are highly integrated with eclipse. As a result it is very easy to get a wizard implementation by simple mouse clicks once its model has been constructed using MoDWiz.

風險管理已成為銀行重視的重要議題，而要做好風險管理，快速且正確地提供必要的資訊給管理者是必備的能力，而銀行的資訊系統架構龐大，重要的資訊散佈不同的資訊系統，但不同的資訊系統常無法整合以提供資訊，造成風險管理相關資訊取得不易或不符合時效性的要求。 本研究是從源頭的資料分析開始，領域則是限定於衍生性匯率金融產品，目的在於找出該領域商業概念中重要的性質，套用模型驅動架構的概念，利用IBM之資訊框架對商業概念進行分析整理，建立在該領域的本體論，並發展資料存取層之儲存綱要(schema)，本體論具備擴充性高及不易變動的穩定特色，可解決因使用者需求導致資訊系統架構變動頻繁的問題，最後再依循EJB架構開發商業概念之Entity Bean元件，完成從知識蒐集、知識分析到知識實現的整個知識管理過程。 / Risk management has become a critical issue that banks value much. To bring out great risk management, being able to provide managers with rapid, correct and essential information is the basic capability of all banks. However, due to the immense information architecture in which important information spreads over those information systems, the integration among different information systems become so unrealizable that managers usually receive insufficient or ineffective information. This study starts from the data analysis of the origins, and the study field is restricted to derivatives. The purpose of this study is to: 1. find out the key elements of the business concept within such research field; 2. by using IBM Information Framework, apply the concept of Model Driven Architecture to analyze the business concept. 3. via the Entity Bean of the EJB architecture, fulfill and accomplish the whole knowledge management processes, from knowledge collecting, knowledge analyzing to knowledge realization.

圖形化模型編輯器是模型編輯器開發長久以來一直努力的方向。Eclipse.org 已提供兩個功能強大的圖形化編輯器設計框架：GEF 圖形化編輯器設計框架，和將 EMF 與 GEF 結合並簡化其設計流程的 GMF 圖形化模型編輯器設計框架，來協助開發者發展圖形化模型編輯器。 / 使用設計框架時所面臨的高學習門檻是開發者選用設計框架上的一大障礙。為降低開發者在 GMF 使用上的學習門檻，我們希望能提供一個以模型開發為導向的圖形編輯器設計專屬模型語言，讓程式設計師能夠以其慣用的程式設計角度來描述其圖形化模型編輯器的組成架構。 / 本篇研究主要是在探討 GMF 圖形化模型編輯器開發流程的簡化。在研究中希望藉由提供 GMF 圖形化模型編輯器設計框架的 GM3 專屬模型語言，讓開發者能夠透過 MDA 的角度來開發圖形化模型編輯器的架構，藉以縮短 GMF 的開發流程。實驗中使用 JavaCC 文法剖析器產生工具來開發 GM3專屬模型語言與 GMF 各項模型定義間的模型轉換。 / The availability of a visual graphical editor for a target domain is the prerequisite of visual graphical modeling, which has been adopted by classical software development for decades and is especially emphasized in today's model-driven engineering. However, compared with traditional textual editors, developing a visual graphical editor from scratch is not an easy work. As a result, there were frameworks developed such as GEF and GMF aimed to simplify the construction of graphical editors. Even so, however, it is still though hard for an average programmer to construct a visual graphical editor by using these frameworks without a long time of learning. / Our result is a modeling langauge of graphcial editors called GM3, serving as a bridge betwen developers of graphical editors and the GMF framework. With GM3, the developer can specify the model of his editing domain, how each model element should be presented by which kind of graphical elements in the editor, and how the tool pallete should be filled with various kind of creation and manipulation tools for model elements. After the GM3 specification of an editor is produced, the GM3 transformation engine developed by us using the JavaCC parser generator can be used to generate all files required of the GMF framework and, finally, a subsequent application of the standard GMF code generation procedure can produce a complete graphical editor on Eclipse platform.

導引精靈(Wizard)是一種用於收集用戶端資料的互動式人機介面程式，它是由一系列的對話框組成。使用導引精靈，可以避免資料遺漏、更能確保資料的完整性。由於方便好用，導引精靈不僅大量的使用在既有的電腦程式中，很顯然地，它也應該是許多新應用軟體系統不可或缺的一部分。 為了克服開發導引精靈過程的繁雜，瑣碎與費時，我們曾開發一套遵循MDA架構的多平台導引精靈快速開發系統，稱為 MoDWizII。利用MoDWizII，我們只要輸入高階的平台無關精靈描述，系統即能自動產生各支援平台的對應導引精靈實做。目前系統支援的平台包括：Java、Eclipse 以及Web 應用。 隨著手機與平板電腦的普及與無所不在，其應用系統顯然亦有收集使用者資料的需求。相對於傳統電腦，行動裝置的先天限制並不適合傳統的編輯輸入，因此導引精靈顯然是一種更值得考量的替代選項。此一因素，促使我們考量將MoDWizII的支援對象擴充至行動平台。 本研究的主要任務是擴充MoDWizII的支援對象至行動平台。新系統名稱為MoDWiz3，目前選擇的唯一支援平台是市佔率最高的Android平台。據IDC報告，至2013年第三季時Android的行動裝置佔有率達81%。 為了使得ModWiz3得以產生Android平台的精靈實做，我們在此研究中，貢獻了一套針對Android平台特性而設計的精靈程式Android平台專屬超模型(PSMM)。除此之外，我們亦實做了在MDA架構下，針對Android平台的必要M2M與M2T轉換工具。利用這些工具鏈，我們即能將高階的平台無關精靈描述轉換成Android平台的導引精靈實做。和以往支援平台有一個顯著不同之處是，Android平台本身並無提供立即可用的導引精靈API可供實做時使用，因此本研究的另一貢獻是使用Android fragment機制設計、選用和實做所有系統所需的精靈元件。 / Software wizards are interactive programs consisting of a series of UI dialogs aimed to acquire responded data from the users. Using wizards to collect data has the advantage of ensuring the completeness and integrity of the collected data. They are not only pervasively found in existing computer systems but apparently would also be an indispensable part of many software applications to be developed. In order to overcome the shortage of developing wizards from scratch, which are complicated, tedious and time-consuming, our lab has developed a system called MoDWizII, which can produce multi-platform wizards from a single declarative wizard description by following OMG's MDA approach. Currently the supported platforms include Java, Eclipse and Web applications. With the explosive popularity of mobile phones and tablets, the need of complex data input using mobile devices increases. However, due to the size limitation, it is very inconvenient to use traditional editing approach to input large amount of data on these devices. In contrast, wizards in these use cases seem more suitable. This motivated the inclusion of mobile platforms to the supported platforms of our system. In this research we extend MoDWizII to a new one called MoDWiz3 with the goal of supporting also mobile platforms. Currently the only selected platform is Android, which is used by most people as indicated by a report of International Data Corporation (IDC) that the market share of Android platform was 81% in the 3rd quarter in 2013. To enable the support of Android platform, this research created a definition of PSMM (Platform-Specific MetaModel) for wizards on the Android platform; standard M2M and M2T toolchain was also developed and can be used to generate practical Android wizard applications from a platform independent wizard description. While previous supported platforms have well-established wizard API, it is not the case for Android. We thus included in the research also the design, selection and implementation of all required wizard components for the Android platform.

本研究遵循模型驅動架構的概念，發展一適用於現實商業流程之工作流程模型，採用創新的方式對於工作流程做描述，我們只需要按照固定的步驟，便可以將真實的商業流程發展成可用的模型，以利於後續發展工作流程系統之用。在發展模型時，我們採用了IBM的資訊框架（IFW）做為塑模的方式，以及利用統一塑模語言中的狀態移轉圖和循序圖的概念來做為呈現工作流程模型，解決了傳統流程無法表達流程內部資料變化所帶來的影響，除此之外，我們在模型發展後，採用包含事件-驅動概念的工作流程引擎來產生工作流程系統，我們將商業流程視為一個個的物件，物件收發事件導致狀態的改變而引發另一個事件的發生，如此循環下去，直到整個流程完成。