本研究設計一套方法，並運用程序代數之架構，轉換系統圖至系統建模語言圖，並且運用程序代數之方法，驗證系統圖與系統建模語言圖的觀察一致性。

This study designs a methodology which converts systemigram to systems modeling language (SysML) by using the structure of process algebra and verifies the observational congruence between systemigram and SysML by using the method of process algebra.

論文審定書 i
摘要 ii
Abstract iii
圖目錄 iv
第一章 緒論 1
第一節 研究背景 1
第二節 研究動機 2
第三節 研究目的 2
第二章 文獻探討 3
第一節 SYSML 3
第二節 程序代數（process algebra） 4
第三節 互模擬（Bisimulation） 5
第四節 Transitioning Systems Thinking to Model-Based Systems Engineering: Systemigrams to SysML Models 7
第五節 Bridging the gap between requirements and design: An approach based on Problem Frames and SysML 8
第三章 研究成果 10
第一節 研究架構 10
第二節 程序代數介紹 11
第三節 研究步驟介紹 14
第四章 研究案例 20
第一節 研究案例介紹 20
第五章 結論 34
參考文獻 35

[1] P. Senge (1990).The Fifth Discipline: The Art & Practice of the Learning Organization.
[2] David Kleidermacher, Mike Kleidermacher (2012).Embedded Systems Security.
[3] The Object Management Group® (2018).OMG Systems Modeling Language (OMG SysML™) Version 1.6.
[4] J. C. M. Baeten (2005). A brief history of process algebra.
[5] Robin Milner (1999). Communicating and Mobile Systems: The Pi-Calculus.
[6] Robert Cloutier , Brian Sauser , Mary Bone , Andrew Taylor (2014). Transitioning Systems Thinking to Model-Based Systems Engineering: Systemigrams to SysML Models. IEEE Transactions on Systems, Man, and Cybernetics: Systems (Volume: 45 , Issue: 4 , April 2015) , 662 – 674.
[7] Pietro Colombo , Ferhat Khendek , Luigi Lavazza (2012). Bridging the gap between requirements and design: An approach based on Problem Frames and SysML. Journal of Systems and Software (Volume 85, Issue 3 , March 2012) , 717-745.