Browsing by Author "WANG FENG-JIAN"

Now showing 1 - 20 of 40

一個Web資料庫應用軟體之維護工具的研究與實作
(1999)
王豐堅
;
WANG FENG-JIAN
;
交通大學資訊工程系
一個以BDI為基礎的多個代理程式系統之視覺化開發環境(I)
(2002)
王豐堅
;
WANG FENG-JIAN
;
交通大學資訊工程研究所
一個以BDI為基礎的多個代理程式系統之視覺化開發環境(II)
(2003)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程研究所
一個以BDI為基礎的多個代理程式系統之視覺化開發環境(III)
(2004)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程研究所
一個以工作流程技術改進普適計算技術的研究
(2008)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程學系(所)
隨著行動裝置的發展與普及，九零年代初期所提出普適計算(Pervasive Computing)的概念逐漸不再只是一個願景，而是一個極度可能的未來，在這十年間，許多關於普適計算的議題，如異質網路間的通信、通信管道的快速建立、普適計算環境的演進，都獲得了完整的解決，將普適計算與現今的人們的生活或是商業活動更進一步的結合與實現，將是普適計算下一階段的課題；另一個也是九零年代所提出的概念，工作流程(Workflow)與工作流程管理系統 (Workflow Management System, WfMS)，在協調企業內部流程、人員與資源上有優異的表現，又隨著企業自動化與電子化的趨勢，工作流程管理系統逐漸成為統整企業資訊系統的核心要角。將普適計算與工作流程系統相結合，是未來企業資訊系統的必然趨勢，將普適計算環境的強大適應性與工作流程管理系統的強大整合性相結合，呈現了同時具有電子化、行動化的未來 (商務)模式。本專題針對現有的普適計算技術作研究，並且結合現有的工作流程管理系統，以建構新的普適工作流程管理系統(Pervasive Workflow Management System)，同時配合此系統研究有效的普適工作流程開發程序以及開發環境，一方面藉由實際的專案開發驗證此系統之實用性，另一方面藉由將普適計算環境與目前良好運作的工作流程管理系統相整合，希望能找出未來企業資訊系統運作的新架構。
一個以工作流程技術改進普適計算技術的研究
(2006)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程學系(所)
隨著行動裝置的發展與普及，九零年代初期所提出普適計算(Pervasive Computing)的概念逐漸不再只是一個願景，而是一個極度可能的未來，在這十年間，許多關於普適計算的議題，如異質網路間的通信、通信管道的快速建立、普適計算環境的演進，都獲得了完整的解決，將普適計算與現今的人們的生活或是商業活動更進一步的結合與實現，將是普適計算下一階段的課題；另一個也是九零年代所提出的概念，工作流程(Workflow)與工作流程管理系統 (Workflow Management System, WfMS)，在協調企業內部流程、人員與資源上有優異的表現，又隨著企業自動化與電子化的趨勢，工作流程管理系統逐漸成為統整企業資訊系統的核心要角。將普適計算與工作流程系統相結合，是未來企業資訊系統的必然趨勢，將普適計算環境的強大適應性與工作流程管理系統的強大整合性相結合，呈現了同時具有電子化、行動化的未來 (商務)模式。本專題針對現有的普適計算技術作研究，並且結合現有的工作流程管理系統，以建構新的普適工作流程管理系統(Pervasive Workflow Management System)，同時配合此系統研究有效的普適工作流程開發程序以及開發環境，一方面藉由實際的專案開發驗證此系統之實用性，另一方面藉由將普適計算環境與目前良好運作的工作流程管理系統相整合，希望能找出未來企業資訊系統運作的新架構。
一個以工作流程技術改進普適計算技術的研究
(2007)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程學系(所)
隨著行動裝置的發展與普及，九零年代初期所提出普適計算(Pervasive Computing)的概念逐漸不再只是一個願景，而是一個極度可能的未來，在這十年間，許多關於普適計算的議題，如異質網路間的通信、通信管道的快速建立、普適計算環境的演進，都獲得了完整的解決，將普適計算與現今的人們的生活或是商業活動更進一步的結合與實現，將是普適計算下一階段的課題；另一個也是九零年代所提出的概念，工作流程(Workflow)與工作流程管理系統 (Workflow Management System, WfMS)，在協調企業內部流程、人員與資源上有優異的表現，又隨著企業自動化與電子化的趨勢，工作流程管理系統逐漸成為統整企業資訊系統的核心要角。將普適計算與工作流程系統相結合，是未來企業資訊系統的必然趨勢，將普適計算環境的強大適應性與工作流程管理系統的強大整合性相結合，呈現了同時具有電子化、行動化的未來 (商務)模式。本專題針對現有的普適計算技術作研究，並且結合現有的工作流程管理系統，以建構新的普適工作流程管理系統(Pervasive Workflow Management System)，同時配合此系統研究有效的普適工作流程開發程序以及開發環境，一方面藉由實際的專案開發驗證此系統之實用性，另一方面藉由將普適計算環境與目前良好運作的工作流程管理系統相整合，希望能找出未來企業資訊系統運作的新架構。
一個在編輯流程軟體規格時的遞增性資源分配分析之研究
(2005)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程學系(所)
工作流程管理系統用以自動地協調、控制及溝通企業營運中所需要的工作項目，它滿足作業流程的需求，改進工作時間的協調和增加工作的自動化程度，使工作流程更具效率。現今的工作流程管理系統，主要皆提供兩項重要元件，分別是設計與執行的環境。工作流程設計或維護者在編輯階段進行工作流程的規劃、設計，經過驗證、測試後。流程規格再交由執行環境產生相對之工作流程實例，然後由參與的使用者去完成各別的任務。一般而言，流程管理者可以在兩個環境內進行分析、評估、控管與監看。編輯完一個工作流程後最好做過規格定義的驗證工作。驗證一個工作流程規格的正確性，主要朝向結構(structure)、時間(time)、與資源(resource)三個方面著手，其中結構檢驗較優於其他兩項。從另一個角度來看，在設計或維護一個工作流程的過程時，可能會新增插入、刪除 process，或是改變process。這些編輯活動有可能會造成工作流程規格在資源、時間方面的錯誤或缺乏一致性。因此，在編輯時若能根據當時之process得知相關的processes的情況，或獲得即時的檢驗分析，也就是說，能透過遞增式分析技術來迅速獲得這些相關資訊或異動所造成的影響，工程師應可提升工作流程設計、維護的效率。本專題重心首先在探討process structure與resource reference的遞增性分析，然後根據時間因素再進一步建立有效的資源驗證演算法。其次配合process related information, and resource conflicts提供設計師相關的資料，以進一步加強其在編輯或維護時的幫助。實作方面將這種遞增式資源驗證分析方法，implement在本實驗室研究設計並被業界開發的 Agentflow系統，以驗證其實用性。
一個平行計算平台上安排可塑的混合平行工作流程之研究
(2013)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程學系（所）
一個新的工作流程分析的方法之研究
(2015)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程學系（所）
一個混合式平行工作流程線上排程架構之研究
(2012)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程學系（所）
隨著雲端運算平台以及服務導向架構相關技術的逐漸成熟，工作流程逐漸變成許多現代大型應用軟體系統的底層架構。平行系統中的工作流程排程議題長久以來一直吸引許多研究的目光，因為它屬於NP-complete的問題。而在現今的網格與雲端平台中，由於多叢集與異質性的架構，更使得工作排程的問題變得更為複雜。雖然先前陸續有許多排程方法被提出，但大多不能有效處理混合平行式工作流程及多叢集架構的問題。在此計畫中我們提出了一個混合式平行工作流程線上排程架構，它將整個工作流程程序化分成四個階段，分別是排定工作優先順序、貯列內工作排程、工作執行順序調整、計算資源配置。基於此工作排程架構，我們將在此計畫中依據較小工作流程優先、以優先權為基礎之工作回填、可打斷式工作執行、及最早完成時間優先之資源配置等四項原則來發展一系列新的工作排程機制。我們也將開發一個實驗模擬平台，用來評估這些新方法的效能，並和先前文獻中已發表的方法進行分析比較。
一個軟體工作流程樣式的分析、建置與整合之研究
(2010)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程學系（所）
工作流程管理系統(WfMS)已經廣泛地被應用在協調商用流程(business process)以及企業員工的工作，而將這些工作流程之中重複出現的部分歸納成工作流程樣式(workflow patterns)是一個新興的研究項目。目前，有關於工作流程中如控制流(control flow)、資料流(control flow)、資源(resources, workflow participants)以及例外處理(exception handling)相關的工作流程樣式已經被初步的建構以及討論；本計畫將以目前的研究為基礎，從角色代理工作樣式開始更進一步的發掘一些不同領域或進階的工作流程樣式，同時整合商用流程不同面向中的工作流程樣式進行一致性以及限制的分析，並且探討如何將工作流程樣式使用於工作流程應用(workflow application)的設計(design)、配置(deployment)與運作(operation)之上。此外，我們也將仔細的評估每一個方法以及樣式的相關效能(率)。
一個軟體工作流程樣式的分析、建置與整合之研究
(2008)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程學系(所)
工作流程管理系統(WfMS)已經廣泛地被應用在協調商用流程(business process)以及企業員工的工作，而將這些工作流程之中重複出現的部分歸納成工作流程樣式(workflow patterns)是一個新興的研究項目。目前，有關於工作流程中如控制流(control flow)、資料流(control flow)、資源(resources, workflow participants)以及例外處理(exception handling)相關的工作流程樣式已經被初步的建構以及討論；本計畫將以目前的研究為基礎，從角色代理工作樣式開始更進一步的發掘一些不同領域或進階的工作流程樣式，同時整合商用流程不同面向中的工作流程樣式進行一致性以及限制的分析，並且探討如何將工作流程樣式使用於工作流程應用(workflow application)的設計(design)、配置(deployment)與運作(operation)之上。此外，我們也將仔細的評估每一個方法以及樣式的相關效能(率)。
一個軟體工作流程樣式的分析、建置與整合之研究
(2009)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程學系(所)
工作流程管理系統(WfMS)已經廣泛地被應用在協調商用流程(business process)以及企業員工的工作，而將這些工作流程之中重複出現的部分歸納成工作流程樣式(workflow patterns)是一個新興的研究項目。目前，有關於工作流程中如控制流(control flow)、資料流(control flow)、資源(resources, workflow participants)以及例外處理(exception handling)相關的工作流程樣式已經被初步的建構以及討論；本計畫將以目前的研究為基礎，從角色代理工作樣式開始更進一步的發掘一些不同領域或進階的工作流程樣式，同時整合商用流程不同面向中的工作流程樣式進行一致性以及限制的分析，並且探討如何將工作流程樣式使用於工作流程應用(workflow application)的設計(design)、配置(deployment)與運作(operation)之上。此外，我們也將仔細的評估每一個方法以及樣式的相關效能(率)。
一個體導向編譯功能規格庫建立之研究
(1993)
王豐堅
;
WANG FENG-JIAN
;
交通大學資訊工程研究所
程式語言的編譯理論自60年代以來,一直是理論研究(資訊科學)的主要一支.雖然其解法已漸為世人所熟悉,但過去以來的研究,尤其是建構編譯程式技術的研究,著重於自動化產生整個或部分編譯器.而編譯器的製作又相當繁雜.為此,這些自動產生的工具最常見的莫過�語彙分析器,�語法分析器,�語意分析器...... 等.其中又以語彙,法分析器最常以自動化方式產生,如UNIX上的Lex與YACC等.自語意分析器以降,自動化的規格常需伴隨著程式語言的Context Free Grammar不同語言的語法不同,其規格(尤指語意以降)幾乎沒辦法再利用.而編譯的功能又多且繁雜,過去以來的研究確實顯示其功能多類似,諸如Name Checking,Type Checking,.......個人等在過去國科會的計畫案中發展出一套個體導向編譯器規格撰寫方法與相關之分析理論.由於個體導向程式技巧在軟體再利用方面獲致相當大的成功,因此,我們希望在本年度的研究中(圖一 )�成立一編譯器規格的資料庫,尤其是處理Name Checkings, TypeCheckings, Symbol Table Handlings等基本的語意分析工作之規格.�發展一專屬此資料庫(尤其是編譯器規格)的 Interface Tool,以便強化搜尋或萃取.
一個體導向軟體複雜度的測法與證實之研究
(1994)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程研究所
軟體複雜度的測量,在Procedural language上已取得相當的成果,在此等語言的程式之測量法主要基於下述兩種:(1)Halstead的軟體科學(Software science);(2)Henry和Kafura的資料流(Informationflow).隨著物體導向語言與程式的日益蓬勃,測量物體導向程式的複雜度與品質以測定其是否值得使用或再利用日顯重要.這幾年來在此方面的研究有下列三組:(1)Cheatham等人根據軟體科學提出一套計算公式;(2)Jenson根據參數(Parameter)估計的方法;(3)Kemerer等人提出一Class的測量值乃由其 Compoment值合計;(4)我們根據資料流提出一套計算公式.我們歸結這四組研究,有下述缺陷:(1)除了第三組之外,均無理論相對的實證;(2)這四組都沒有對實際的程式做實驗證實;(3)除了我們這一組之外,其餘只考慮到Class/Method的複雜度, 似嫌太小.我們本年度的計畫,即在根據我們所提的測量公式:(1)根據Kemerei所提出的驗證方法及Weyuker之理論模式來驗證我們的計算公式;(2)根據a.軟體發展之代價;b.軟體維護之代價,來設計一套實驗的步驟,並邀請(有償)各種程度的學生來參與這一實驗,以證實前述三組測量方法的精確度(非準確度).我們同時也將根據(1)□(2) 之結果,依次研究討論或修正我們的公式,以期能達到最精確的效果.
一分散式合作之物體導向式視窗之研究
(1993)
王豐堅
;
WANG FENG-JIAN
;
交通大學資訊工程研究所
一分散式軟體計畫發展環境架構之研究設計
(1994)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程學系
利用網路連接起來的電腦系統日愈增加,透過網路互助合作的分散式系統也愈來愈多,最典型的例子就是Groupware,不管是高速網路或是簡陋如RS-232,Groupware利用連接的線路傳遞彼此( 各系統)所需的訊息,讓使用者身處異地而能彼此合作達成共同目標.Groupware已發展出來的系統有許多,如Co-editing系統、Teleconferencing系統... 等.然而在軟體計畫發展的合作方面,目前並無較成功之Groupware.另一方面,Groupware物體導向化也日漸增加.目前在市面上的軟體計畫發展環境主要以電腦輔助軟體二程環境(Computer aided software engineering, CASE)為主.這些系統或其餘相關的工具基本上是(1)封閉型態,兩個CASE's或一新的工具要與之合作,關係兩系統中子工具與其資料之合作,封閉型態使這般合作變得困難, 遑論其他;(2)各CASE,絕大部分採Waterfall模式,有的仍然採用單機多使用者.新增工具或採新的方法對End-use而言幾不可能.本研究的主要目的乃在透過軟體計畫發展過程的資料,以及資料( 物體導向化)間的可能交互作用建立一個(Virtual )物體導向資料庫(Object-oriented database, OODB).隨之而在各點(系統)建之物體為基的介面器(Object-based interface, OBI),以便在各系統或工具間有效地傳遞訊息,互助合作,而達到開放型態的目的.本年度的主要工作,即在完成此一架構,包括此OODB與OBI的設計與分析.
一可再利用之語意規格庫的應用效能之研究
(1995)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程研究所
一商業流程規格中Artifacts異常使用偵測之研究
(2010)
王豐堅
;
WANG FENG-JIAN
;
國立交通大學資訊工程學系（所）