臺灣博碩士論文加值系統

近年來，隨著軟體專案的規模越來越龐大且複雜度不斷增加，軟體工程的觀念已逐漸的為各界所重視。面對專案開發的過程中，許多一再重複出現的問題，若能以既有的成功經驗應對這些問題，對於軟體專案的開發效率與正確性必能有相當大的助益；也因為如此，如何在軟體開發過程中，妥善地導入設計模式（Design Patterns）的應用，已成為一個被廣泛討論的議題。

如今，設計模式在軟體開發中的地位已然確立，協力開發工具也已不至匱乏。然而，設計模式在應用上，卻仍缺少一套完整的驗證機制。開發者無法在開發過程中，檢驗目前的程式與其選用的設計模式之間的差異性。為此，本論文出一套驗證流程，首先以XML為基礎的定義形式，將設計模式的結構與行為部份分別定義，再以此XML文件轉換至派翠網路進行驗證。藉由派翠網路的特性，檢驗出程式與選用之設計模式之間的差異之處，以供之後進行修正與維護。

Recently, Design Patterns are more and more important in software development. As the increment of software projects complexity and multiplicity, we need to improve the reusability of software development on facing challenges. Design Patterns, a general repeatable solution, may be the good way to solve the commonly-occurring design problems by early success experiences.

However, how to know the Design Pattern that developer chosen would be correct when system developing? The Verification of Design Patterns could be a new problem.

In the research, we propose an approach to Verification of Design Patterns, including structure and behavior parts. First, the formal definition of Design Patterns is built in XML-based descriptions. Second, we transform these XML-based documents to Petri Nets elements. As a result, we can verify the correctness of Design Patterns by using Petri Nets abilities.

目錄 I
圖目錄 III
表目錄 IV
第一章 導論 1
1.1 前言 1
1.2 研究動機與目的 2
1.3 章節安排 4
第二章 背景與相關研究 5
2.1 Petri Nets 5
2.2 Extensible Markup Language (XML) 9
第三章 研究理論方法 12
3.1 主要系統流程簡介 12
3.2 系統流程元件介紹說明 13
3.2.1 Program Source Code Description（PSCD） 14
3.2.2 Chosen Design Pattern Description（CDPD） 17
3.2.3 Pattern-transformation Petri Net（PPN） 20
3.2.4 Design Pattern Transformation Algorithms（DPTA） 23
3.2.5 Verification Specification 25
3.3 驗證程序方法 26
3.3.1 設計模式結構部份驗證 27
3.3.2 設計模式行為部份驗證 29
第四章 案例研究 31
第五章 結論與未來發展 41
參考文獻 43

[1]J. Dong, P. S. C. Alencar, and D. D. Cowan, “A Behavioral Analysis and Verification Approach to Pattern-Based Design Composition,” the International Journal of Software and Systems Modeling, Springer-Verlag, vol. 3, no. 4, Dec. 2004, pp. 262-272.

[2]G. Antoniol, G. Casazza, M. Di Penta, and R. Fiutem, "Object-oriented design patterns recovery," Journal of Systems and Software, no. 59, pp. 181--196, 2001.

[3]E. Gamma, R. Helm, R. Johnson, and J. Vlissides, “Design Patterns: Elements of Reusable Object- Oriented Software”, Addison-Wesley, 1995.

[4]Heyuan Huang , Shensheng Zhang , Jian Cao , Yonghong Duan, ”A practical pattern recovery approach based on both structural and behavioral analysis,” Journal of Systems and Software, v.75 n.1-2, p.69-87, 15 February 2005.

[5]R. B. France, D. K. Kim, S. Ghosh, and E. Song, "A UML-Based Pattern Specification Technique," IEEE Transactions on Software Engineering, vol. 30, no. 3, pp. 193-206, Mar. 2004.

[6]Toufik Taibi, David Check Ling Ngo, “Formal Specification of DesignPatterns – A Balanced Approach,” Journal of Object Technology, vol. 2, no. 4, July-August 2003, pp. 127-140.

[7]Chun-Che Huanga, Wen Yau Liang, “Object-oriented development of the embedded system based on Petri-nets,” Journal of Computer Standards and Interfaces, Vol. 26, Issue: 3, May, 2004, pp. 187-203

[8]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.

[9]T. Muraya, “Petri nets: Properties, analysis and applications,” Proceedings of the IEEE, Vol. 77, No. 4, pp. 541-580, 1989

[10]蔡祁名, “轉換時間圖至物件導向時間派翠網路以進行時間性驗證,” 東海大學資訊工程與科學所碩士論文, 2005.

[11]C.W. Chu, C.H. Chang, C.W. Lu, D.L. Yang and W.D. Lian, “Integrating diverse paradigms in evolution and maintenance by an XML-based unified model,” Journal of Software Maintenance and Evolution: Research and Practice, Vol. 15, No. 3, May-June 2003, pp. 111-144.

[12]J.N. Chen and Y.M. Huang, "Applying Dynamic Fuzzy Petri Net to Web Learning System", Journal of Interactive Learning Environments, Vol. 13, No. 3, pp159-178 December 2005.

[13]Available http://xml.coverpages.org/ni2003-01-23-b.html

[14]Available http://www.omg.org

[15] Bill Dudney, Stephen Asbury, Joseph Krozak, Kevin Wittkopf,” J2EE AntiPatterns,” John Wiley, 2003.