整合統一模式語言與派翠網路以作為系統之模組化及分析; Integrating UML and Petri Nets for System Modeling and Analysis

NCU Institutional Repository > 資訊電機學院 > 資訊工程研究所 > 博碩士論文 > Item 987654321/8443

請使用永久網址來引用或連結此文件: http://ir.lib.ncu.edu.tw/handle/987654321/8443

題名:	整合統一模式語言與派翠網路以作為系統之模組化及分析;Integrating UML and Petri Nets for System Modeling and Analysis
作者:	曾成傑;Cheng-Chieh Tseng
貢獻者:	資訊工程研究所
關鍵詞:	模式化;統一模式語言;派翠網路;分析;modeling;Unified Modeling Language;Petri nets;analysis
日期:	2000-07-05
上傳時間:	2009-09-22 11:27:07 (UTC+8)
出版者:	國立中央大學圖書館
摘要:	在本論文中，我們報告了一個整合統一模式語言(UML)和派翠網路(Petri Nets)的方法，此方法主要的目的是去作系統的模式化和分析，在系統模式化方面，我們一開始利用使用案例圖(Use Case Diagrams)去模式化系統需求，然後從使用案例圖依序推導出循序圖、類別圖、活動圖和狀態圖，接著我們再將使用案例圖、循序圖、類別圖、活動圖和狀態圖個別轉成傳統派翠網路、時序派翠網路、彩色派翠網路、傳統派翠網路和階層彩色派翠網路。系統分析方面，我們利用了許多知名的派翠網路來分析系統性質，諸如，可達性(reachability)、保存性(conservativeness)、存在性(liveness)等以及時序性質，諸如，必然性(eventually)、經常性(henceforth)、直到性(until)等，倘若我們發現某些性質派翠網路不能滿足，我們直接在派翠網路作修改。此修改動作一直持續到該派翠網路可以滿足那些性質，然後我們再把派翠網路轉回到統一模式語言的圖，接著再繼續進行下一個階段的統一模式語言的模式化。最後我們根據以上的理論，利用Java語言，實作出了一套工具，叫做NCUPN (National Central University Petri Net toolkit)，可以用來描敘和驗證派翠網路的性質，我們的NCUPN也是可以透過網址http://ncupn.csie.ncu.edu.tw來取得。 In this paper, we present our approach of integrating UML and Petri nets for system modeling and analysis. We begin with a system modeling by utilizing UML use case diagrams to model system requirements, and derive sequence, class, activity, and statechart diagrams from the use case diagrams. We then transform the use case, sequence, class, activity, and statechart diagrams into classical Petri nets, time Petri nets, Coloured Petri nets, classical Petri nets, and hierarchical Coloured Petri nets, respectively. For system analysis, we utilize many well-known Petri nets method for analyzing system properties, such as reachability, conservativeness, liveness, etc and temporal properties, such as eventually, henceforth, until etc. In case we found properties are not satisfied, we make modification directly on the Petri nets. The modification continues until the modified Petri nets can satisfy the specified properties. We then transform the Petri nets back to UML diagrams and proceed with later phases of UML modeling. Finally, according to the above theory, we implement a toolkit called NCUPN (National Central University Petri Net toolkit) in Java for specifying and verifying Petri net properties. NCUPN is available via http://ncupn.csie.ncu.edu.tw.
顯示於類別:	[資訊工程研究所] 博碩士論文

文件中的檔案:

檔案	大小	格式	瀏覽次數

在NCUIR中所有的資料項目都受到原著作權保護.

社群 sharing

資料載入中.....