Responsive image
博碩士論文 etd-0522121-132310 詳細資訊
Title page for etd-0522121-132310
論文名稱
Title
基於程序代數驗證系統圖與 SysML 模型間的資訊一致性
Verifying information consistency between the systemigram and the SysML model based on process algebra
系所名稱
Department
畢業學年期
Year, semester
語文別
Language
學位類別
Degree
頁數
Number of pages
52
研究生
Author
指導教授
Advisor
召集委員
Convenor
口試委員
Advisory Committee
口試日期
Date of Exam
2021-06-21
繳交日期
Date of Submission
2021-06-22
關鍵字
Keywords
系統圖、系統建模語言、程序代數、互模擬、觀察等價
Systemigram, SysML, Process algebra, Bisimulation, Observational equivalence
統計
Statistics
本論文已被瀏覽 508 次,被下載 99
The thesis/dissertation has been browsed 508 times, has been downloaded 99 times.
中文摘要
  在現今許多系統開發時,系統的利益相關者與開發者之間經常會產生溝通上的差異,也就是在系統設計和系統實作之間產生落差或不對等,這對於公司、部門甚至是個人而言,都會造成金錢以及時間上的影響和損失。
  我們發現過往的文獻中,大多都只有在系統思考(System thinking)以及系統工程(System engineering)兩者之間提出轉換的方法或是流程,但是並沒有針對轉換前後的兩者進行驗證,有鑑於此,本文提出了一種全新的分法論,除了能夠將系統圖(Systemigram)轉換至系統建模語言圖(SysML diagram),還能夠透過程序代數(Process Algebra)以數學的方式,驗證轉換前後是否具備觀察上的等價,提高轉換的成功率。
  除此之外,我們透過案例實際詳細的展示每一個步驟的轉換過程,以及其中的規則,並且也驗證了本文所提出之方法論的可用性,透過本研究,我們提供系統建置相關人員遵循的解決方式,防止在轉換時出現問題。
Abstract
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.
目次 Table of Contents
論文審定書 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
參考文獻 References
[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.
電子全文 Fulltext
本電子全文僅授權使用者為學術研究之目的,進行個人非營利性質之檢索、閱讀、列印。請遵守中華民國著作權法之相關規定,切勿任意重製、散佈、改作、轉貼、播送,以免觸法。
論文使用權限 Thesis access permission:校內校外完全公開 unrestricted
開放時間 Available:
校內 Campus: 已公開 available
校外 Off-campus: 已公開 available


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

QR Code