在資訊系統的開發過程中，由於對於整個系統設計的外部塑形效應，需求分析是一個關鍵的階段。在需求分析的過程中，經常會利用行為的理論模型來敘述與分析系統需求上的各種行為，他們包括控制流模型、狀態機模型、派區網模型、資料流模型、陳式模型與轉換層級模型等。每種行為模型擁有不同的架構與特性，以支援特定的行為敘述。由於各種行為模型間缺乏理論與實作的統一性，導致以不同模型敘述的行為不易被整合。本研究發展一種統一行為模型設計與各種行為模型的軟體實作。其提供自然易懂的外部輸入語言，給予軟體工程師使用不同種行為模型做塑模與模型再用。這些行為模型相容於統一行為模型，因此其間可以進行行為模型的相互銜接及階層式整合，以便利行為組成的需求分析與設計。本研究並進行使用這些模型敘述與整合的實驗，以實證此軟體實作有效達到本研究的目標。

In the development process of information systems, requirement analysis is a critical part due to its external shaping effect of the entire system design. In the process of requirements analysis, we often make use of the theoretical models of behaviors to specify and analyze the various behaviors in the system requirements. They include control-flow model, state-machine model, Petri net model, data-flow model, expression model, transaction-level model, etc. Each behavior model exhibits its own structures and characteristics to support specific type of behavior specification. Due to the lack of theoretical and practical unification of these behavior models, behaviors specified in different behavior models cannot be integrated easily. In this research, we developed software implementation of a unified behavior model and several behavior models. It provides simple-to-use external language to software engineers to model and reuse behavior requirements and designs in various behavior models. These behavior models are compatible with the unified behavior model. Thus, they can be connected together and integrated hierarchically to support requirement analysis and design of behavior composition. In this research, we also performed experiments of behavior specification and integration to validate that the software implementation effectively achieves the goals of this research.

致謝…………………………………………………………………………i
摘要……………………………………………………………………...…ii
Abstract……………………………………………………………………iii
目錄………………………………………………………………………..iv
圖次………………………………………………………………………..vi
第一章 導論…………………………………………………………….....1
1.1 研究動機…………………………………………………….........1
1.2 研究背景…………………………………………………….........2
1.3 研究目標…………………………………………………….........3
1.4 研究大綱…………………………………………………….........3
第二章 系統設計方法………………...……………………………..........4
2.1 整體設計方法………………...……………………………..........4
2.2 統一行為模型………………...……………………………..........5
2.2.1 統一行為模型的架構.……………………………............5
2.2.2 統一行為模型的優點.……………………………............6
2.3 支援的行為模型.……………………………................................7
2.3.1 狀態機模型……………………………………………….7
2.3.2 陳式模型………………………………………………….9
2.3.3 控制流模型……………………………………………...11
2.3.4 資料流模型……………………………………………...13
2.3.5 派區網模型……………………………………………...14
2.3.6 轉換層級模型…………………………………………...16
第三章 軟體實作設計………………...……………………………........19
3.1 軟體實作架構………………...……………………………........19
3.1.1 外部語言輸入設計...………………………………........20
3.1.2 統一行為模型及其所支援模型之組成結構…………...26
3.2 統一行為模型及其所支援的理論模型之內部代表法………...37
3.3 行為模型的存取函式…………………………………………...39
3.4 輸入程序…………………………….…………………………40
第四章 實驗………………..………………….…………………………43
4.1 實驗說明……………………………...…………………………43
4.2 自動販賣機範例規劃…………………………………...………44
4.3 公用腳踏車租賃系統範例規劃………………………………...46
4.4 自動販賣機範例的實驗實例…………………………………...48
4.4.1 實例的組成與外部描述檔的設計……………………...48
4.4.2 實驗結果………………………………………………...53
4.5 公用腳踏車租賃系統範例的實驗實例………………………...61
4.5.1 實例的組成與外部描述檔的設計……………………...61
4.5.2 實驗結果………………………………………………...69
第五章 結論……………………………………………………………...79
參考文獻………………………………………………………….………80

[1] Alan Dennis, et al., Systems Analysis and Design with UML, 3/E, Wiley, 2010.
[2] Yao-Yi Huang, State Machine Model Design, Internal Research Memo, Computing System Lab., Dept. of Electrical Eng., Nat’l Sun Yat-Sen Univ., June 2013.
[3] Yao-Yi Huang, Petri net Model Design, Internal Research Memo, Computing System Lab., Dept. of Electrical Eng., Nat’l Sun Yat-Sen Univ., June 2013.
[4] Yao-Yi Huang, Expression Model Design, Internal Research Memo, Computing System Lab., Dept. of Electrical Eng., Nat’l Sun Yat-Sen Univ., June 2013.
[5] Yao-Yi Huang, Data Flow Model Design, Internal Research Memo, Computing System Lab., Dept. of Electrical Eng., Nat’l Sun Yat-Sen Univ., June 2013.
[6] Yao-Yi Huang, Control Flow Model Design, Internal Research Memo, Computing System Lab., Dept. of Electrical Eng., Nat’l Sun Yat-Sen Univ., June 2013.
[7] Yao-Yi Huang, Transaction-Level Model Design, Internal Research Memo, Computing System Lab., Dept. of Electrical Eng., Nat’l Sun Yat-Sen Univ., June 2013.
[8] 錢偉德, TLM 2.0標準簡介, 財團法人國家實驗研究院晶片系統設計中心, April 2009.
[9] 蔣河山, 應用有限狀態基於自動畫製造系統之狀態塑模與合成, 國防大學理工學院國防科學研究所博士論文, 5月101年.
[10] 溫員林, 離散事件系統之可診斷性塑模、分析、設計與應用, 國立海洋大學電機工程學系博士論文, 6月96年.
[11] 賈景瑞, 一種類似UNIX核心的軟體設計, 國立中山大學電機工程學系碩士論文, 7月92年.
[12] Tsung Lee, Unified Behavior Model Design, Internal Research Memo, Computing System Lab., Dept. of Electrical Eng., Nat’l Sun Yat-Sen Univ., April 2013.
[13] Tsung Lee and Yao-Yi Huang, A Unified Data Structure Design, Internal Research Memo, Computing System Lab., Dept. of Electrical Eng., Nat’l Sun Yat-Sen Univ., June 2012.
[14] 李聰, 階層式狀態機設計模式的軟體設計, 資訊技術應用及管理研討會, 05月101年.
[15] 洪維恩, C語言教學手冊, 第四版, 旗標, 11月97年.
[16] Tsung Lee and Yao-Yi Huang, A Generalized Parser Design, Technical Report, Computing System Lab., Dept. of Electrical Eng., Nat’l Sun Yat-Sen Univ., Feb. 2012.
[17] Yao-Yi Huang, Input Produce Design, Internal Research Memo, Computing System Lab., Dept. of Electrical Eng., Nat’l Sun Yat-Sen Univ., July 2013.
[18] Jobn R. Levine, et al., lex&yacc, O’Reilly, Nov. 2007.