臺灣博碩士論文加值系統

監控系統主要透過與設備的連接來收集設備的生產資料與狀態進行顯示及控制，監控系統依收集的資訊內容進行判讀及評估，然後再發佈命令給設備進行調整控制。面對多種的監控裝置以及所監控裝置或作業的更新的需求下，監控系統需具有彈性化及模組化的功能。為了建構具有彈性化、模組化及符合生產作業流程的監控系統，本研究提出一套結合UML和派翠網路的系統分析與設計方法，來開發監控系統。主要使用UML圖形化工具進行系統功能需求、實體架構及系統程序分析，並依照UML活動圖與派翠網路轉換規則轉換至派翠網路及物件派翠網路，利用物件派翠網路分析監控物件作業活動行為模式及物件之間溝通行為模式，接著從物件派翠網路定義出物件屬性及操作，以決定監控系統物件狀態及操作，來達到監控系統的功能。透過本研究建立各工具間轉換規則，以縮短系統分析與設計的時間，並建立物件化監控系統的開發流程，使系統變更設計更加容易。最後以自動化生產監控系統為例，利用所提出的方法論來分析設計物件化的監控系統，並發展出監控系統的介面。

A supervisory system collects the manufacturing information and status to display and control the manufacturing operations through the connection with the equipments. The supervisory system performs the recognition and evaluation according to the collected information, and then sends the commands to regulate and control the equipments. In order to supervise different equipments and adapt to the change of the equipments and operation procedures, the flexibility and modularity of the supervisory system are required. In this research, an integrated UML and Petri nets approach for developing the supervisory system is presented. The objective is to construct a supervisory system with flexibility, modularity and conforming to the manufacturing operation procedures. The proposed development process is constructed by using the UML and Petri nets and includes three stages: functional requirement analysis, entity structure representation and process analysis. The activity diagrams are transferred into the object-orient Petri nets (OPN) for modeling the dynamic behavior of supervised equipments and communication behavior amount them. In addition, the attributes and operations of the object in the supervisory system are defined based on the OPN model. The proposed development process and transformation rules makes the system design easier and also saves the development time. Finally, an automated manufacturing supervisory system is given to illustrate the proposed concept.

目次 i
表次 iii
圖次 iv
第一章 緒論 1
1.1 研究動機與背景 1
1.2 研究目的 2
1.3 研究流程架構 2
第二章 文獻探討 4
2.1 監控系統 4
2.2 物件導向方法論 8
2.3 派翠網路理論 10
2.3.1 傳統派翠網路 10
2.3.2 彩色派翠網路 12
2.3.3 物件導向派翠網路 12
2.3.4 派翠網路特性分析 13
2.4 相關文獻探討 15
2.4.1 物件導向應用相關之研究 15
2.4.2 派翠網路應用相關之研究 15
2.4.3 UML結合派翠網路相關研究 17
第三章 研究方法 19
3.1 功能需求觀點 22
3.2 實體架構觀點 26
3.3 系統程序觀點 28
3.3.1 建立系統活動圖 28
3.3.2 轉換活動圖至派翠網路 30
3.3.3 建立物件導向派翠網路 34
3.3.4 決定物件的屬性及操作 35
3.3.5 轉換物件派翠網路至循序圖 37
第四章 實例驗證 39
4.1 自動化生產監控系統功能需求分析 41
4.2 自動化生產監控系統實體架構建構 43
4.3 自動化生產監控系統程序分析 44
4.3.1 建立自動化生產系統活動圖 44
4.3.2 自動化生產系統活動圖轉換成派翠網路 46
4.3.3 建立自動化生產系統物件導向派翠網路 46
4.3.4 決定自動化生產系統物件屬性及操作 56
4.3.5 建立自動化生產系統循序圖 61
4.4 自動化生產監控系統畫面 64
第五章 結論與建議 67
參考文獻 69

[1].Grady, B. et al. (2001).UML使用手冊 (The unified software development process) (張裕益譯), 臺北縣：博碩文化 (原作 1999年出版) 。
[2].王立志(民88)。系統化運籌與供應鏈管理。台中市：滄海書局。
[3].呂文瑞(民89)。半導體廠集結式機台之監控系統研究。國立臺灣大學機械工程學研究所，台北市。
[4].宮大川(民85)。製造執行與控制系統設計理念。機械工業雜誌。
[5].高蕙玲(民92)。動態偵測監控資料庫系統之管理。臺中健康暨管理學院資訊管理研究所，台中縣。
[6].陳凱瀛(民98)。監控系統規劃與設計。機械工業雜誌。vol.177，151-160。
[7].曾呂國(民94)。整合IDEF與翠網路於物件導向製造控制系統的分析與設計。國立雲林科技大學工業工程與管理研究所，雲林縣。
[8].葉士毅等(民97)。物件導向技術來建構具有擴充性的監控系統。電信研究雙月刊，第36卷，第4期，457-469。
[9].鄭書湧(民92)。以專家系統應用在廠務監控系統之研究─以廢氣處理系統為例。國立成功大學工學院工程管理專班，台南縣。
[10].簡杏怡(民93)。物件導向UML於發展輕巧製造控制系統之應用。國立雲林科技大學工業工程與管理研究所，雲林縣。
[11].Berruet, P., Lallican, J.L., Rossi, A., and Philippe, J.L. (2005).”A component based approach for the design of FMS control and supervision.” 2005 IEEE International Conference on Systems, Man and Cybernetics, France, 10-12 Oct., Vol. 4, p.3005 – p.3011.
[12].Boccalatte, A., Giglio, D., and Paolucci, M. (1999). “A Case Tool for information system project and development.” 1999 IEEE International Conference on Systems, Man, and Cybernetics, Tokyo, 12 -15 Oct., Vol.3, p.1042 – p.1047.
[13]. Brandin, B.A. (1996).”The real-time supervisory control of an experimental manufacturing cell.” IEEE Transactions on Robotics and Automation,Vol.12 No.1, p.1-p.14.
[14]. Chan, F. T.S. Jie Z., Lau, H.C.W., and Ning, A. (2000).”Object-oriented architecture of control system for agile manufacturing cells” Proceedings of the 2000 IEEE International Conference on Management of Innovation and Technology, China, 12-15 Nov., Vol.2, p.12-p.15.
[15]. Chang, Y.L. Chen, S., Chen, C. C., and Chen, I. (2000).”Workflow process definition and their applications in e-commerce.”, 2000. Proceedings. International Symposium on Multimedia Software Engineering, Taipei, 11-13 Dec., p.193 – p.200.
[16]. Cho, H. (1998).”Petri net model for message manipulation and event monitoring in an FMS cell”. International Journal of Production Research, Vol. 36 No. 1, p231-p.250.
[17]. Dong, M. and Chen, F. (2001).”Process modeling and analysis of manufacturing supply chain networks using object-oriented Petri nets”. Robotics and Computer-Integrated Manufacturing, Vol. 17, No.1-2, p.121-p.129.
[18]. Du, R., Elbestawi, M. A., and Wu, S.M. (1995).”Automated monitoring of manufacturing processes, Part 1: Monitoring Methods”. Journal of engineering for industry, Vol.117, p.121-p.129.
[19]. Feldmann, K. and Colombo, A.W. (1999).”Monitoring of flexible production systems using high-level Petri net specifications”. Control Engineering Practice, Vol. 7, No.12, p.1449 - p.1466.
[20]. Ghazel, M. Toguy�聲i, A., and Bigand,M. (2004).”An UML approach for the metamodelling of automated production systems for monitoring purpose”. Computers in Industry, Vol.55, No. 3, p.283 – p.299.
[21]. Gomes, L., Costa, A., Barros, J.P., Pais, R., Rodrigues, T., and Ferreira, R (2007).”Petri net based building automation and monitoring system”. 2007 5th IEEE International Conference on Industrial Informatics, Vienna, 23-27 June, Vol. 1, p.57 – p.62.
[22]. Grauel, A., Ludwig, L. A., and Klene, G. (1997). “Comparison of different intelligent methods for process and quality monitoring”. International journal of approximate reasoning,Vol.16, No.1, p.89 - p.117.
[23]. Jeng, W.H. and Liang, G.R. (1998). “Reliable automated manufacturing system design based on SMT framework”. Computers in Industry, Vol.35, No. 2, p.121- p.147.
[24]. Leit�姛, P. and Restivo, F. (2006). ” ADACOR: A holonic architecture for agile and adaptive manufacturing control”. Computers in Industry, Vol. 57, No. 2, p.121- p.130.
[25]. Ly, F., Toguyeni,A. K. A., and Craye, E. (2000). “Indirect predictive monitoring in flexible manufacturing systems”. Robotics and Computer-Integrated Manufacturing, Vol.16, No.5, p.321- p.338.
[26]. EigiMiyagi, P., Villani, E., and Maruyama, N. (2001).”Modeling of Hybrid Supervisory Systems using UML and Petri Nets. ” 2001 8th IEEE International Conference on Emerging Technologies and Factory Automation, Antibes-Juan les Pins, 15-18 Oct., Vol.2, p.149-p.158.
[27]. Murata, T. (1989). “Petri Nets: Properties, Analysis and Applications”. Proceedings of the IEEE, Vol. 77, No. 4, p.541- p.580.
[28]. Ou-Yang, C and Shieh, C. M (1999). “Developing a Petri-net-based simulation model for a modified hierarchical shop floor control framework”. International Journal of Production Research, Vol. 37,No.14, p.3140- p.3167
[29]. Ryu, K. and Yucesan, E. (2007). “CPM: A collaborative process modeling for cooperative manufacturers”. Advanced Engineering Informatics, Vol. 21, No. 2, p.231- p.239.
[30]. Ryu, K., Son, Y., and Jung, M. (2003). “Modeling and specifications of dynamic agents in fractal manufacturing systems”. Computers in Industry, Vol. 52, No. 2, p.161- p.182.
[31]. Thouraya, B.T. and Mounira, B. (2007). “An object-oriented approach to formally analyze the UML 2.0”. Information and software technology, Vol.49, No.9-10 p.999-p.1016.
[32]. Wang, L.C. (1996).”Object-oriented Petri nets for modelling and analysis of automated manufacturing systems”. Computer Integrated Manufacturing Systems, Vol. 9, No. 2, p.111- p.115.