(3.238.250.105) 您好!臺灣時間:2021/04/18 19:10
字體大小: 字級放大   字級縮小   預設字形  
回查詢結果

詳目顯示:::

我願授權國圖
: 
twitterline
研究生:高慶霖
論文名稱:以派翠網路偵測網路服務流程之死結
論文名稱(外文):Deadlock Detecting in Web Services Flows with Petri Nets
指導教授:吳帆吳帆引用關係
學位類別:碩士
校院名稱:國立中正大學
系所名稱:資訊管理學系
學門:電算機學門
學類:電算機一般學類
論文種類:學術論文
論文出版年:2004
畢業學年度:92
語文別:中文
論文頁數:95
中文關鍵詞:網路服務流程派翠網路死結網路服務商業流程執行語言
外文關鍵詞:Web Services FlowsPetri NetsDeadlockBPEL4WS
相關次數:
  • 被引用被引用:2
  • 點閱點閱:307
  • 評分評分:系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔系統版面圖檔
  • 下載下載:0
  • 收藏至我的研究室書目清單書目收藏:3
程式設計師使用網路服務組合語言來描述網路服務流程時,為了加快處理的效率,經常將可並行處理的活動以並行(concurrent)方式處理,然後再以同步(synchronization)方式使這些活動同步,但卻可能因為同步化連結指令撰寫錯誤,或同步化的來源與目的活動設定錯誤,使流程產生死結。網路服務流程若含有死結,勢必會造成流程停頓,使網路服務無法正常地執行。因此,在網路服務發行(publish)之前,確認網路服務流程中沒有死結存在,是確保網路服務能正常無誤的運作基本要求。
本研究使用派翠網路(Petri Nets)塑模組合式網路服務的流程,將網路服務商業流程執行語言-BPEL4WS所描述的流程轉換為派翠網路,藉由分析派翠網路活性(liveness)特性,偵測組合式網路服務的流程是否包含死結,形成偵測網路服務流程死結的機制,幫助程式設計師驗證網路服務流程,以期開發出可靠且值得信賴的組合式網路服務。
第一章 緒論 1
1.1 研究背景 1
1.2 研究動機 2
1.3 研究目的 2
1.4 研究貢獻 3
1.5 研究流程 4
第二章 文獻探討 6
2.1 網路服務 6
2.2 服務導向運算與組合式網路服務 9
2.3 網路服務商業流程執行語言-BPEL4WS 10
2.3.1 BPEL4WS語法簡介 11
2.4 派翠網路 13
2.4.1 派翠網路簡介 14
2.4.2 彩色派翠網路與其他高階派翠網路 17
2.4.3 派翠網路的特性與分析方法 18
2.4.4 派翠網路的應用 23
第三章 BPEL4WS轉換與死結偵測 25
3.1 BPEL4WS與典型派翠網路轉換規則分析 25
3.1.1 基本元素轉換規則 26
3.1.2 結構化元素轉換規則 30
3.1.3 並行處理元素轉換規則 34
3.2 BPEL4WS與典型派翠網路轉換演算法 37
3.2.1 轉換演算法 37
3.2.2 轉換範例 41
3.3 BPEL4WS與死結 42
3.3.1 死結範例與狀態空間分析 43
3.3.2 網路服務流程死結 51
第四章 系統建置與效能分析 55
4.1 系統架構 55
4.1.1 模擬派翠網路執行情境 58
4.1.2 分析派翠網路特性 59
4.2 系統效能分析 60
第五章 系統驗證 64
5.1 正確性驗證 64
5.1.1 資訊承載(Information Capacity)理論 64
5.1.2 資訊承載驗證 65
5.2 有效性驗證 68
5.2.1 個案簡介 68
5.3 相關研究比較 74
第六章 結論與建議 76
6.1 研究結論 76
6.2 研究限制與未來研究方向 76
參考文獻 78
附錄一 貸款取得流程原始碼 82
附錄二 訂單處理流程原始碼 85
英文文獻:
[1] Business Process Execution Language for Web Services Version 1.1, http://www-106.ibm.com/developerworks/library/ws-bpel/, 2003.
[2] RosettaNet, http://www.rosettanet.org/.
[3] ebXML Business Process Specification Schema v1.0, http://www.ebxml.org/specs/ebBPSS.pdf, May 2001.
[4] H. Foster, S. Uchitel, J. Magee, and J. Kramer, "Model-based verification of web service compositions," presented at Automated Software Engineering, 2003. Proceedings. 18th IEEE International Conference on, 2003.
[5] W. M. P. van der Aalst, M. Dumas, and A. H. M. ter Hofstede, "Web service composition languages:old wine in new bottles?," presented at Euromicro Conference, 2003. Proceedings. 29th, 2003.
[6] S. Nakajima, "On verifying Web service flows," presented at Applications and the Internet (SAINT) Workshops, 2002. Proceedings. 2002 Symposium on, 2002.
[7] F. Leymann, "Web services Flow Language(WSFL1.0)," IBM Corporation, May 2001.
[8] T. Murata, "Petri nets: Properties, analysis and applications," Proceedings of the IEEE, vol. 77, pp. 541-580, 1989.
[9] W3C, "Web Services Architecture," W3C Working Draft 8 August ,http://www.w3.org/TR/2003/WD-ws-arch-20030808/, 2003.
[10] B. Medjahed, B. Benatallah, A. Bouguettaya, A. H. H. Ngu, and A. K. Elmagarmid, "Business-to-business interactions: issues and enabling technologies," The VLDB Journal, vol. 12, pp. 59--85, 2003.
[11] J. P. Thomas, M. Thomas, and G. Ghinea, "Modeling of Web services flow," presented at E-Commerce, 2003. CEC 2003. IEEE International Conference on, 2003.
[12] E. Cerami and P. O''Reilly, "Web Services Essentials," 2002.
[13] W. M. P. van der Aalst, "Don''t go with the flow: Web services composition standards exposed," IEEE Intelligent Systems, Jan/Feb 2003., 2003.
[14] Business Process Modeling Language(BPML), http://www.ebpml.org/bpml.htm.
[15] WFMC, XML Processing Description Language(XPDL), http://www.wfmc.org/standards/XPDL.htm.
[16] W3C, Web Service Choreography Interface(WSCI), http://www.w3.org/TR/wsci/.
[17] XLANG, http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm.
[18] R. Hamadi and B. Benatallah, "A Petri net-based model for web service composition," presented at Proceedings of the Fourteenth Australasian database conference on Database technologies 2003, 2003.
[19] M. C. a. K. V. Zhou, "Modeling, simulation and control of flexible manufacturing system: a petri net approach," World Scientific, pp. 41-42, 1998.
[20] W. M. P. van der Aalst, "Three Good reasons for Using a Petri-net-based Workflow Management System," presented at Proceedings of the International Working Conference on Information and Process Integration in Enterprises ({IPIC}''96), 1996.
[21] K. Jensen, "Colored Petri Nets. Baisc Concepts,Analysis Method and Practical Use.Vol1:Basic Concepts," Monographs in Theoretical Computer Science,SpringVerlag, 1992.
[22] W3C, Document Object Model (DOM), http://www.w3.org/DOM/.
[23] Collaxa BPEL Server, http://www.collaxa.com/.
[24] A. S. Tanenbaum, "Modern Operating Systems (2nd Edition)," Prentice Hall, 2001.
[25] PIPE, http://petri-net.sourceforge.net/.
[26] PNML, http://www.informatik.hu-berlin.de/top/pnml/about.html.
[27] Castor, http://www.castor.org.
[28] J. Esparza, "A Polynomial-Time Algorithm to Prove Liveness of Bounded Free Choice Nets," Theoretical Computer Science, 1992.
[29] I. KWAN and J. FONG, "Schema integration methodology and its verification by use of information capacity," Information Systems, vol. 24, pp. 355-376, 1999.
[30] R. J. Miller, Y. E. Ioannidis, and R. Ramakrishnan, "The Use of Information Capacity in Schema Integration and Translation," Proceedings of the 19th VLDB Conference, 1993.
[31] K. Salimifard and M. Wright, "Petri net-based modelling of workflow systems: An overview," European Journal of Operational Research, vol. 134, pp. 664-676, 2001.
[32] A. Basu and A. Kumar, "Research Commentary:Workflow Management Issues in e-Business," Information Systems Research, vol. 13, pp. 1-14, March 2002.
[33] S. Nakajima, "Verification of Web service flows with model-checking techniques," presented at Cyber Worlds, 2002. Proceedings. First International Symposium on, 2002.
[34] F. v. B. Mariya Koshkina, "Verification of Business Processes for Web Services," York Univerisity, 2003.
[35] S. Narayanan and S. McIlraith, "Analysis and simulation of Web services," Computer Networks, vol. 42, pp. 675-693, 2003.
中文文獻:
[1] 林宣佐, "運用企業流程語言描述關鍵企業流程之研究--以BPEL4WS應用於CPFR為例," 國立中正大學資訊管理研究所碩士論文, 2003.
[2] 王純鍵, "供應鍊動態管理模式之研究," 國立台北科技大學生產系統工程與管理研究所, 2001.
[3] 孫宇安, "採用Color Petri Net方法偵測程式原始碼緩衝區溢位問題," 國立中央大學資訊管理學系碩士班碩士論文, 2001.
[4] 張景文, "以IDEF及派翠網路建構同步設計流程控制模式," 朝陽科技大學工業工程與管理研究所碩士論文, 2000.
[5] 曾, "緩衝區溢位漏洞偵測自動化工具之研製," 國立中央大學資訊管理學系碩士班碩士論文, 2003.
[6] 陳涵櫻, "以Coloured Petri Net為基礎的低壓工業配線電路分析," 國立臺灣師範大學資訊教育研究所碩士論文, 2003.
QRCODE
 
 
 
 
 
                                                                                                                                                                                                                                                                                                                                                                                                               
第一頁 上一頁 下一頁 最後一頁 top
系統版面圖檔 系統版面圖檔