UML与派翠网路於现场控制系统分析与设计.pptVIP

結合UML與派翠網路於現場控制系統分析與設計 研究生：江琬瑜 指導教授：呂明山 博士 大綱 緒論 研究動機與背景 研究目的 研究流程架構 文獻探討 現場控制系統 物件導向方法論 派翠網路理論 相關研究 研究方法 現場控制系統分析 UML與彩色派翠網路的轉換 物件內部行為描述與屬性操作決定 實例驗證 緒論 研究動機與背景 現場控制是在加工現場進行複雜活動的管控，可大略分為現場排程、現場派工及現場監控三種功能，其中排程與派工功能都需要監控模組提供資訊進行內部的流程，並且期望能夠透過現場控制系統來監控現場活動與計畫相符合，而要建構活動複雜的系統需透過系統設計與分析來幫助建立。 系統分析方法可以分為結構化與物件導向系統設計，而物件導向方法可以讓系統模組化且易維護，但卻缺乏行為驗證及模擬且在物件屬性及操作上定義困難。 緒論 研究目的 使用UML (Unified Modeling Language;統一塑模語言)建構一套現場控制系統架構能夠與監控現場活動，使用派翠網路來表達出系統的活動與現場活動一致性，及驗證流程的邏輯正確性，並且幫助定義物件類別操作及屬性。 緒論-研究流程架構 文獻探討 現場控制系統 文獻探討-物件導向方法論 物件導向主要有四大特性 封裝性(Encapsulation) 多型(Ploymorphism) 繼承性(Inheritance) 抽象化(abstraction) 物件導向塑模工具包括OMT、OOSA、OOSE及OOA/OOD等，但是UML提供了一套完整標準讓開發者更容易使用。 文獻探討-物件導向方法論 文獻探討-物件導向方法論 文獻探討-物件導向方法論 文獻探討-派翠網路理論 派翠網路理論 派翠網路為一個種圖形化和數學化的模型工具應用於不同的系統上，可表現出同步的、非同期的、分散式、平行式等性質，主要目的是用來進行動態模擬及分析系統特性。 文獻探討-派翠網路理論 派翠網路數學定義： P：{P1,P2,……,Pn}有限穩態(Place)集合 T ：{T1,T2,……,Ts}有限激態(Transition)集合 I ：P×T→N，穩態至激態的方向弧數集合(In×x) O ： T×P→N，激態至穩態的方向弧數集合(On×s) m ： P→N，每個穩態裡所被標記數；初始狀態為m0(mn×1) 文獻探討-派翠網路理論 彩色派翠網路(Colored Petri nets, CPN)： 主要是將顏色導入派翠網路，來簡化在龐大系統中所呈現的傳統派翠網路模型，因此透過不同顏色的標記，來減少系統的複雜性及縮小網路模型。 文獻探討-派翠網路理論 彩色派翠網路數學定義： 其中，C可分為C(pi)與C(tj)為彩色標記(token) 的集合； C(pi)=(ai1, ai2,…aiui)：代表在穩態pi裡的顏色數 C(tj)=(tj1, tj2,…tjvi)：代表在激態tj裡的顏色數 其他P,T,I,O,m與傳統派翠網路定義相同。 文獻探討-相關研究 文獻探討-相關研究 文獻探討-相關研究 研究方法 現場控制系統架構 研究方法-物件導向架構圖 研究方法-系統塑模觀點 研究方法-使用者案例圖 研究方法-活動圖 研究方法-活動圖 研究方法-類別圖 研究方法-活動圖 研究方法-循序圖 研究方法- UML與派翠網路的轉換 活動圖初始狀態轉換至派翠網路 活動狀態轉換至派翠網路 研究方法- UML與派翠網路的轉換 分歧活動圖轉換至派翠網路 研究方法- UML與派翠網路的轉換 分岔活動圖轉換至派翠網路 結合活動圖轉換至派翠網路 研究方法- UML與派翠網路的轉換 研究方法-系統特性分析 派翠網路系統特性 限制性(Boundedness) 活性(Liveness) 保守性(Conservativeness) 可重複性(Reversibility) 守恆性(Consistency) 分析方法 可達樹分析(Reachability Tree)：可達樹分析列舉出所有可能在派翠網路的狀態來分析他們的特性 。 不變量分析方法(Invariant Analysis Method)：利用方程式或矩陣來幫助分析。 研究方法-系統特性分析 不變量分析方法(Invariant Analysis Method) C代表關聯矩陣 mk為第k次所標記的狀態 uk則為一個的firing vector，其中只有一個元素為1其餘都為0 State equation: For K = 1,2,… 研究方法-系統特性分析 P-invariant 定義為CTx = 0的正整數解 x 代入xTC=0 可得xTmk = xTm0 = constant P-invariant P-inv