本論文主要在探討正式模型正確性的需求，我們稱這個模型為個人化流程，個人化流程是將個人的活動加以協調，流程中的每個活動需要確保使用者和組織間連結的關係，我們確認出資料和暫時性相依的關係為協調個人化流程的重要元素，我們針對個人化流程的類型和實例定義其正確性，我們還對個人化流程的實例確認出三個服務品質的指標，分別是時間、花費和可靠度，而我們是透過個人化工作流程管理系統來管理個人化流程，個人化工作流程管理系統是在手持式裝置上面執行的系統，因為考慮到手持式裝置計算能力和電力的限制，我們因此提出了有效率的演算法來確認和分析服務品質的指標在個人化工作流程執行階段的正確性。

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.

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.