臺灣博碩士論文加值系統

在統一塑模語言2 (UML 2.0)裡，活動圖(Activity Diagram) 以派翠網路(Petri nets)為基礎被重整為更有效的模組語言，它不再是UML裡狀態圖(Statechart Diagram)的一個特例，而可以在需求分析上有更大應用的範圍。活動圖不再只是被用來當流程圖而已，在UML 2.0裡，它新增加了許多符號來增強表現的方式，包含物件流程、訊號處理、以及一些工作產出物，但是它卻仍少了正規化的定義。在越來越複雜的需求工程裡，利用活動圖模組可能仍會有一些隱含在各個活動圖裡且難以發掘的問題。正規化使得活動圖能偵測出系統執行時可能產生的碰撞或矛盾等問題，而且正規化的模型亦能支援系統化分析的機制。換句話說，正規化的活動圖也同樣地影響需求之後的分析設計階段內元素的連結。雖然目前已經有許多針對需求與活動圖間的研究，但他們都不是以UML 2.0為基礎的，並且沒有提供完整的解決方法。因此本論文提出了一個活動圖的正規化模型，並且用這個模型來表現出如何更有效地使用UML 2.0的活動圖。

In UML2.0, the activity diagram is reengineered based on Petri Nets, it is not only the flow chart, but also has the token to represent the flow of control, object, and some data. This makes it useful in modeling and analyzing in the requirement phase. However, the activity diagram in UML2.0 is still lack of the formal semantics. Formalization of activity diagram provides the ability of system execution flow collision checking, execution flow ambiguous detection, user execution scenario generation, and so on. Moreover, formal model also supports systematic analysis mechanism. Although there are some articles discussed this problem, but all of them did not base on the last UML2.0 standard and did not provide a complete solution. This paper provides an activity diagram formalization model and uses this model to exhibit how to optimize the instance of activity diagram.

Abstract I
中文摘要 II
Contents III
Figures IV
Tables V
1. Introduction 1
2. Background 3
2.1. Petri Nets (P/T nets) 3
2.2. Coloured Petri Net (CPN) 5
2.3 Object Petri Net (OPN) 9
2.4. Activity Diagrams in UML 2.0 11
2.4.1. Concept of Activity Diagrams 11
2.4.2. An Activity Diagram 11
2.4.3. Activity nodes 12
2.4.3.1. Action nodes 12
2.4.3.2. Control nodes 13
2.4.3.3. Object nodes 14
2.4.3.4. Edges and conditions 15
2.5. Sorts of Petri nets Transformation 16
3. Formalization 18
3.1. Object Petri Net Model 19
3.2. Activity Diagram Model 21
3.3. Transfer activity diagrams to OPN 23
4. Case Study and Verification 27
4.1. Business process example 27
5. Implementation 31
5.1. Petri Net Markup Language (PNML) 31
5.2. Example 34
6. Conclusion and Future Work 36
References 37

[1]R.S. Pressman, Software Engineering: A Practitioner's Approach, McGraw Hill, 2005.
[2] Giovanni Guida and Gianfranco Lamperti, “AMMETH: A Methodology for Requirements Analysis of Advanced Human-System Interfaces”, IEEE Transactions on system, man, and cybernetics, vol. 30, no. 3, May 2000
[3] Walling R. Cyre, “Capture, Integration, and Analysis of Digital System Requirements with Conceptual Graphs”, IEEE Transactions on knowledge and data engineering, vol. 9, no. 1, Jan.-Feb. 1997
[4] J. Arlow and I. Neustadt, UML 2 and the Unified Process Second Edition Practical Object-Oriented Analysis and Design, Addison-Wesley, 2005
[5] Object Management Group (OMG), “Unified Modeling Language: Superstructure version 2.0”, version 2.0, available at http://www.omg.org, 2005.
[6] C. Heitmeyer, R. Jeffords, and B. Labaw, “Automated Consistency Checking of Requirements Specificatons”, ACM Transactions on Software Engineering and Methodology, vol. 5, no. 3, pp. 231-261, Jul. 1996.
[7] A.P. Felty and K.S. Namjoshi, “Feature specification and automated conflict detection,” ACM Transactions on Software Engineering and Methodology, vol. 12, no. 1, pp. 3–27, Jan. 2003.
[8] C. Nentwich, W. Emmerich, A. Finkelstein, and E. Ellmer, “Flexible consistency checking,” ACM Transactions on Software Engineering and Methodology, vol. 12, no. 1, pp. 28–63, Jan. 2003.
[9] L.C. Briand, Y. Labiche, L. O'Sullivan, and M. Sowka, “Automated impact analysis of UML models,” J. Systems and Software, 2005.
[10] R. Eshuis and R. Wieringa, “Tool Support for Verifying UML Activity Diagrams,” IEEE Transactions on Software Engineering, vol. 30, no.7, Jul. 2004.
[11] J. Bhattacharyya, A.R. Chaudhuri, and S. Bhattacharya, “A formal approach towards systems modeling and verification,” Proceedings of the TENCON, vol. 1, pp. 178-182, Oct. 2003.
[12] Object Petri Nets http://www.llpn.com/OPNs.html
[13] T. Muraya, “Petri nets: Properties, analysis and applications,” Proceedings of the IEEE, vol. 77, no. 4, pp. 541-580, 1989
[14] K. Jensen, Coloured Petri Nets, vol 1: Basic Concepts, Springer-Verlag 1992.
[15]Z. Hu and S. M. Shatz, “A Transformation Approach for Modeling and Analysis of Complex UML Statecharts: A Case Study ,” Proceedings of the UMSS, Jun. 2005.
[16] J.A. Saldhana and S.M. Shatz, “UML Diagrams to Object Petri Net Models: An Approach for Modeling and Analysis,” Proceedings of the SEKE, pp. 103-110, Jul. 2000.
[17] T. Miyamoto and S. Kumagai, “A Survey of Object-Oriented Petri Nets and Analysis Methods,” Proceedings of the IEICE Transactions Fundamentals, vol. E88-A, no. 11, Nov. 2005.
[18] Y.K. Lee and S.J. Park, “OPNets: An Object-Oriented High-Level Petri Net Model for Real-Time System Modeling,” J. Systems and Software, no. 20, pp.69-86, 1993.
[19] H. Storrle, “Semantics and Verification of Data Flow in UML 2.0 Activities,” Proceedings of Electronic Notes in Theoretical Computer Science, pp. 35–52, 2005.
[20] D. Dearman, A. Cox and M. Fisher, “Adding control-flow to a visual data-flow representation,” Proceedings of the 13th International Workshop on Program Comprehension, pp. 297-306, 2005.
[21] W.J. Lee, S.D. Cha and Y.R. Kwon, “Integration and analysis of use cases using modular Petri nets in requirements engineering,” IEEE Transactions on Software Engineering, vol. 24, no. 12, pp. 1115-1130, Dec. 1998.
[22] Berndt Farwer and Mauricio Varea, “Object-based Control/Data-flow analysis,” Declarative System and Software Engineering Group Technical Report DSSE-TR-2005-1, Mar. 2005.
[23] M.Varea, B. M. Al-Hashimi, L. A. Cortés, P. Eles, and Z. Peng, “Dual Flow Nets: Modelling the Control/Data-Flow Relationship in Embedded Systems,” ACM Transactions on Embedded Computing Sysytems, (accepted for publication).
[24] R. Valk, “Petri nets as token objects-An introduction to elementary object nets,” Proceedings of the LNCS 1420, pp.1-24, 1998.
[25] Petri Net Markup Language. http://www.informatik.huberlin.de/top/pnml/
[26]J. Clark and M. Murata (eds.). RELAX NG specification. http://www.oasis-open.org/committees/relax-ng/
[27] O.kummer, F.Wienberg, and M. Duvigneau. RENEW-The reference net workshop http:// www.renew.de.