博碩士論文 etd-0812104-031127 詳細資訊


[回到前頁查詢結果 | 重新搜尋]

姓名 高彬(Kao Pin) 電子郵件信箱 m9142644@student.nsysu.edu.tw
畢業系所 資訊管理學系研究所(Information Management)
畢業學位 碩士(Master) 畢業時期 92學年第2學期
論文名稱(中) 個人化工作流程限制與服務品質之研究
論文名稱(英) Constraints and QoS Management of Personal Process
檔案
  • etd-0812104-031127.pdf
  • 本電子全文僅授權使用者為學術研究之目的,進行個人非營利性質之檢索、閱讀、列印。
    請遵守中華民國著作權法之相關規定,切勿任意重製、散佈、改作、轉貼、播送,以免觸法。
    論文使用權限

    電子論文:校內立即公開,校外一年後公開

    論文語文/頁數 英文/60
    統計 本論文已被瀏覽 5349 次,被下載 2801 次
    摘要(中) 本論文主要在探討正式模型正確性的需求,我們稱這個模型為個人化流程,個人化流程是將個人的活動加以協調,流程中的每個活動需要確保使用者和組織間連結的關係,我們確認出資料和暫時性相依的關係為協調個人化流程的重要元素,我們針對個人化流程的類型和實例定義其正確性,我們還對個人化流程的實例確認出三個服務品質的指標,分別是時間、花費和可靠度,而我們是透過個人化工作流程管理系統來管理個人化流程,個人化工作流程管理系統是在手持式裝置上面執行的系統,因為考慮到手持式裝置計算能力和電力的限制,我們因此提出了有效率的演算法來確認和分析服務品質的指標在個人化工作流程執行階段的正確性。
    摘要(英) This thesis addresses the correctness requirements of a formal model. This model is called the personal process model. A personal process is a coordination of personal activities, each requiring a joint effort between a user and an enacting organization. We identify data and temporal dependencies as the key elements for personal process coordination. We define the correctness on personal process types and instances. We also identify three key QoS measures on personal process instances, namely the response time, the cost and the reliability. A personal process is managed by a personal workflow management system (PWFMS) running on a handheld device. Considering the fact that handheld devices usually impose strict limitations on their computation power and battery consumptions, we propose efficient algorithms for verifying the correctness and analyzing the QoSs of a personal process at run-time.
    關鍵字(中)
  • 限制管理
  • 個人工作流程
  • 服務品質
  • 關鍵字(英)
  • Quality of service
  • Constraint management
  • Personal workflow
  • 論文目次 Chapter 1 Introduction 1
    1.1 Background 1
    1.2 Motivation 1
    1.3 Thesis organization 4
    Chapter 2 Literature review 6
    2.1 Metagraph 6
    2.2 Workflow Quality of Service 12
    Chapter 3 Personal process model 15
    3.1 Personal process model 15
    3.2 Meta schema of personal processes 18
    Chapter 4 Constraints on personal processes 20
    4.1 Concise personal processes 21
    4.2 Process-aliveness constraint 24
    4.3 Task-aliveness constraint 24
    4.4 Correct personal processes 25
    Chapter 5 Estimating QoS of a personal process 32
    5.1 Estimating cost of a personal process 32
    5.2 Estimating the response time of a personal process 33
    5.3 Estimating reliability of a personal process 35
    5.4 Check QoS of a personal process 36
    Chapter 6 System architecture 38
    6.1 Components and interfaces 39
    6.1.1 The service provider 41
    6.1.2 The template provider 43
    6.1.3 The correctness evaluator 44
    6.1.4 Personal workflow management system 46
    Chapter 7 Implementation 48
    7.1 The Correctness Evaluator 48
    Chapter 8 Conclusions 55
    Appendix 56
    References 58
    參考文獻 [Aals99] W. M. P. Van Der Aalst, “Process-oriented Architectures for Electronic Commerce and Interorganizational Workflow,” Information Systems, 24(8), 1999, pp. 639–671.
    [Basu00] A. Basu and R.W. Blanning, “A Formal Approach to Workflow Analysis,” Information Systems Research, 11(1), 2000, pp.17-36.
    [Basu94a] A. Basu and R. W. Blanning, “Metagraphs: A Tool for Modeling Decision SupportSystems”, Management Science, 40(12), December 1994.
    [Basu94b] A. Basu and R. W. Blanning, “Model Integration Using Metagraphs”, Information Systems Research, 5(3), September 1994.
    [Bizt03] Biztalk, http://www.microsoft.com/biztalk/, September 2003.
    [BPMI03] Business Process Management Initiative, http://www.bpmi.org, September 2003.
    [CLRS01] T.H. Cormen, C.E. Leiserson, R.L. Rivest, and C.Stein, Introduction to Algorithms (Second Edition),” MIT Press and McGraw-Hill, 2001.
    [CSK02] J. Cardoso, A. Sheth and K. Kochut, “Implementing QoS Management for Workflow Systems,” LSDIS Lab, Department of Computer Science, University of Georgia, Athens, GA, Technical Report, 2002.
    [CSM02] J. Cardoso, A. Sheth and J. Miller, “Workflow Quality of Service,” Athens, GA, LSDIS Lab, Department of Computer Science, University of Georgia, 2002.
    [Curb03] F. Curbera, Y. Goland, J. Klein, F. Leymann, D. Roller, S. Thatte, and S. Weerawarana, “Business Process Execution Language for Web Services V1.1,” available at http://dev2dev.bea.com/techtrack/BPEL4WS.jsp, September 2003.
    [ebXM03] ebXML, http://www.ebxml.org/, September 2003.
    [GHS95] D. Georgakopoulos, M. Hornick, and A. Sheth, “An Overview of Workflow Management: From Process Modeling workflow Automation Infrastrcture,” Distributed and Paraell Database, 3(3), 199, pp.119-153.
    [HS95] E. Horowitz, S. Sahni, and D. Mehta, “Fundamentals of Data Structures in C++,” W. H. Freeman and Company, New York, NY, 1995.
    [ISO9000] http://www.iso.ch/iso/en/iso9000-14000/iso9000/iso9000index.html
    [LASS00] A. Lazcano, G. Alonso, H. Schuldt, and C. Schuler, “The WISE Approach to Electronic Commerce,” Journal of Computer System Science and Engineering, 15(5), 2000, pp. 343–355.
    [Leym01] F. Leymann, “Web Services Flow Language (WSFL 1.0),” http://www-3.ibm.com/software/solutions/webservices/pdf/WSFL.pdf, September 2003.
    [LY03] Y. Li, X. Yu, Y. Chen, D. Liu, T. Li, “Autonomic QoS Management for Business Process Web Services,” IBM China Research Laboratory, technical report, 2003.
    [Medj03] 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, 12, 2003, pp. 59–85.
    [PE99] B.R. Preiss, P. Eng, Data Structures and Algorithms with Object-Oriented Design Patterns in Java, John Wiley & Sons Publishing Company, 1999, pp.581-582.
    [Roset03] RosettaNet, http://www.rosettanet.org, September 2003.
    [SBDM02] M. Shen, B. Benatallah, M. Dumas, and E. Mak, “SELF-SERV: A Platform for Rapid Composition of Web Services in a Peer-peer Environment,” Proceedings of the International Conference on Very Large Databases, Hong Kong, China, 2002, pp. 1051–1054.
    [Schu00] C. Schuster, D. Baker, A. Cichocki, D. Georgakopoulos, and M. Rusinkiewicz, “The Collaboration Management Infrastructure,” Proceedings of the IEEE International Conference on Data Engineering, San Diego, Calif., USA, 2000, pp. 677–678.
    [That01] S. Thatte, “XLANG: Web Services for Business Process Design,” http://www.gotdotnet.com/team/xml_wsspecs/xlang-c/default.htm, September 2003.
    [Tu03] J.-K. Tu, “Personal Workflow Systems in Support of Inter-process Integration,” Master thesis, National Sun Yat-sen University, July 2003.
    [Weis00] J. Weissenfels, M. Gillmann, O. Roth, G. Shegalov, and W. Wonner, “The Mentor-lite Prototype: a Lightweight Workflow Management System,” Proceedings of the IEEE International Conference on Data Engineering, San Diego, Calif., USA, 2000, pp. 685–686.
    [WfXML01] Workflow Management Coalition (WfMC), “Wf-XML Binding,” available at http://www.wfmc.org/standards/docs/Wf-XML-11.pdf, September 2003.
    口試委員
  • 林福仁 - 召集委員
  • 魏志平 - 委員
  • 黃三益 - 指導教授
  • 口試日期 2004-07-26 繳交日期 2004-08-12

    [回到前頁查詢結果 | 重新搜尋]


    如有任何問題請與論文審查小組聯繫