EXECUTABLE UML模型驅動架構入門

Executable UML(可執行的UML)是軟體開發領域的一大創新──它被設計用來製作廣泛的、容易理解的、與軟體開發組織無關的解決方案模型。它是一個高度抽象的思考工具，能夠用以將知識形式化並且可以用來描述軟體開發問題的抽象解決方案的概念。
本書 "Executable UML：模型驅動架構入門" 將為您詳盡地簡介與解釋這個重要的新技術。作者為您仔細說明UML是如何將需求與使用案例，轉換成可驗證的圖? 如何建立可執行、可測試的模型? 這些模型又是如何直接轉換成程式碼?此外，本書也為您解釋了不同的系統領域是如何被Executable UML編譯器整合在一起。
本書有各種提示與技巧來幫助您︰
●依據不同的觀點，將系統分割成多個主題。
●為使用者案例的模型挑選適當的層級，以增進對主題的理解。
●製作Class(類別)的模型， 並且將焦點放在Relationship(關係)上，以準確地獲取主題的語義。
●使用最新的UML 動作(Action)語意與動作(Action)語言來表示Behavior(行為)。
●使用OCL(Object Constraint Language，物件限制語言)中所定義的標記來訂定限制。
此外，本書也特別針對與執行相關的主題加以介紹。例如︰
》如何透過Statechart(狀態圖表)所建立的生命周期，來進行物件的同步?
》如何製作Relationship(關係)的模型並確保競爭(Contention)安全?
》如何動態分佈以避免產生無法維護的控制物件?
》如何執行測試來驗證Statechart(狀態圖表)與Constraint(限制)的正確性?