博碩士論文 etd-0727105-144406 詳細資訊


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

姓名 陳鈴雅(Lin-Ya Chen) 電子郵件信箱 m924020036@student.nsysu.edu.tw
畢業系所 資訊管理學系研究所(Information Management)
畢業學位 碩士(Master) 畢業時期 93學年第2學期
論文名稱(中) 利用派翠網來塑模和檢驗個人工作流程
論文名稱(英) The use of Petri Nets to Personal process modeling and verification
檔案
  • etd-0727105-144406.pdf
  • 本電子全文僅授權使用者為學術研究之目的,進行個人非營利性質之檢索、閱讀、列印。
    請遵守中華民國著作權法之相關規定,切勿任意重製、散佈、改作、轉貼、播送,以免觸法。
    論文使用權限

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

    論文語文/頁數 英文/71
    統計 本論文已被瀏覽 5348 次,被下載 2042 次
    摘要(中) 個人化流程是在協調個人的活動,流程的目的是在使用者和相關組織的限制下達成個人目標。在本論文中,我們改以派翠網來塑模個人工作流程以解決缺少控制流所產生的問題。我們重新定義了個人工作流的正確性,並且提出在派翠網上的檢驗方法。在架構上,我們增加了線上執行引擊讓使用者可以透過網際網路即時的執行和檢驗個人流程的正確性。我們也可以透過個人工作流程系統來管理個人流程,而個人工作流程管理系統是在手持裝置上執行的。因為手持式裝置計算能力和電力的限制,所以只有當使用提出要求時我們才提供個人流程正確性的檢驗。
    摘要(英) A personal process is a coordination of personal activities, each requiring a joint effort between a user and an enacting organization. In this thesis, we model a personal process using Petri Nets to describe both the control flow and data flow pertaining to the personal process. We redefine the correctness of a personal process and address the verification method based on Petri Nets. In our architecture, we add an online execution engine for the user to execute and verify the correctness of a personal process in real time through the Internet. A personal process can also be managed by a personal workflow management system (PWFMS) running on a handheld device. Because of the strict limitations on their computation power and battery consumptions, we support verification only when the wireless connection is available.
    關鍵字(中)
  • 派翠網
  • 個人工作流程
  • 關鍵字(英)
  • Personal workflow
  • Petri Nets
  • 論文目次 Chapter 1 Introduction 1
    1.1 Background 1
    1.2 Motivation 1
    1.3 Thesis organization 6
    Chapter 2 Literature review 7
    2.1 Personal workflow 7
    2.2 Petri Nets 9
    2.2.1 Routing sequence 11
    2.2.2 Properties 13
    2.2.3 Subclasses of Petri Nets 19
    2.2.4 Analysis methods 20
    Chapter 3 Personal Process Model 22
    3.1 Personal process model 22
    3.2 An example personal process model 25
    Chapter 4 Verifying Personal Processes 30
    4.1 Mapping a personal process onto Petri Nets 30
    4.2 Constraints of the personal workflow 35
    Chapter 5 Analyzing the constraints of personal workflow 39
    5.1 Process-aliveness 41
    5.2 Task-aliveness constraint 41
    5.3 Algorithm for verification 42
    Chapter 6 The implementation 48
    6.1 Online execution engine 50
    6.2 Personal workflow management system 53
    Chapter 7 Conclusions 59
    Appendix 60
    References 61
    參考文獻 References
    [Aals03] W.M.P. van der Aalst, A.H.M. ter Hofstede, B. Kie-puszewski, and A.P. Barros, “Workflow patterns,” Distributed and Parallel Databases, 14(3), 2003, pp.5–51.
    [Aals94] W.M.P. van der Aalst, “Putting Petri nets to work in industry,” Computers in Industry, 25(1), 1994, pp.45–54.
    [Aals98] W.M.P. van der Aalst,“The Application of Petri Nets to Workflow Management,” The Journal of Circuits, Systems and Computers, 8(1), 1998, pp.21-66.
    [Adam98] N.R. Adam,V. Atluri, W.-K Huang, ”Modeling and Analysis of Workflows Using Petri-Nets,” Journal of Intelligent Information Systems, 10(2),1998.
    [Chen01] Y.-F. Chen, “The Research on Personal Workflow Systems in Support of Pervasive Computing,” Master thesis, National Sun Yat-sen University, July 2001.
    [Daya91] U. Dayal, M. Hsu, and R. Ladin, ”A Transactional Model for Long-Running Activities,” Proceedings of the 17th International Conference on Very Large Data Bases, 1991.
    [Gepp98] A. Gppert, D. Tombros, and K. R. Dittrich, “ Defining the Semantics of Reactive Components in Event-Driven Workflow Execution with Event Histories”, Information Systems,23(3), 1998.
    [Hee94] K.M. van Hee,”Information System Engineering: a Formal Approach,”Cambridge University Press, 1994.
    [Hwan03] S.-Y. Hwang, Y.-F. Chen, “Personal Processes: Modeling and Management,” 4’th Int’l. Conf. on Mobile Data Management (MDM03), Melbourne, Australia, Jan. 2003. LNCS2574, Springer Verlag, pp.141-152.
    [Kao04] P Kao, “Constraints and QoS Management of Personal Process,” Master thesis, National Sun Yat-sen University, July 2004.
    [Kiep00] B. Kiepuszewski, A.H.M. ter Hofstede, and C. Bussler, “On Structured Workflow Modelling,” Proc. of the 12th Int. Conference on Advanced Information Systems Engineering (CAiSE00), 2000.
    [Jens96]  K. Jensen. “Coloured Petri Nets. Basic concepts, analysis methods and practical use,” EATCS monographs on Theoretical Computer Science. Springer-Verlag, Berlin, 1996.
    [Lin02] M. J. Lin, “A Framework for Providing and Executing Workflow Templates in a Mobile Environment,” Master thesis, Information Management Department, National Sun Yat-sen University, July 2002.
    [Nidd94]  M. Nidd, “Time Extensions of Petri Nets,” 1994., available at http://citeseer.nj.nec.com/nidd94time.html
    [Mura89] Murata, T., “Petri Nets: Properties, Analysis and Applications,” IEEE Proceedings ,77(4), April 1989, pp. 541-580.
    [Petr62]  C.A. Petri. “Kommunikation mit Automaten,” PhD thesis, Institut fur Instrumentelle Mathematik, Bonn, 1962.
    [Tu03] J.K. Tu, “Personal Workflow Systems in Support of Inter-process Integration,” Master thesis, Information Management Department, National Sun Yat-sen University y, July 2003.
    [WFMC96] WFMC. WorkflowManagement Coalition Terminology and Glossary (WFMC-TC-1011). Technical report, Workflow Management Coalition, Brussels, 1996.
    [Wodt97]  D. Wodtke, and G. Weikum, “A Formal Foundation for Distributed Workflow Execution based on State Charts,” Proc, of the Int. Conf. on Database Theory, Springer LNCS 1186, 1997.
    口試委員
  • 魏志平 - 召集委員
  • 張玉盈 - 委員
  • 楊婉秀 - 委員
  • 黃三益 - 指導教授
  • 口試日期 2005-06-30 繳交日期 2005-07-27

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


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