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.
|Date||27 July 2005|
|Contributors||San-Yi Huang, Chih-Ping Wei, Wan-Shiou Yang, Ye-In Chang|
|Source Sets||NSYSU Electronic Thesis and Dissertation Archive|
|Rights||off_campus_withheld, Copyright information available at source archive|
Page generated in 0.0071 seconds