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.
| Identifer | oai:union.ndltd.org:NSYSU/oai:NSYSU:etd-0812104-031127 |
| Date | 12 August 2004 |
| Creators | Pin, Kao |
| Contributors | Fu-ren Lin, San-yih Hwang, Chih-ping Wei |
| 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-0812104-031127 |
| Rights | off_campus_withheld, Copyright information available at source archive |
Page generated in 0.0021 seconds