臺灣博碩士論文加值系統

醫療工作人員具有高度的流動率；他們不斷的改變位置來執行他們的日常工作。此外，典型的醫療過程通常涉及複雜的工作流程。而且，每個工作人員的角色可能會隨時間而改變。一個有效的訊息系統應提供訊息給醫療工作人員做為引導他們下一步的工作流程，以便處理、監督系統中所有工作流程的變化。模型驅動架構是一種因應變化的典範。為了滿足上述要求，我們採用模型驅動方式來開發工作流程管理系統。為了實現這些目標，我們在工作流程管理技術中結合情境感知計算技術，來適應環境改變和根據使用的情境來提供給使用者所需的訊息。我們採用模型驅動方式來開發工作流程管理系統及處理變化。

Hospital workers are highly mobile; they constantly change location to perform their daily work. In addition, typical medical processes usually involve complex workflows. Furthermore, the roles a member can play may change from time to time. An effective information system should provide the information to hospital workers as needed to guide them the next actions of the workflows to be taken, monitor the progress of all workflows in the system and accommodate changes. Model driven architecture is a paradigm to deal with changes. To meet the aforementioned requirements, we adopt a model driven approach to the development of workflow management system. To achieve these objectives, we combine context-aware computing technology with workflow management technology to provide users the information at the point of need, adapt to changing circumstances and respond based on the context of use. We adopt a model driven approach to the development of workflow management system and deal with changes.

目 錄
摘 要 .................................................................................................................. I
ABSTRACT ...................................................................................................... II
致 謝 ............................................................................................................... III
目 錄 ................................................................................................................ IV
圖 目 錄 .......................................................................................................... VI
表 目 錄 .......................................................................................................... IX
第1章 簡介 ....................................................................................................... 1
1.1 研究背景與動機 ....................................................................................... 1
1.2 研究目標與方法 ...................................................................................... 5
1.3 論文架構 .................................................................................................. 7
第2章 PETRI NET介紹 ................................................................................. 8
2.1派翠網路概述 ........................................................................................... 8
2.2 派翠網路特性 .......................................................................................... 8
2.3 派翠網路標記語言(PNML) .................................................................... 9
第3章 模擬系統架構 ..................................................................................... 15
3.1 概要 ........................................................................................................ 15
3.1.1 PETRI NET關係矩陣及狀態方程 .............................................. 18
3.2系統組織 .................................................................................................... 21
3.3 JADE DF .................................................................................................... 21
3.4 系統模擬程式 ........................................................................................... 22
3.4.1 AGENT建立註冊 ............................................................................ 22
3.4.2 DF 註冊 ........................................................................................... 24
3.4.3 PNML分析程式 .............................................................................. 24
3.4.4 監督代理人(MONITOR AGENT)程式 ........................................ 25
3.4.5 工作流程代理人(WORKFLOW AGENT)程式 .......................... 26
3.4.6 資源代理人(RESOURCE AGENT)程式 ..................................... 30
第4章 實驗結果 ............................................................................................. 34
4.1 模擬合併範例 ........................................................................................ 34
4.2 模擬合併結果 ........................................................................................ 36
第5章 結論 ..................................................................................................... 42
參考文獻 .......................................................................................................... 44

圖 目 錄
圖2- 1. Petri Net範例模型圖 ........................................................................ 11
圖3-1. 代理人之間序列圖 .............................................................................. 15
圖3-2. 工作流程代理人與不同的資源代理人序列圖 .................................. 16
圖3-3. 成本篩選流程圖 .................................................................................. 17
圖3-4. 工作流程合併流程圖 .......................................................................... 18
圖3-5. 當前工作流程狀態範例圖 .................................................................. 19
圖3-6. 關係矩陣範例圖 .................................................................................. 20
圖3-7. 關係矩陣運算圖 .................................................................................. 20
圖3-8. 下一次工作流程狀態圖 ...................................................................... 20
圖3-9. 模擬系統組織圖 .................................................................................. 21
圖3-10. JADE DF架構圖 ............................................................................ 22
圖3-11. JADE內部GUI畫面 ...................................................................... 22
圖3-12. 建立MySQL連線程式片段 .............................................................. 23
圖3-13. 建立工作流程Agent程式片段 .......................................................... 23
圖3-14. 工作流程Agent向DF註冊程式片段 ................................................ 24
圖3-15. JAXB架構圖 ...................................................................................... 25
圖3-16. 尋找對應的工作流程類型及工作流程名稱 .................................... 26
圖3-17. 將訊息傳送給工作流程代理人 ........................................................ 26
圖3-18. 至MySQL內找出派翠網路 ............................................................... 27
圖3-19. 到DF查詢服務並傳送 ....................................................................... 27
圖3-20. 產生新的派翠網路 ............................................................................ 27
圖3-21.1. 取出當前資料成本值(上) ............................................................ 28
圖3-21.2. 取出下一筆資料成本值(下) ........................................................ 28
圖3-22. 比較兩者成本值 .............................................................................. 28
圖3-23.1. 取出工作流程派翠網路與集合內資料 ......................................... 29
圖3-23.2 . 將相同的Place id放置PlaceList內 ................................................ 29
圖3-23.3. 將相同的Transition id放置TransitionList內 .................................. 29
圖3-23.3. 將相同的Arc 放置ArcList內與合併 ............................................. 30
圖3-24. 比較Transition id ................................................................................ 30
圖3-25. 資源代理人回傳訊息給工作流程代理人 ........................................ 31
圖3-26. 尋找可激發的Transition Id ............................................................. 31
圖3-27. 算出工作流程關係矩陣 .................................................................... 32
圖3-28. 算出下一次Place內token數量 .......................................................... 32
圖3-29. 修改Place token數量 ......................................................................... 33
圖3-30. 檢查Transition id是否為資源內id .................................................. 33
圖4-1. 工作流程範例圖 .................................................................................. 34
圖4-2 .資源範例圖 ........................................................................................... 35
圖4-3. 不同的Agent向DF註冊互動圖 ........................................................... 37
圖4-4. Administrator GUI .............................................................................. 37
圖4-5. Administrator GUI .............................................................................. 38
圖4-6. Agent之間訊息傳送互動圖 ................................................................. 38
圖4-7. 合併後的PNML檔 ............................................................................... 39
圖4-8. 找出可激發的Transition id .................................................................. 40
圖4-9. 激發t1後WorkflowFile.pnml狀態 ....................................................... 41

表 目 錄
表1、派翠網路數學定義 .................................................................................... 8
表2、派翠網路圖形定義 .................................................................................... 9
表3、PNML標籤屬性表[14] ............................................................................. 10
表4、PETRI NET範例模型PNM文件 ......................................................... 11
表5、資源代理人與對應的資源路徑 .............................................................. 36

[1] Paul Prekop, Mark Burnett. Activities, “context and ubiquitous computing”, Computer Communications, where, 2003, 1 July, Vol. 26, Issue 11, pp. 1168-1176.
[2] B. N. Schilit and M. M. Theimer. “Disseminating active map information to mobile hosts”, IEEE Network, where, 1994, vol. 8, no. 5, pp. 22–32.
[3] Achilleas Achilleos, Kun Yang, Nektarios Georgalas, Context modelling and a context-aware framework for pervasive service creation: A model-driven approach, Pervasive and Mobile Computing, where, 2010, April, Volume 6, Issue 2, Pages 281-296.
[4] EstefanÌa Serral, Pedro Valderas, Vicente Pelechano, Towards the Model Driven Development of context-aware pervasive systems, Pervasive and Mobile Computing, where, 2010, April, Vol. 6 Issue 2.
[5] Oriana Riva, Santtu Toivonen, The DYNAMOS approach to support context-aware service provisioning in mobile environments, Journal of Systems and Software, where, 2007, Vol. 80, Issue 12, pp. 1956-1972.
[6] Tarak Chaari, Dejene Ejigu, Frédérique Laforest, Vasile-Marian Scuturici, A comprehensive approach to model and use context for adapting applications in pervasive environments, Journal of Systems and Software, where, 2007, Vol. 80, Issue 12, pp. 1973-1992.
[7] L. Ardissono, A. Di Leva, G. Petrone, M. Segnan, M. Sonnessa. Adaptive Medical Workflow Management for a Context-Dependent Home Healthcare Assistance Service, Electronic Notes in Theoretical Computer Science, where, 2006, 24 January, Vol. 146, Issue 1, Pages 59-68.
[8] Nathalie Bricon-Souf, Conrad R. Newman. Context awareness in health care: A review, International Journal of Medical Informatics, where, 2007, Vol. 76, Issue 1, January, Pages 2-12.
[9] Murata, T.. Petri Nets: Properties, Analysis and Applications, Proceedings of the IEEE, where, 1989, vol. 77, No. 4, pp. 541-580.
[10] W.M.P. van der Aalst. The application of Petri nets to workflow management. J. Circuit. Syst. Comput. 8 1, pp. 21–66, 1998.
[11] M. Weske, W. M. P. van der Aalst, H. M. W. Verbeek. Advances in business process management, Data & Knowledge Engineering, where, 2004, July, vol. 50, Issue 1, Pages 1-8.
[12] W. M. P. van der Aalst, A. Kumar. A reference model for team-enabled workflow management systems," Data & Knowledge Engineering, vol. 38, Issue 3, Pages 335-363, September, 2001.
[13] Object Management Group (OMG), 2003. MDA guide version 1.0.1. http://www.omg.org/mda.
[14] Michael Weber, and Ekkart Kindler, “The Petri Net Markup Language,” http://www2.informatik.hu-berlin.de/top/pnml/download/about/PNML_LNCS.pdf., 2002.
[15] “Workflow Petri Net Designer(WoPeD)”, http://www.woped.org/ .
[16] “JADE 3.7 API” http://jade.tilab.com/ .
[17] Java Architecture for XML Binding (JAXB) http://www.oracle.com/technetwork/articles/javase/index-140168.html .
[18] Fu-Shiung Hsieh, Design of reconfiguration mechanism for holonic manufacturing systems based on formal models, Engineering Applications of Artificial Intelligence, Volume 23, Issue 7, October 2010, Pages 1187-1199.
[19] Fu-Shiung Hsieh, Developing cooperation mechanism for multi-agent systems with Petri nets, Engineering Applications of Artificial Intelligence, Volume 22, Issues 4-5, June 2009, Pages 616-627.
[20] Fu-Shiung Hsieh, Dynamic composition of holonic processes to satisfy timing constraints with minimal costs, Engineering Applications of Artificial Intelligence, Volume 22, Issue 7, October 2009, Pages 1117-1126.
[21] Fu-Shiung Hsieh, Chih Yi Chiang, Collaborative composition of processes in holonic manufacturing systems, Computers in Industry, Volume 62, Issue 1, January 2011, Pages 51-64.
[22] Fu-Shiung Hsieh, “Context-aware Workflow Driven Resource Allocation for e-Healthcare”, To appear, Proceedings of the 9th International Conference on e-Health Networking, Application & Services (Healthcom 2007), pp. 34-39, Taipei, Taiwan, June 19-22, 2007.
[23] Fu-Shiung Hsieh,” Robustness analysis of Petri nets for complex processes” , Proceedings of the Thirty-Seventh Southeastern Symposium on System Theory, pp. 2049-2054, Atlanta , March. 20-22, 2005.
[24] 謝富雄，姜智文，以Petri nets 模型為基礎之工作流程最佳成本搜尋方法，碩士論文，朝陽科技大學資訊工程系，臺中，2008。
[25] 謝富雄，陳亮廷，時間派翠網路的工作流程分析，碩士論文，朝陽科技大學資訊工程系，臺中，2008。
[26] 謝富雄，江致誼，多代理人系統之工作程序動態合成，碩士論文，朝陽科技大學資訊工程系，臺中，2008。
[27] 謝富雄，陳善鈺，以Petri net 模型為基礎之協同合作分散式問題解決方法，碩士論文，朝陽科技大學資訊工程系，臺中，2007。
[28] David Isern, David Sánchez, Antonio Moreno, “Agents applied in health care: A review”, International Journal of Medical Informatics, Volume 79, Issue 3, March 2010, Pages 145-166.
[29] Chuan-Jun Su, Chia-Ying Wu, “JADE implemented mobile multi-agent based, distributed information platform for pervasive health care monitoring”, Applied Soft Computing, Volume 11, Issue 1, January 2011, Pages 315-325.
[30] Fu-Shiung. Hsieh, “Robustness Analysis of a Class of Non-ordinary Controlled Petri Nets,” Proceedings of the 2006 IEEE International Conference on System, Man and Cybernetics, pp. 3068-3073, Taipei. , Oct. 8-11, 2006.
[31] Hsieh, F. S.,” Analysis of a class of controlled Petri net based on structural decomposition”, In Proceedings of The 10th IFAC/IFORS/IMACS/IFIP Symposium on Large Scale Systems: Theory and Applications, Osaka, 2004.
[32] Fu-Shiung. Hsieh, ”Collaborative Timed Petri Net for Holonic Process Planning”, Proceedings of 2003 American Control Conference, pp. 344-349, Denver, June 4-6, 2003.
[33] Charles V. Trappey, Amy J.C. Trappey, Ching-Jen Huang, C.C. Ku, “The design of a JADE-based autonomous workflow management system for collaborative SoC design”, Expert Systems with Applications, Volume 36, Issue 2, Part 2, March 2009, Pages 2659-2669.
[34] Fu-Shiung Hsieh, “Fault Tolerant Analysis For Holonic Manufacturing Systems Based On Collaborative Petri Nets,” Journal of Systemics, Cybernetics and Informatics, Volume 1 - Number 12, 2003.