臺灣博碩士論文加值系統

在系統發展中，時間因素是開發人員相當注重的特性之一，特別是在今天有著越來越多的即時性系統充斥在我們的生活之中，為此，在UML 2.0中，OMG(Object Management Group)新增了時間圖(Timing Diagram)此一新圖形，讓開發人員能針對時間做進一步的描述，但UML為一塑模工具(Modeling language)，並沒有提供進行分析驗證的相關方法，因此，開發人員在使用時間圖塑模時難以察覺其中隱含的錯誤。
在驗證方面，派翠網路(Petri Net)相關的各項技術由於多年來有不少學者研究出針對各種不同的領域的驗證技術，已有些學者的研究是利用UML之塑模後模型配合派翠網路之各項特性以進行分析。
在本論文的著重點為UML 2.0新增之時間圖，為此，我們提出一轉換時間圖至物件導向時間派翠網路(Object-Oriented Petri Nets)之機制，包含對時間圖、物件導向時間派翠網路之正規化規格及轉換規則，再轉換後利用派翠網路之各種分析能力對時間特性進行分析驗證，在本論文使用之範例為一簡單的行動通訊裝置與基地台之互動，經時間圖轉換至物件導向時間派翠網路後進行可達性分析(Reachability Analysis)，以驗證需求規格制定是否正確。

In system software development, time is a very important factor to the quality of the systems. Especailly there are more and more real time systems and embedded systems around people. Therefore, in UML 2.0 standard, OMG developed a new diagram called timing diagram which is used to described timing properties and interaction between objects.

However, UML is a modeling language, it doesn't provide the technique to analyze and verify. For this reason, developers use timing diagram to describe the time properties but hard to know if there has some mistakes in timing diagram.

The techniques of Petri nets are researched for years, and there are various analysis techniques to different domain. Some scholars’ research is to analyze the UML model by Petri net's analyzing properties.

The focus of this thesis is on timing diagram. For this reason, we propose a mechanism to transform timing diagram to object-oriented time Petri net, it includes the specification of the timing diagram, the specification of the object-oriented time Petri net, and the transformation rules. After transforming, we utilize the analyzing
abilities of Petri net to verify the timing properties. The example of this thesis is use the reachability analysis of Petri net to verify the correctness of the requirement.

目錄
圖目錄
第 1 章 序論
1.1 研究動機與目的
1.2 章節安排
第 2 章 背景知識及相關研究
2.1 時間圖
2.2 派翠網路
2.3 物件導向派翠網路
2.4 時間派翠網路
第 3 章 轉換規則
3.1 本論文之方法流程
3.2 時間圖規格
3.3 物件導向時間派翠網路規格
3.4 轉換規則
第 4 章 範例及應用
4.1 圖形轉換範例
4.2 應用範例
第 5 章 結論與未來方向
參考文獻

[1]Chang-Pin Lin, Yi-Pin Lin, Min Der Jeng, “Design of intelligent manufacturing systems by using UML and Petri net,” 2004 IEEE International Conference on Networking, Sensing and Control, vol1, pp. 501-506, 2004.
[2]Chun-Che Huang and Wen Yau Liang, “Object-oriented development of the embedded system based on Petri-Nets,” Computer Standards & Interfaces 26, pp 187-203, 2004
[3]Jin-Shyan Le, Pau-Lo Hsu, “Design and implementation of the SNMP agents for remote monitoring and control via UML and Petri nets,” IEEE Transactions on Control Systems Technology, vol.12, no. 2, pp. 293-302, 2004.
[4]Martin Flower, “UML Distilled third edition,” Addison Wesley, 2003.
[5]Object Management Group, “UML 2.0 Superstructure Final Adopted specification,” 2003, document number: ptc/03-08-02.
[6]Object Management Group, “UML 2.0 Infrastructure Final Adopted specification,” 2003, document number: ptc/03-08-02.
[7]Jo I Chen, “Apply Object-Oriented Concept and Petri Net into the development of the embedded system,” A master’s dissertation of information management, Da-Yeh University, Taiwan, 2000.
[8]Jose Marcelino Arrozal Nicdao, “Fundamental Structures in Petri Nets,” A master’s dissertation, National Cheng Chi University, Taiwan, 2000.
[9]J. Wang, Y. Deng and G. Xu., “Reachability analysis of real-time systems using time Petri nets,” IEEE Transactions on Systems, Man and Cybernetics- Part B., Vol. 30, no. 5, pp. 725-736, 2000.
[10]Denis Mukhin, and Boleslaw Mikolajczak, “ A Method of Concurrent Object-oriented Design Using High-Level Petri Nets,” IEEE International Conference, Vol. 1, pp. 295-300, 1998.
[11]Dar-Chin Rau, Chien-Yun Dai and Ching-Wen Chiou, “ An Object Oriented Petri Nets to Construct Prototype of Hypermedia System,” Proceeding, IASTED International Conference Applied Informatics, Austria, February 21-23, 1995.
[12]Zurawski, R. and MengChu Zhou, “Petri nets and industrial applications: A tutorial,” IEEE Transactions on Industrial Electronics, Vol. 41 , no. 6, pp. 567-583, 1994
[13]Wang, L, and Chang Y. J., “The Development of and Object-oriented Petri Net Model,” Working paper W06/93, Department of Industrial Engineering, Tunghai University.
[14]Y.K. Lee and S.J. Park, “OPNets: an object-oriented high level Petri net model for real-time system modeling,” Journal of Systems Software 20, pp. 69-86, 1993.
[15]David Rene and Alla Hassane, “Petri Nets and Grafcet,” Prentice Hall,1992.
[16] B. Berthomieu and M. Diaz, “Modeling and verification of time dependent systems using time Petri Nets,” IEEE transaction on Software Engineering, vol. 17, no. 3, pp. 259-273, 1991
[17]C. Sibertin-Blane, R. Bastide, “Object-Oriented Structure for High Level Petri Nets,” 11th Conference of Application and Theory of Petri Nets, Toulouse, France, 1990.
[18]T. Muraya, “Petri nets: Properties, analysis and applications,” Proceedings of the IEEE, Vol. 77, No. 4, pp. 541-580, 1989
[19]J.L. Peterson, “Petri Net Theory and the Modeling of Systems,” Prentice-Hall, Englewood Cliffs, N. J., 1981.
[20]P. M. Merlin and D. J. Farber, “Recoverability of Communication Protocols -
Implications of a Theoretical Study,” IEEE Trans. on Communications, vol. 24,
no. 9, pp. 1036–1043, 1976.
[21]C. A. Petri, “Kommunikation mit Automaten,” A Ph.D. dissertation, University of Bonn, Bonn, 1962.
[22]Borland, http://www.borland.com.tw/
[23]Petri Nets Worlds, http://www.informatik.uni-hamburg.de/TGI/PetriNets/
[24]劉儒斌, 以時間派翠網路進行RosettaNet PIPs之死結驗證, 暨南大學資訊管理研究所碩士論文, 2002.
[25]林木盛, 個體式派曲網路做系統發展方法, 師範大學工業教育研究所碩士論文,1993.