王豐堅

王豐堅 Wang, Feng-Jian

電子郵件/E-mail:fjwang@csie.nctu.edu.tw

服務單位/Department:資訊學院 / 資訊科學與工程研究所

著作期間/Publish Period:1988 - 2014

著作統計/Statistics

Article(29)
Others(1)
Plan(40)
Thesis(102)

Article

序號
No.
標題
Title
著作日期
Date
1 Online scheduling of workflow applications in grid environments
2011-06-01
2 A Delegation Framework for Task-Role Based Access Control in WFMS
2011-05-01
3 Online Scheduling of Workflow Applications in Grid Environment 2010-01-01
4 Dynamic Resource Provisioning for Interactive Workflow Applications on Cloud Computing Platform 2010-01-01
5 Detecting artifact anomalies in business process specifications with a formal model
2009-10-01
6 An incremental analysis for resource conflicts to workflow specifications
2008-10-01
7 Analysing inaccurate artifact usages in workflow specifications
2007-10-01
8 An object-oriented modular Petri Nets for modeling service oriented applications 2007-01-01
9 Iterators: Taxonomy, strength, weakness, and efficiency
2003-09-01
10 Locating free positions in LR(k) grammars
2002-05-01
11 Constructing an object-oriented architecture for Web application testing
2002-01-01
12 Flow analysis of class relationships for object-oriented programs
2000-07-01
13 A project model for software development
2000-05-01
14 Constructing flow-based tools with generative and compositional techniques 2000-04-01
15 Towards a practical visual object-oriented programming environment: Desirable functionalities and their implementation
1999-07-01
16 Two design patterns for data-parallel computation based on master-slave model
1999-05-28
17 A domain-independent software reuse framework based on a hierarchical thesaurus
1998-07-10
18 An inheritance flow model for class hierarchy analysis
1998-06-30
19 Constructing an integrated visual programming environment
1998-06-01
20 Parallelizing a level 3 BLAS library for LAN-connected workstations
1996-10-10
21 Encapsulation in object-oriented programs
1996-07-01
22 On efficiency and optimization of C++ programs
1996-04-01
23 AN OBJECT-ORIENTED APPROACH TO CONSTRUCTING COMMUNICATION PROTOCOLS
1995-05-01
24 PADDED STRING - TREATING STRING AS SEQUENCE OF MACHINE WORDS
1994-09-01
25 POOL - AN UNBOUNDED ARRAY
1994-09-01
26 IS CIRCULARITY PROBLEM FOR ATTRIBUTE GRAMMARS EXPONENTIAL-TIME COMPLETE 1994-07-01
27 OBJECT MOVEMENT IN DISTRIBUTED OBJECT-ORIENTED SYSTEMS 1994-05-01
28 SCANNING REGULAR LANGUAGES BY DUAL FINITE AUTOMATA
1992-04-01
29 AN OBJECT-ORIENTED SPECIFICATION FOR COMPILER
1992-01-01

Others

序號
No.
標題
Title
著作日期
Date
1 A WORST-CASE OF CIRCULARITY TEST ALGORITHMS FOR ATTRIBUTE GRAMMARS
1995-03-01

Plan

序號
No.
標題
Title
著作日期
Date
1 一整合工作流程與軟體品質測試的服務軟體設計之研究 2014
2 一個平行計算平台上安排可塑的混合平行工作流程之研究 2013
3 一個混合式平行工作流程線上排程架構之研究 2012
4 A Study for Artifact Anomalies Detection in Business Process Specifications
2011
5 一商業流程規格中Artifacts異常使用偵測之研究
2010
6 一個軟體工作流程樣式的分析、建置與整合之研究 2010
7 一個軟體工作流程樣式的分析、建置與整合之研究 2009
8 一商業流程規格中Artifacts異常使用偵測之研究
2009
9 一個以工作流程技術改進普適計算技術的研究 2008
10 一個軟體工作流程樣式的分析、建置與整合之研究 2008
11 建立一符合軟體成熟度模式Level 2之需求管理及Level 3之需求開發工作流程模板(III) 2007
12 一個以工作流程技術改進普適計算技術的研究 2007
13 一個以工作流程技術改進普適計算技術的研究 2006
14 建立一符合軟體成熟度模式Level 2之需求管理及Level 3之需求開發工作流程模板(II) 2006
15 一個在編輯流程軟體規格時的遞增性資源分配分析之研究
2005
16 建立一符合軟體成熟度模式Level2之需求管理及Level3之需求開發工作流程模板(I)
2005
17 一個以BDI為基礎的多個代理程式系統之視覺化開發環境(III)
2004
18 一個以BDI為基礎的多個代理程式系統之視覺化開發環境(II)
2003
19 一個以BDI為基礎的多個代理程式系統之視覺化開發環境(I)
2002
20 三層應用程式的測試工具之研製
2001
21 一支援3-Tier Programs測試的工具之研究與製作
2000
22 建置一EJB Structure
2000
23 建立一個在網際網路上執行的分散式計算平台
2000
24 一支援ISO-9000之整合性網際計算環境的研究製作
2000
25 三層主從式應用程式架構之軟體測試環境(II) 2000
26 整合產生式與組裝式技術建構以流程為本之工具
1999
27 一個Web資料庫應用軟體之維護工具的研究與實作
1999
28 整合性高速網路通訊軟體工程之研究設計---建立高速網路的再利用軟體環境之研究(III)
1998
29 三層主從式應用程式架構之軟體測試環境 1998
30 程序導向之專案軟體發展環境之研究(II)-一發展符合ISO-9000標準 1997
31 一支援多層次編輯模式的超文件程式設計環境之研究 1997
32 整合性高速網路通訊軟體工程之研究設計---子計畫II:一建立高速網路的再利用軟體環境之研究(II) 1997
33 整合性高速網路軟體工程環境之研究設計---子計畫II:一個建立高速網路的再利用軟體環境之研究 1996
34 一物件導向程式相依關係圖與程式切片之研究 1996
35 一可再利用之語意規格庫的應用效能之研究 1995
36 一通訊協定的物體導向程式庫之研製 1995
37 一分散式軟體計畫發展環境架構之研究設計 1994
38 一個體導向軟體複雜度的測法與證實之研究 1994
39 一分散式合作之物體導向式視窗之研究 1993
40 一個體導向編譯功能規格庫建立之研究 1993

Proceedings Paper

序號
No.
標題
Title
著作日期
Date
1 A distributed server architecture supporting dynamic resource provisioning for BPM-oriented workflow management systems
2010-08-01
2 Using Artifact Flow Diagrams to model Artifact Usage Anomalies 2009-01-01
3 Dynamic Provisioning of a Parallel Workflow Management System
2008-01-01
4 A Delegation Framework for Access Control in WfMS based on Tasks and Roles
2008-01-01
5 Analyzing inaccurate artifact usages in a workflow schema 2006-01-01
6 Dynamic Activities on An Agent-based Workflow Management System 2005-01-01
7 Intention scheduling for BDI Agent Systems 2005-01-01
8 Providing a behavioral and static formal model to elicit the functional software requirement 2005-01-01
9 Intention scheduling for BDI agent systems 2005-01-01
10 An incremental analysis to workflow specifications 2005-01-01
11 JTEAM: A framework for effective teamwork of BDI-based agents 2003-01-01
12 Constructing an EJB application in a WFMS 2002-01-01
13 An editing system for working processes 2001-01-01
14 An object-oriented dependency graph for program slicing 1998-01-01
15 An object-oriented model for protocol design 1998-01-01
16 A multi-user visual object-oriented programming environment 1998-01-01
17 Constructing a toolset for software maintenance with OOAG 1998-01-01
18 Enacting a software development process 1997-01-01
19 Slicing object-oriented programs 1997-01-01
20 Using a hierarchical Thesaurus for classifying and searching software libraries 1997-01-01
21 Design patterns for parallel computations of master-slave model 1997-01-01
22 DESIGNING A REUSABLE SYMBOL TABLE LIBRARY 1994-01-01

Thesis

序號
No.
標題
Title
著作日期
Date
1 具可調式平行度之混合平行模式工作流程排程問題中處理器配置議題之研究 2014
2 一利用參考機制來預測QoS的方法 2014
3 一個時序工作流程編輯時異常動作的遞增性分析
2013
4 利用SDN技術增進OpenStack網路使用率 2013
5 針對巨量資料處理所設計的一套了解應用需求的SDN繞徑機制 2013
6 一種轉換二點五維圖形物體成三維圖形物體的方法
2011
7 應用線上排程於複合平行工作流程之研究
2011
8 一個運用樣式來簡化簽核流程設計的方法
2011
9 一個對時序工作流程管理系統進行分析的研究
2010
10 實作一個在UNIX環境上的資源監控系統
2009
11 網格環境中支援工作流程應用程式之線上即時排程方法
2009
12 一個雲端計算平台上針對互動式工作流程應用的最小負載分配法之動態資源供應架構
2009
13 當編輯派翠網時有效率維護發生圖之方法
2008
14 運用DCDC Model來遞增性分析高階程式之異常使用
2008
15 一在Coloured Petri Nets中的錯誤找尋與校正之方法
2008
16 一個發展普適應用的方法論
2008
17 運用一具Hierarchy 特性的Timed CPNets 技術來分析BPMN 工作流程
2008
18 建立OOMPNets之開發環境
2008
19 同儕網路上資源排程方法之公平性研究
2007
20 運用一正規化模式來偵測商業流程規格中異常的Artifact 使用
2007
21 利用網格技巧改善一個大規模工作流程管理系統的回應時間
2007
22 一個有效率在成對測試上產生測試資料的演算法
2007
23 一個縮短發生圖建立時間的技術
2007
24 一個在工作流程系統管理系統中基於Task-Role-Based Access Control Model的代理程序框架
2007
25 BPMN* 與工作流程管理系統之整合
2006
26 使用狀態圖在工作流程規格上進行定義Artifacts確認
2005
27 工作流程規格資源分配限制的遞增式分析
2004
28 Agentflow - ㄧ協同合作跨組織的工作流程
2004
29 以代理人技術為基礎來設計一個新的工作流程管理系統
2003
30 BDI代理人的意圖排程
2003
31 以代理人為基礎的工作流程管理系統中定義的一致性
2003
32 Inter-Workflow系統:支援協同流程框架之工作流程管理系統 2002
33 建構一個行動式多重代理人系統的開發環境 2002
34 一工作流程管理系統中代理機制之分析 2002
35 建構一個劇本驅動工作流程為基應用程式的測試環境 2002
36 一個以BDI為基礎的多重代理人系統發展環境 2002
37 「信念-期望-意圖」為基礎的多重程式代理人系統上具有彈性的本體認知環境 2001
38 一個快速部署流程模型的方法 2001
39 建構一個大學系所事務管理系統 2001
40 JTEAM: 一個以「BDI為基礎」之代理程式所組成之團隊合作架構 2001
41 一工作流程管理系統的容量測量 2001
42 整合屬性文法與物件導向技術建構程式語言工具之研究 2000
43 一個結合網際網路工作流程與EJB系統的架構 2000
44 測試三階層式工作流程應用 2000
45 建構工作流程應用系統 2000
46 使用XML整合網際網路上的工作流程系統 2000
47 建構一個流程定義的編輯與執行系統 2000
48 代理人程式為基礎的研討會管理系統 1999
49 幾個在一行動代理人平台的通信議題 1999
50 建構一個在EJB架構中的Transaction系統 1999
51 階層式屬性文法 1998
52 以Java為基礎建置一個Agent平台 1998
53 一Web應用程式軟體測試架構 1998
54 一個支援Web資料庫軟體維護之合作式環境 1998
55 一個使用物件導向技術的視覺化通信協定發展環境 1998
56 一整合型視覺化程式設計環境之研究 1997
57 分散式記憶體平行電腦上適應性資料平行計算之研究 1997
58 軟體再利用的元件搜尋與組裝之研究 1997
59 物件導向軟體的高階程式分析之研究 1997
60 設計並實作一OOAG應用程式之建構環境 1997
61 以軟體流程技術支援ISO認證之研究 1997
62 以資訊流分析之程式庫解析工具的實作 1997
63 一個ISO-9000標準認證作業程序之電腦輔助環境 1997
64 設計並實作一多人視覺化程式發展環境 1997
65 支援軟體維護之 Web 資料庫軟體模型 1997
66 支援軟體維護之 Web 資料庫軟體模型 1997
67 一個實作ATM高速網路通信協定的軟體架構:以控制訊號協定為例 1996
68 一個可重覆利用的遞增式 OOAG 核心 1996
69 一用於發展視覺化編輯器之可再利用程式庫的建構 1996
70 資訊流模型之解析JAVA程式庫 1996
71 軟體開發流程的自動控制與執行 1995
72 物件導向軟體的耦合力和內聚力之量測 1995
73 用 Extended CPM 來分析一個軟體程序 1995
74 建構一個用於FORTRAN的程式分析器 1995
75 Measuring Coupling And Cohesion of an Object-Oriented Program 1995
76 用ECPM來分析一個軟體程序 1995
77 整合產生式及組裝式技術之編譯器建構方法 1994
78 一個程序定義環境之設計與實作 1994
79 一個領域獨立並具有自動化學習模式的軟體再利用架構 1994
80 設計並實作一應用於編譯器建構之語意規格語言 1994
81 以流程為基礎的程式編輯之研究 1994
82 語法剖析時之屬性計算 1994
83 建立一個分散式CASE環境 1994
84 利用物體導向技術於建構一語言為基的編輯器 1993
85 The Design and Implementation of a Reusable Symbol Table Library 1993
86 物體導向軟體的複雜性量測之驗證 1993
87 物件導向軟體量度方法之研究 1993
88 DMVC: 一個分散式合作軟體架構 1992
89 一個利用並行性和物體導向技術發展之通信協定模型及其程式庫 1992
90 物體導向軟體之複雜性量測之實驗研究 1992
91 分散式物體導向系統之連結之研究 1992
92 DMVC 1992
93 一個在以LAN為基的分散式Smalltalk平行程式設計的方法 1991
94 利用MVC研製一語言為基的編輯器 1991
95 一個物體導向編譯器規格之設計與製作 1991
96 一多元處理C++語言為基程式環境MCPE的架構 1989
97 一個X 為基的電子會議系統之設計與製作 1989
98 一種通信協定之物體導向方法 1989
99 在異質性分散式Smalltalk的物體搬動 1989
100 一個物體導向的軟體雛型構建法 1989
101 一個X 為基的電子會議系統之設計與製作 1989
102 物體導向程式環境中動態視窗形態配置之研究 1988