Applying Associative Petri Net to Enhance the Activity Diagram of UML and Its Applications

• Main Authors: Shih-Hao Chou, 周士皓
• Other Authors: Hsiu-Sen Chiang
• Format: Others
• Language: zh-TW
• Published: 2010
• Online Access: http://ndltd.ncl.edu.tw/handle/79356615331592404143

碩士 === 大葉大學 === 資訊管理學系碩士班 === 98 === Unified Modeling Language (UML) is the Object Management Group (OMG) standard notation for object-oriented modeling and software engineering. In early software development, the UML Activity Diagram (AD) is widely used to describe system, analysis workflow and dataflow for system evaluation, analysis and planning. However, the AD lacks support for simulation, dynamic semantics limits and verifiability capabilities. Petri net (PN) is a popular technique for modeling the control flow dimension of workflows. Associative Petri net (APN) not only take all the advantages of PN but also has a complete semantics, simulation and verifiability capabilities. Therefore, in this paper, we propose a methodology to map ADs into APNs. This work can enhance the simulation and verifiability capabilities of the AD and provides the systematic procedure to reduce complexity of translating activity diagrams into an APN. Reachability tree and ncidence matrix and state equation are powerful for checking many qualitative properties of PN such as reachability, safeness and boundedness. After the transformation, they are adopted to verify those properties of APN. Finally, an example of online ordering and paying procedure is used to explain and illustrate our provide methodology.