近年來，由於平行計算與分散式計算等軟體並行性處理機制之發展，軟體系統的運作方式走向並行性與分散性，一般稱能夠同時執行多個程式單元之軟體系統為並行軟體。以往之物件導向分析設計方法，大多著重於循序軟體的分析設計，對於軟體並行性的支援往往不足。因此，本研究主旨在於提出一套適用於並行軟體之分析方法。
先前之「並行軟體功能分解事物件導向分析方法」有幾項缺點：1) 對周邊環境定義不足；2) 並行性質探討不足；3) 分析步驟無法逐步改良設計；以及4) 動態模型之不足。本論文將針對這些缺點提出分析方法之改良，將並行性質區分為使用者層次並行性、問題領域並行性以及設計層次並行性三個層次，分階段於分析步驟中解決。改良過後之「並行軟體功能分解事物件導向分析方法」以系統外在環境與需求之定義為出發點，提出一套螺旋狀分析方法，將分析過程分成1) 單一使用者模式；2) 單一系統功能；與3) 多使用者模式以及系統功能平行執行模式三個進程。此螺旋狀分析提供分析師逐步解決對應之並行性問題並改良分析成果。
「並行軟體功能分解事物件導向分析方法」產生之分析模型包括：角色模型、劇本流程圖、類別模型、動態模型與部署模型。角色模型描寫組成系統的角色以及角色之間的合作關係；劇本流程圖完整定義系統功能執行流程，並記錄可能發生的並行性問題與處理策略；類別模型定義系統靜態的組成與類別之間的關係；動態模型以物件之間互動描寫系統動態行為，並協助驗證系統功能；部署模型定義軟體於電腦系統中的實際部署與配置。上述五大分析模型以各角度切入系統，對分析結果提供完整之定義。
本方法已成功應用於「銀行資訊系統」之需求分析上，足以驗證本方法之可行性以及分析模型的完整。

Recently, the emerging parallel and distributed computing techniques move the software systems from sequential software to concurrent one. In general, concurrent software is the one with multiple execution units that are executed concurrently. However, conventional analysis and design methods are dedicated to the development of sequential software, but do not support the concurrency in software. The goal of the thesis is to propose a requirement analysis method for concurrent software.
The former research of "Functional Decomposition Object-Oriented Analysis for Concurrent Software" has several deficiencies: 1) the definition of execution environment, 2) the weak of concurrent behavior representation, 3) the non-progressive refine process, 4) and the lack of dynamic model. In this thesis, we will propose an improved method to alleviate these deficiencies in the following aspects: The concurrent behavior is classified into three levels: user level, problem domain and design level concurrency. These issues are solved in different stages in the analysis step. The enhanced "Functional Decomposition Object-Oriented Analysis for Concurrent Software" starts from the definition of environment and requirements. We separate the analysis steps into three phases within a spiral: 1) single user mode, 2) multiple user in single function execution mode, and 3) concurrently execution of multiple functions mode. The spiral analysis provides an incremental process to solve the relevant concurrent issues, and embody the result into that of a previous phase.
The deliverables of "Functional Decomposition Object-Oriented Analysis Method for Concurrent Software" are role model, scenario diagram, class model, dynamic model and deployment model. Role model is used to express the roles that compose the system and collaboration among them. Scenario diagram defines the execution flows of system functions. It also keeps track of the concurrent issues and the corresponding control policy that may occur in the execution flow. Class model defines the static compositions of classes in the system. We also use notations to represent the relationships between these classes. Dynamic model uses the interactions among objects to prescribe dynamic behavior of the system. The dynamic behaviors of objects help verify the system functions. Finally, deployment model defines the physical deployment of software in a distributed system. The above five model can delineate the system in five views, and provide the necessary and complete result of the analysis.
We have successfully applied our research to the requirement analysis of "Bank Information System", and thereby verify the feasibility of our analysis steps and the completeness of the analysis models.

摘要I
ABSTRACTII
誌謝IV
圖表目錄VII
表格目錄IX
第一章 緒論1
1.1 研究背景1
1.2 研究動機2
1.3 章節介紹4
第二章 並行性軟體系統研究背景說明5
2.1並行軟體的定義與特性5
2.1.1共用資源6
2.1.2通訊7
2.1.3不可決定性9
2.2並行性軟體物件導向分析方法簡介10
2.2.1角色的觀念10
2.2.2分析方法摘要說明11
2.2.3分析步驟說明12
2.3分析方法之不足與改善建議20
第三章 並行軟體功能分解式物件導向分析方法之 設計概念與模型說明23
3.1 角色的觀念的改良23
3.2劇本流程圖的改良24
3.3並行系統之性質與分析策略25
3.4分析方法摘要說明28
3.5分析模型介紹30
3.5.1角色模型31
3.5.2劇本流程圖34
3.5.3類別模型37
3.5.4動態模型41
3.5.5部署模型47
第四章 並行軟體功能分解式物件導向分析方法之 分析步驟說明49
4.1問題描述分析50
4.2環境角色定義51
4.3劇本流程圖之定義與改良54
4.3.1單一使用者模式：54
4.3.2單一系統功能多使用者模式：55
4.3.3多系統功能平行執行模式：60
4.4角色與其功能之定義與改良61
4.5類別模型之定義與改良63
4.6動態模型之定義與改良67
4.6.1角色/物件交換圖67
4.6.2狀態轉換圖68
4.7系統部署階段70
第五章 並行性軟體需求分析實例71
5.1問題描述71
5.2需求分析72
5.2.1問題描述分析72
5.2.2環境角色定義74
5.2.3單一使用者模式螺旋狀分析過程79
5.2.4單一系統功能多使用者模式螺旋狀分析過程93
5.2.5系統功能平行執行模式97
5.2.6部署模型之建立99
第六章 結論100

[1] Abraham Silberschatz, Peter B. Gavin, "Operating System Concepts", Addison Wesley, 1994
[2] Desmond D'Souza, Alan Wills, "Catalysis - Practical Rigor and Refinement : Extending OMT, Fusion, and Objectory", in Malan et al, eds, Object-Oriented Development at work : Fusion in Real World, 1996.
[3] Erich Gamma, Richard Helm, Ralph Johnson, John Vlissides, "Design Patterns Elements of Reusable Object-Oriented Software", Addison-Wesley, 1995.
[4] G. Rasmussen, B. Henderson-Seller & G. C. Low, "An Object-Oriented Analysis and Design Notation for Distributed Systems", Journal of Object-Oriented Programming, Oct. 1996.
[5] George Coulouris, Jean Dollimore, Tim Kindberg, "Distributed Systems Concepts and Design", Addison-Wesley, 1996.
[6] Grady Booch, "Object-Oriented Analysis and Design with Applications", AddisonWesley, 1994.
[7] Hassan Gomaa, "Use Cases for Distributed Real-Time Software Architectures", Proceedings of The Joint Workshop on Parallel and Distributed Real-Time System, pp.34-42, April 1997.
[8] Ivar Jacobson et. al., "Object-Oriented Software Engineering - A Use Case Driven Approach", Addison-Wesley, March 1994.
[9] James Gosling, Henry McGilton, "The Java Language Environment - A Write Paper", Sun Microsystem, Inc., May 1996.
[10] James Rambaugh, Michael Blaha, William Preperlani, Frederick Eddy, William Lorensen, "Object-Oriented Modeling and Design", Prentice Hall, 1991
[11] Kevin L. Mills, Hassan Gomaa, "A Knowledge-Based Method for Inferring Semantic Concept from Graphical Models of Real-Time System", 1998.
[12] Kevin L. Mills, Hassan Gomaa, "Knowledge-Based Automation of a Design Method for Concurrent and Real-Time System", 1998.
[13] Object Management Group, "The Common Object Request Broker Architecture and Specification, Revision 2.0", July 1995.
[14] Object Management Group, "CORBAservices : Common Object Services Specification", Dec. 1998.
[15] Philippe Kruchten, "The 4+1 View Model of Architecture", IEEE Software, pp.42-50, Nov. 1995, 12(6).
[16] Pierre-Alain Muller, Instant UML, Wrox Press Ltd., 1997.
[17] Riel, A. J., "Object-Oriented Design Heuristics", MA : Addison-Wesley, 1996.
[18] Roger S. Pressman, Software Engineering - A Practitioner's Approach 4th Edition, McGraw-Hill, 1997.
[19] S. C. Chou, C. G. Chung, "An OOA Model with System Function Specification", Proceedings of the first IEEE International Conference on Requirement Engineering, ICRE' 94.
[20] S. C. Chou, J. Y. Chen, "An Object-Oriented Analysis Method Based on Parallel Decomposition of Function and Data", Report on Object Oriented Analysis and Design (ROAD), Vol.2, No. 6, pp.22-35, 1996.
[21] Shatz, Sol M. & Wang, Jia-Ping, Tutorial : distributed software engineering, New York IEEE Computer Society/ c1989.
[22] Shatz, Sol M., Development of Distributed Software - Concepts and Tools, New York Macmillan / c1993.
[23] TryGve Reenskaug, Per Wold, Odd Arild Lehne, Working with Objects - The OOram Software Engineering Method, Manny, 1995.
[24] William J. Brown, Raphael C. Malveau, Hays W. McCorMick III, Thomas J. Mowbray, AntiPatterns, Wiley Computer Publishing. 1998.
[25] Y. S. Hung, W. C. Liu, and C. G. Chung, "An Experience of Using FDOOA Method to Develop a Telecommunication Network Management System", Proceedings of the twenty-fourth International Conference TOOLS ASIA, 1997.
[26] 徐志豪, 一個並行軟體物件導向分析方法, 國立交通大學資訊工程研究所碩士論文, 1998
[27] 洪毓祥, 鐘乾癸, 一個整合式OOA/OOD規格再利用環境之設計(III). 國科會專題研究計畫成果報告, 編號：NSC86 - 2213 - E009 - 016
[28] 吳介銘, 改良式功能分解物件導向分析方法, 國立交通大學資訊工程研究所碩士論文, 1996