簡易檢索 / 詳目顯示

研究生: 陳柏澄
Po-Cheng Chen
論文名稱: 可廢止邏輯於工作流程管理系統之應用
The Application of Defeasible Logic in Workflow Management System
指導教授: 黃冠寰
Hwang, Gwan-Hwan
學位類別: 碩士
Master
系所名稱: 資訊工程學系
Department of Computer Science and Information Engineering
論文出版年: 2010
畢業學年度: 98
語文別: 中文
論文頁數: 70
中文關鍵詞: 服務導向架構有向圖可廢止邏輯工作流程多工處理
英文關鍵詞: Defeasible logic, SOA, XML, SOAP, Directed graph, Workflow system
論文種類: 學術論文
相關次數: 點閱:167下載:2
分享至:
查詢本校圖書館目錄 查詢臺灣博碩士論文知識加值系統 勘誤回報
  • 隨著網路的普及,有越來越多的應用程式改以服務的方式存在,這樣不但可以降低本地端負擔的成本,且具備了加速整合與重複使用的特點,服務導向架構(SOA)就是為了因應這類型需求所產生的,近年來相關的技術持續蓬勃發展,不僅是硬體方面效能的提升,在軟體層面也有長足的進步,舉凡(XML)平台的架構、網路伺服底層溝通的協議以及訊息包裝的標準等,都投入了相當多的學術研究和實務測試,不過值得注意的是,負責協調眾多網路元件執行邏輯的技術卻還仍舊停留在畫有向圖的階段,這是起源於當初電腦只能批次處理下的作法,而今日科技發展日新月異,平行運算、多工處理都早已是計算機系統的基本功能,面對如此的變遷,我們不得不思索現行利用有向圖來定義工作流程的方式,是否真的能有效率的處理各種網路服務流程的需求,本篇論文主要就是針對這個問題進行研究,我們試著舉出一個範例來說明,利用有向圖來處理類似的狀況是相當複雜的,就當我們試著要從邏輯觀點來解決此類問題時,卻發現了可廢止邏輯系統在處理邏輯判斷的方式與一般的程式並不相同,於是我們試圖朝著此方向來探討,但畢竟可廢止邏輯只是單純的數學理論,要將它實際套用在工作流程上其實並不容易,所以我們為此設計了一個新的系統架構,主要是藉由代理程式來輔助邏輯系統的推理,以確保流程導向的正確性。且經由實作的結果發現,我們不但可以順利的模擬出現行一般的工作流程,更有明確的數據顯示,此法運用在大部分的流程系統中是相當有效率的。

    With popularization of the network, there are more and more application programs which are changed to exist in the service way. This may not only reduce the cost of local host, but has to speed up integration and reuse characteristics. Service Oriented Architecture (SOA) is produced for this type of demand.

      In recent years the related technologies continued the vigorous development, not only the hardware aspect potency promotion, but also many progresses of software, such as the architecture of XML platform, protocol of web server engine ,the standard of SOAP message and so on, they are all put into quite many academic researches and practical tests. It's worth noting that the technology of management work flow system still remains in the directed graph stage. This stems from initially the computer only had batch processing. However, the technological progress changes every day at present, both parallel operation and multiple processing are already the basic functions of computer system. Facing the changes, we cannot but think about the directed graph work flow is really can handle each kind of demand of network service or not.

      This paper is mainly aims at this question to conduct the research. We tried to give an example to explain the use of directed graphs to handle a similar situation is quite complex. When we tried to solve this problem from the logical point of view, we found the judgment way between defeasible logical system and general program is different, so we tried to move this direction to explore. After all, defeasible logic is simply the number of systems theory, it is not easy to apply to work processes on fact, so we devised a new system architecture which mainly through proxy program to aid the inference of logical system and this is to ensure the accuracy of process-oriented.
    Through the implementation of the results, we found we cannot only simulate general work flow successfully, but also most explicit data demonstrated this way in the majority of flow systems were quite effective.

    附表目錄 VIII 附圖目錄 IX 第一章 簡介 1 1.1工作流程相關標準介紹 1 1.2可廢止邏輯系統簡介 3 1.3研究動機 4 第二章 可廢止邏輯系統的應用準則 16 2.1應用範例實作 16 第三章 可廢止邏輯於有向圖流程實作探討 22 3.1方式一:狀態轉移機制的設計 22 3.1.1可廢止邏輯規則於狀態機制下的實作準則 24 3.1.2狀態轉移機制自動化處理架構 27 3.1.3狀態機制相關問題探討 29 3.2方式二:完成時序機制的設計 32 3.2.1可廢止邏輯規則於完成時序機制下的實作準則 34 3.2.2完成時序機制自動化處理架構 37 3.2.3完成時序機制相關問題探討 39 3.3方式三:多環境參數的設計 42 3.3.1可廢止邏輯規則於多環境參數機制下的實作準則 44 3.3.3多環境參數機制相關問題探討 53 3.4實作細節 57 第四章 可廢止邏輯與傳統有向圖實作評比 61 4.1可廢止邏輯於雪山隧道緊急救援系統範例實作 62 第五章 結論與未來工作 67 參考文獻 69

    [1].Donald Nute. Defeasible logic. In Handbook of Logic in Artificial Intelligence and Logic Programming, volume 3, pages 353–395. Oxford University Press, 1987.
    [2].Alejandro J. Garcia. Defeasible Logic Programming: Definition, Operational Semantics and Parallelism. PhD thesis, Computer Science Department, Universidad Nacional delSur, Bahia Blanca, Argentina, December 2000.
    [3].Steve Gregory. Parallel Logic Programming in PARLOG. The language and its implementation. Addison-Wesley, 1987.
    [4].Workflow Management Coalition, Workflow Reference Model, Workflow Management Coalition Standard, WfMC-TC-1003, 1995.
    [5].N. Edelweiss and M. Nicolao, Workflow modeling: Exception and failure handlingrepresentation, IEEE Int. Conf. Chilean Computer Science Society, 1998.
    [6].C. Hagen and G. Alonso, Exception handling in workflow management systems, IEEE Transactions on Software Engineering 26(10) (October 2000) 943-958.
    [7].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, Menlo Park, CA, 2000. AAAI/MIT Press.
    [8].Grigoris Antoniou, David Billington, Guido Governatori, Michael J. Maher, and Andrew Rock. A family of defeasible reasoning logics and its implementation. In Werner Horn, editor, ECAI 2000. Proceedings of the 14th European Conference on Artificial Intelligence, pages 459–463, Amsterdam, 2000. IOS Press.
    [9].Grigoris Antoniou, David Billington, Guido Governatori, and Michael J. Maher. Representation results for defeasible logic. ACM Transactions on Computational Logic, 2(2):255–287, 2001.
    [10].Alberto Artosi, Guido Governatori, and Antonino Rotolo. Labelled tableaux for non-monotonic reasoning: Cumulative consequence relations. Journal of Logic and Computation, 12(6):1027–1060, 2002.
    [11].Agostini, A. and DeMichelis, G. A Light Workflow Management System Using Simple Process Models, Computer Supported Cooperative Work, vol. 9, no. 3-4, 2000.
    [12].Ellis, C., Keddara, K. and Rozenberg, G. Dynamic Change Within Workflow Systems, COOCS '95, Milpitas California,USA, ACM, 1995.
    [13].Faustmann, G. Configuration for Adaptation - A Humancentered Approach to Flexible Workflow Enactment, Computer Supported Cooperative Work, vol. 9, no. 3-4, 2000.
    [14].Glance, N. S., Pagani, D. S. and Pareschi, R. Generalized Process Structure Grammars (GPSG) for Flexible Representation of Work, CSCW '96, Boston, Mass, 1996.
    [15].Heinl, P., Horn, S., Jablonski, S., Neeb, J., Stein, K. and Teschke, M. A Comprehensive Approach to Flexibility in Workflow Management Systems, WACC '99, San Francisco,USA, ACM, 1999
    [16].Klein, M., Dellarocas, C. and Bernstein, A. Special Issue on Adaptive Workflow Systems, Computer Supported Cooperative Work, vol. 9, no. 3-4, 2000.

    下載圖示
    QR CODE