DC 欄位 值 語言 DC.contributor 資訊工程學系 zh_TW DC.creator 曾成傑 zh_TW DC.creator Cheng-Chieh Tseng en_US dc.date.accessioned 2000-7-5T07:39:07Z dc.date.available 2000-7-5T07:39:07Z dc.date.issued 2000 dc.identifier.uri http://ir.lib.ncu.edu.tw:444/thesis/view_etd.asp?URN=87325021 dc.contributor.department 資訊工程學系 zh_TW DC.description 國立中央大學 zh_TW DC.description National Central University en_US dc.description.abstract 在本論文中，我們報告了一個整合統一模式語言(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來取得。 zh_TW dc.description.abstract 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. en_US DC.subject 模式化 zh_TW DC.subject 統一模式語言 zh_TW DC.subject 派翠網路 zh_TW DC.subject 分析 zh_TW DC.subject modeling en_US DC.subject Unified Modeling Language en_US DC.subject Petri nets en_US DC.subject analysis en_US DC.title 整合統一模式語言與派翠網路以作為系統之模組化及分析 zh_TW dc.language.iso zh-TW zh-TW DC.title Integrating UML and Petri Nets for System Modeling and Analysis en_US DC.type 博碩士論文 zh_TW DC.type thesis en_US DC.publisher National Central University en_US