在現今許多系統開發時，系統的利益相關者與開發者之間經常會產生溝通上的差異，也就是在系統設計和系統實作之間產生落差或不對等，這對於公司、部門甚至是個人而言，都會造成金錢以及時間上的影響和損失。
　　我們發現過往的文獻中，大多都只有在系統思考(System thinking)以及系統工程(System engineering)兩者之間提出轉換的方法或是流程，但是並沒有針對轉換前後的兩者進行驗證，有鑑於此，本文提出了一種全新的分法論，除了能夠將系統圖(Systemigram)轉換至系統建模語言圖(SysML diagram)，還能夠透過程序代數(Process Algebra)以數學的方式，驗證轉換前後是否具備觀察上的等價，提高轉換的成功率。
　　除此之外，我們透過案例實際詳細的展示每一個步驟的轉換過程，以及其中的規則，並且也驗證了本文所提出之方法論的可用性，透過本研究，我們提供系統建置相關人員遵循的解決方式，防止在轉換時出現問題。

In the field of modern system development, there are frequently differences in communication between users and developers. To put it another way, there is a gap between system design and system implementation. This will cause financial or time losses for companies, departments, and even individuals.
We noticed that most of the literature in the past only proposed conversion methods or processes between system thinking and system engineering. However, they did not verify the before and the after of the conversion. In the light of this, we propose a novel methodology in this paper. This methodology not only can convert Systemigram to SysML diagram, but also can use Process algebra to mathematically verify whether there is an observational equivalence between before and after of the conversion.
Additionally, we demonstrate the conversion process and the rules of each step and verified the usability of the methodology through the case study in the practical. Through this research, we provide a useful solution and prevent problems during system development.

論文審定書 i
誌謝 ii
摘要 iii
Abstract iv
TABLE OF CONTENTS v
LIST OF FIGURES vi
CHAPTER 1　Introduction 1
CHAPTER 2　Literature Review 5
2.1　Systemigram: Boardman Soft Systems Methodology 5
2.2　Process Algebra 7
2.3　Bisimulation 8
2.4　SysML 11
CHAPTER 3　Research Procedure 13
3.1　Framework of proposed methodology 13
3.2　Process Algebra 14
3.3　Proposed Methodology 16
CHAPTER 4　Case Study 26
CHAPTER 5　Conclusions 41
Reference 43

[1] 吳仁和, 物件導向系統分析與設計-結合MDA與UML, 六版 編者, 臺北: 元照, 2020.
[2] P. Checkland, "Soft systems methodology: A thirty year retrospective," Systems Research and Behavioral Science, pp. 11-58, Nov. 2000.
[3] P. Checkland and J. Scholes, Soft Systems Methodology in Action, Hoboken, NJ, USA: Wiley, 1999.
[4] J. Rosenhead, "Problem structuring methods," in Encyclopedia of operations research and management science, S. I. Gass and M. C. Fu, Eds., New York; London, Springer Verlag, 2013, pp. 1162-1172.
[5] J. T. Boardman, "A process model for unifying systems engineering and project," Engineering Management Journal, vol. 4, no. 1, pp. 22-35, 1994.
[6] J. T. Boardman, "Control in project management," IEE Colloquium on Generic Control Systems, pp. 19-32, Jun. 1990.
[7] J. Mehler and S. McGee, "Leveraging Systemigrams for Conceptual Analysis of Complex Systems: Application to the U.S. National Security System," 8th Conference on Systems Engineering Research, pp. 17-19, Mar. 2010.
[8] International Council on Systems Engineering (INCOSE), "Systems Engineering Vision 2020," Sep. 2007.
[9] R. Cloutier, "Advanced System and SoS Architecture Modeling & Assessment," Hoboken, NJ, USA, 2011.
[10] R. Cloutier, "An Introduction to the JET Special Issue of Journal of Enterprise Transformation: Enterprise Modeling," Journal of Enterprise Transformation, vol. 1, p. 4, 2011.
[11] S. Friedenthal, "OMG Systems Modeling Language (OMG SysML) Tutorial," INCOSE International Symposium, Orlando, 2009.
[12] Y. Grobshtein, V. Perelman and E. Safra, "Systems Modeling Languages: OPM Versus SysML," Proc. Int. Conf. Syst. Eng. Modeling, pp. 102-109, Mar. 2007.
[13] 黃宇立, “基於程序代數驗證系統圖與SysML模型間的觀察一致性,” 國立中山大學資管所碩士論文, 2020.
[14] R. Cloutier, B. Sauser, M. Bone and A. Taylor, "Transitioning Systems Thinking to Model-Based Systems Engineering: Systemigrams to SysML Models," IEEE Trans. On Systems and Cybernetics, vol. 45, no. 4, pp. 662-674, 2015.
[15] J. T. Boardman 且 B. Sauser, Systems Thinking: Coping with 21st Century Problems, Boca Raton, FL, USA: CRC Press, 2008.
[16] J. T. Boardman 且 B. Sauser, Systemic Thinking: Building Maps for Worlds of Systems, Hoboken, NJ, USA: Wiley, 2013.
[17] B. M. H. Jennifer L. Bayuk, "An architectural systems engineering methodology for addressing cyber security," Systems Engineering, vol. 14, no. 3, pp. 294-304, 2011.
[18] J. Baeten, "A brief history of process algebra," Theoretical Computer Science, pp. 131-146, 2005.
[19] W. Fokkink, Introduction to Process Algebra, 2nd ed., Berlin: Springer Verlag, 2007.
[20] R. Milner, Communicating and mobile systems: the pi calculus, Cambridge: Cambridge University Press, 1999.
[21] OMG, “OMG Systems Modeling Language,” 於 OMG Document Formal/07-09-01, Needham , MA, Sep. 2009.
[22] F. Sanford, M. Alan and S. Rick, A Practical Guide to SysML: The Systems Modeling Language, 2 ed., 2011.