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.
| Identifer | oai:union.ndltd.org:NSYSU/oai:NSYSU:etd-0727105-144406 |
| Date | 27 July 2005 |
| Creators | Chen, Lin-Ya |
| Contributors | San-Yi Huang, Chih-Ping Wei, Wan-Shiou Yang, Ye-In Chang |
| Publisher | NSYSU |
| Source Sets | NSYSU Electronic Thesis and Dissertation Archive |
| Language | English |
| Detected Language | English |
| Type | text |
| Format | application/pdf |
| Source | http://etd.lib.nsysu.edu.tw/ETD-db/ETD-search/view_etd?URN=etd-0727105-144406 |
| Rights | off_campus_withheld, Copyright information available at source archive |
Page generated in 0.002 seconds