現今統一塑模語言已經成為物件導向系統分析與設計的一種標準塑模語言，在過去幾年綜合統一塑模語言、模型驅動架構、設計樣式及電腦輔助軟體工程工具以提高軟體發展生產力的努力已經有了相當的成果，以物件限制語言作為設計樣式規格描述已經成為本領域的趨勢。本論文以研究物件限制語言的表示法及設計樣式分類並提出以物件限制語言和統一塑模語言進行設計模式的與平台無關模型塑模、再轉換成與平台有關模型及程式碼模型的方法。最後以一個使用了整合技術和電腦輔助軟體工程工具的實例來呈現相關的概念、應用和使用所提出的方法的優勢。經由實例的說明，讓系統開發者能自動地將與平台無關模型轉換成程式碼，藉此來提昇系統開發的效率及可再利用性。

Today, unified modeling language (UML) has become a standard modeling language in object-oriented systems analysis and design. Over the past few years a considerable effort has been made in synthesizing UML, MDA (model driven architecture), design patterns and CASE tool to increase the productivity of the system development. Specifying the design patterns with object constraint language (OCL) has become a main trend in this area. This study classifies the OCL expressions and design patterns and presents a method to specify each design pattern with the OCL and UML when modeling the platform independent model which can then be transformed into the platform dependent model, and to a code model. A real-world case using the integrated techniques is presented and a CASE tool is used to illustrate the concepts, application, and the advantages of using the proposed approach. With this approach, the system developer can transform PIM into code automatically and thereby enhance the efficiency and reusability of system development.

第一章 緒論 1
第一節 研究背景與動機 1
第二節 研究目的 1
第三節 研究範圍與限制 2
第四節 研究方法與步驟 2
第五節 論文架構 3
第二章 文獻探討 5
第一節 MDA模型驅動架構 5
第二節 UML統一塑模語言 7
第三節 OCL物件限制語言 10
第四節 Design Pattern設計樣式 21
第三章 使用OCL來表達設計樣式的內容 31
第一節 設計樣式需求塑模 32
第二節 以OCL描述設計樣式的靜態結構 33
第三節 以OCL描述設計樣式的動態結構 36
第四節 將OCL轉換成Java程式碼 40
第四章 應用個案實作 45
第一節 Observer設計樣式需求塑模 45
第二節 以OCL描述Observer設計樣式的靜態結構 53
第三節 以OCL描述Observer設計樣式的動態結構 56
第四節 將OCL轉換成Java程式碼 59
第五節 系統評估與分析 69
第五章 結論 71
第一節 研究成果 71
第二節 研究貢獻 71
第三節 未來研究方向 72
參考文獻 73
中文部份 73
英文部份 74

中文部份
王傑民，「UML分析資訊系統以建構再使用軟體元件之研究與製作─以鞋業B2B系統為例」，國立台北科技大學生產系統工程與管理研究所碩士論文，2001年6月。
朱子傑譯，Hans-Erik Eriksson, Magnus Penker 作，UML2 百寶箱，?眳p資訊，臺北，2005年2月。
吳仁和，物件導向系統分析與設計-結合MDA與UML，二版，智勝文化，臺北，2007年。
李于青譯，戶松 豐和著，Java2物件導向技術專題，博碩文化，台北，2002年。
陳鴻明，「元件塑模方法論：一個植基於UML的方法」，國立中山大學資管系碩士論文，2003年6月。
黃彥結，「類別圖轉關聯表與程式樣版之研究」，國立中山大學資管系碩士論文，2004年6月。
葉秉哲譯，Gamma, E., Richard Helm, R., Johnson, R., and Vlissides, J.,著，物件導向設計樣式，台灣培生教育，台北，2001年。
廖漢君，「UML：類別圖轉換至物件關聯模式之研究」，國立中山大學資管系碩士論文，2002年6月。
趙光正譯，Matin Fowler 作，UML精華第三版標準物件模型語言，台灣培生教育，臺北，2005年1月。
劉紀良，「以物件限制語言作為類別限制及操作規格描述之研究」，中山大學資訊管理研究所碩士論文，2006年1月。
鄧文彥、陳昶宏譯，Brend Oestereich著，UML軟體發展實務，台灣培生教育，台北，2005年1月。

英文部份
Craig, L., Applying UML and Patterns : An Introduction to Object-Oriented Analysis, 2nd Edition, Prentice-Hall, Upper Saddle River, New Jersey, 2002.
France, R. B., Kim, D.K., Ghosh, S., and Song, E., “A UML-Based Pattern Specification Technique,” IEEE Transactions on Software Engineering, Vol, 30, No. 3, March 2004, pp.193-206.
Gamma, E., Richard Helm, R., Johnson, R., and Vlissides, J., Design Patterns Elements of Resuable Object-Oriented Software, Addision-Wesley, Boston, 1994.
Nunamaker, J. F., “Systems development in information systems research,” Journal of Management Information Systems, Vol. 7, No. 3, winter 1990-1991, pp. 89-106.
OMG, The Object Management Group, Object Constraint Language Specification, Version 2.0, http://www.omg.org/docs/formal/06-05-01.pdf, 2006
Warmer, J., and Kleppe, A., The Object Constraint Language Second Edition-Getting Your Models Ready for MDA, Addison-Wesley, Boston, 2003.