English  |  正體中文  |  简体中文  |  Items with full text/Total items : 75533/75533 (100%)
Visitors : 27360356      Online Users : 221
RC Version 7.0 © Powered By DSPACE, MIT. Enhanced by NTU Library IR team.
Scope Tips:
  • please add "double quotation mark" for query phrases to get precise results
  • please goto advance search for comprehansive author search
  • Adv. Search
    HomeLoginUploadHelpAboutAdminister Goto mobile version

    Please use this identifier to cite or link to this item: http://ir.lib.ncu.edu.tw/handle/987654321/8443

    Title: 整合統一模式語言與派翠網路以作為系統之模組化及分析;Integrating UML and Petri Nets for System Modeling and Analysis
    Authors: 曾成傑;Cheng-Chieh Tseng
    Contributors: 資訊工程研究所
    Keywords: 模式化;統一模式語言;派翠網路;分析;modeling;Unified Modeling Language;Petri nets;analysis
    Date: 2000-07-05
    Issue Date: 2009-09-22 11:27:07 (UTC+8)
    Publisher: 國立中央大學圖書館
    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來取得。 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.
    Appears in Collections:[資訊工程研究所] 博碩士論文

    Files in This Item:

    File SizeFormat

    All items in NCUIR are protected by copyright, with all rights reserved.

    社群 sharing

    ::: Copyright National Central University. | 國立中央大學圖書館版權所有 | 收藏本站 | 設為首頁 | 最佳瀏覽畫面: 1024*768 | 建站日期:8-24-2009 :::
    DSpace Software Copyright © 2002-2004  MIT &  Hewlett-Packard  /   Enhanced by   NTU Library IR team Copyright ©   - 隱私權政策聲明