Responsive image
博碩士論文 etd-0615120-202813 詳細資訊
Title page for etd-0615120-202813
論文名稱
Title
基於程序代數驗證系統圖與SysML模型間的觀察一致性
Verifying the Observation Equivalence Between the Systemigram and the SysML Model based on process algebra
系所名稱
Department
畢業學年期
Year, semester
語文別
Language
學位類別
Degree
頁數
Number of pages
41
研究生
Author
指導教授
Advisor
召集委員
Convenor
口試委員
Advisory Committee
口試日期
Date of Exam
2020-07-07
繳交日期
Date of Submission
2020-07-15
關鍵字
Keywords
程序代數、系統建模語言、系統圖、互模擬、觀察一致性
systemigram, sysml, bisimulation, observational congruence, process algebra
統計
Statistics
本論文已被瀏覽 6004 次,被下載 73
The thesis/dissertation has been browsed 6004 times, has been downloaded 73 times.
中文摘要
本研究設計一套方法,並運用程序代數之架構,轉換系統圖至系統建模語言圖,並且運用程序代數之方法,驗證系統圖與系統建模語言圖的觀察一致性。
Abstract
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.
目次 Table of Contents
論文審定書 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
參考文獻 References
[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.
電子全文 Fulltext
本電子全文僅授權使用者為學術研究之目的,進行個人非營利性質之檢索、閱讀、列印。請遵守中華民國著作權法之相關規定,切勿任意重製、散佈、改作、轉貼、播送,以免觸法。
論文使用權限 Thesis access permission:校內校外完全公開 unrestricted
開放時間 Available:
校內 Campus: 已公開 available
校外 Off-campus: 已公開 available


紙本論文 Printed copies
紙本論文的公開資訊在102學年度以後相對較為完整。如果需要查詢101學年度以前的紙本論文公開資訊,請聯繫圖資處紙本論文服務櫃台。如有不便之處敬請見諒。
開放時間 available 已公開 available

QR Code