簡易檢索 / 詳目顯示

回結果列表
研究生： 蔣涵孟
論文名稱： 可廢止邏輯於工作流程管理系統的高階同步控制
High Level Synchronization for Workflow Management System in Defeasible Logic
指導教授： 黃冠寰
學位類別： 碩士
Master
系所名稱： 資訊工程學系
Department of Computer Science and Information Engineering
論文出版年： 2011
畢業學年度： 99
語文別： 中文
論文頁數： 68
中文關鍵詞： 工作流程管理 、可廢止邏輯系統 、同步 、並行控制
英文關鍵詞： Workflow Management System, WfMS, Defeasible Logic, Synchronization, Concurrency Control
論文種類： 學術論文
相關次數： 點閱：109  下載：5 
分享至:
查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報

    • 隨著近年網路服務觀念的普及，越來越多人開始研究網路服務的技術。網路服務也是分散式程式的一種，使兩個（或以上）跨行程或跨機器的應用程式要能進行溝通。由於網路服務的行程通常都要花費較長時間，所以現行網路服務的交易機制大多採用釋放隔離的特性（Isolation Relaxation Policy），這樣的確解決了執行時間過長的問題，但破壞資料的完整性卻造成資料不一致的問題。於是分散式網路應用程式如Workflow Management System便需要並行控制的機制來同步（Synchronization）網路服務中並行的流程系統，使它們正確地執行結束。像銀行存提款這樣操作複雜的範例，它的並行控制往往也是相當複雜且不易處理，本論文即針對這一點，我們使用不同於以往的邏輯判斷系統：可廢止邏輯（Defeasible Logic），可廢止邏輯是一個非單調推理的方法，它可以很容易的從現有條件直接推論出結果。我們設計出一套網路服務架構利用可廢止邏輯的特性，用來達成網路服務的同步，並設法解決資料不一致的問題。

    附表目錄------------------------------------------------- iii 附圖目錄------------------------------------------------- iv 第一章　簡介----------------------------------------------1 1.1　工作流管理系统介紹------------------------------------2 1.2　可廢止邏輯系統簡介------------------------------------3 1.3　研究動機-------------------------------------------- 5 第二章　相關研究------------------------------------------9 2.1　資料庫事務-------------------------------------------9 2.2　Distributed Semphore-------------------------------11 2.3　WS-Coordination------------------------------------13 第三章　系統架構------------------------------------------15 3.1　Synchronization Operations------------------------15 3.2　功能介紹--------------------------------------------21 第四章　DF4SYNC Programming Model ------------------------27 4.1　DF4SYNC中之函式------------------------------------- 27 4.2　Synchronized()之Accept、Reject、Block條件探討--------28 4.3　範例說明--------------------------------------------31 4.3.1　存提款--------------------------------------------32 4.3.2　進階存提款範例說明----------------------------------39 4.3.3　請假----------------------------------------------51 第五章　實作細節與比較--------------------------------------56 5.1　實作細節-------------------------------------------- 56 5.2　Inquire Operation---------------------------------- 58 5.3　Synchronization Control Service和WS-Scheduler之間的差異比較----------------------------------------------------- 61 第六章　結論----------------------------------------------64 參考文獻------------------------------------------------- 66

    [1] Hwang, G.-H., Lee, Y.-C., Wu, B.-Y.: A Flexible Failure-Recovery Model for Workflow Management Systems. International Journal of Cooperative Information Systems 14(1), 1–24 , 2005.
    [2] Alrifai M., Dolog P., Balke W.-T., Nejdl W. Distributed Management of Concurrent Web Service Transactions, volume 2, number 4, IEEE Transactions on Services Computing (TSC), pages 289-302, 2009.
    [3] D. Box. et al. Web Services Transaction (WS-Transaction). http://www-106.ibm.com/developerworks/webservices/library/wstranspec/, August 2003.
    [4] OASIS Web Service Coordination (WS-Coordination), http://docs. oasis-open.org/ws-tx/wscoor/2006/06, 2007.
    [5] F. Cabrera. et al. Web Service Coordination (WS-Coordination). http://www-106.ibm.com/developerworks/library/ws-coor/, September 2003.
    [6] D. Box. et al. Web Service Coordination (WS-Coordination). IBM, Microsoft, BEA, http://www-106.ibm.com/developerworks/library/ws-polfram/, September 2003.
    [7] OASIS Web Service Atomic Transaction (WS-AtomicTransaction), http://docs.oasis-open.org/ws-tx/wstx-wsat-1.1-spec-os.pdf, 2007.
    [8] OASIS Web Service Business Activity (WS-BusinessActivity), http://docs.oasis-open.org/ws-tx/wstx-wsba-1.1-spec.pdf, 2007.
    [9] OASIS Web Services Business Process Execution Language Version 2.0,http://docs.oasis-copen.org/wsbpel/2.0/wsbpel-v2.0.pdf, 2007.
    [10] D. Nute. Defeasible logic. In Handbook of logic in artificial intelligence and logic programming, volume 3: Nonmonotonic reasoning and uncertain reasoning, pages 353-395. Oxford University Press, 1987.
    [11] Alejandro J. Garcia. Defeasible Logic Programming: Definition, Operational Semantics and Parallelism. phD thesis, Computer Science Department, Universidad Nacional delSur, Bahia Blanca, Argentina, Decimber 2000.
    [12] Hugo Haas , Allen Brown. Web Services Glossary. W3C. http://www.w3.org/TR/2004/NOTE-ws-gloss-20040211/, February 11, 2004.
    [13] W3C WS-A Group, Web Services Architecture (WS-A), vol. 2004: W3C Working Group Note 11 February 2004, 2002.
    [14] Qusay H. Mahmoud. SOA and Web Service, http://www.oracle.com/technetwork/articles/javase/soa-142870.html, April 2005.
    [15] Workflow Management Coalition, Workflow Reference Model, Workflow Management Coalition Standard, WfMC-TC-1003, 1995.
    [16] Grigoris Antoniou, David Billington, Guido Governatori, and Michael J. Maher. A flexible framework for defeasible logics. In Proc. American National Conference on Artificial Intelligence (AAAI-2000), pages 401–405. AAAI/MIT Press, Menlo Park, CA, 2000.
    [17] Stephan Lukosch and Claus Unger. Flexible Synchronization of Shared Groupware Objects. ACM SIGGROUP Bulletin, 20(3):14–17, December 1999.
    [18] S. Choi, et al., Maintaining consistency under isolation relaxation of web services transactions, In Proc. of Int. Conf. on Web Information Systems Engineering (WISE), New York, NY, USA, 2005.
    [19] G. Alonso, F. Casati, H. Kuno and V. Machiraju, Web Services: Concepts, Architectures and Applications. Springer-Verlag, 2004.
    [20] Meilin, S., Guangxin, Y. , Yong, X. , Shangguang, W, “Workflow Management Systems: A Survey”. In: Proceedings of IEEE Intl. Conf. On Communication Technology, Beijing, 1998.
    [21] WfMC. The workflow reference model. 1994.
    [22] Georgakopoulos, D., Hornick, M. & Sheth, A. An Overview of Workflow Management: From Process Modeling to Workflow Automation Infrastructure. Distributed and Parallel Databases, 1995.
    [23] A. Elmagarmid and W. Du, Workflow Management: State of the Art vs. State of the Market, in Proc. NATO Advanced Study Institute on Workflow Management Systems, 1997.
    [24] Workflow Management Coalition, The Workflow Reference Model. Workflow Management Coalition Standard, WfMC-TC-1003, 1994.
    [25] Workflow Management Coalition, Workflow Handbook 2005.
    [26] GRAY, J. The transaction concept: Virtues and limitations. In Proceedings of the 7th International Con[erence on Very Large Database Systems (Cannes, France, Sept. 9-11). ACM, New York, pp. 144-154. 1981.
    [27] Philip A. Bernstein, Vassos Hadzilacos, and Nathan Goodman. Concurrency Control and Recovery in Database Systems. AddisonWesley, 1987.
    [28] S. Choi, H. Jang, H. Kim, J. Kim, S. M. Kim, J. Song, and Y. Lee, Maintaining consistency under isolation relaxation of web services transactions, in Web information systems engineering, 2005.
    [29] P. A. Bernstein and E. Newcomer, editors. Principles of Transaction Processing. High Availability, chapter 7, 1997.
    [30] R. Ramakrishnan and J. Gehrke. Database Management Systems. McGraw - Hill, 3 edition, 2002.
    [31] A. Rock. Deimos: A Query Answering Defeasible Logic System. Technical report, Griffith University. www.cit.gu.edu.au/˜arock/defeasible/doc/Deimos-long.pdf. Mar. 2004.
    [32] Cay S. Horstmann, Gary Cornell. Core Java 2. Volume II - Advanced Features. Sun Microsystems Press, chapter 11, Prentice Hall PTR, 2000.
    [33] Tapus. C. and Hickey. J. Distributed Synchronization with Shared Semaphore Sets. Cluster Computing and the Grid, 2005.
    [34] M. Ramachandran and M. Singhal. Distributed semaphores. 1994.

    下載圖示
    QR CODE