27 July 2005
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.
09 July 2001
Wireless devices and their services are becoming increasingly important for many people¡¦s lives. The services provided by these mobile devices enable users to work without space or time limitation. However, while these applications allow users to record and retrieve information about tasks and data, the relationships between tasks and data are left out. However, we have observed that many of people¡¦s daily activities are not independent, and they are likely to be process-oriented. In this thesis, we develop a personal workflow model that is used to capture the requirements of personal processes. This model also includes a set of primitive operations that can be used to express queries on personal processes. The algebraic properties about these operations and how to optimize queries comprised of these operations are studied. Based on these operations, we propose an SQL-like query language to ease users¡¦ query expressions. Besides, to actively remind the mobilers the right things to do at the right place and the right time, we propose a rule model that resembles event-condition-action (ECA) rules proposed for active database systems. All of the proposed features except for the rule model are implemented on Palm Pilot PDAs.
12 August 2004
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.
21 July 2003
In our daily lives, people constantly need to schedule their activities to meet their personal goals. Many of these activities involve the interaction with organization sectors, which must follow certain regulations in terms of input data, doable time and places. These regulations form personal processes. In previous work, [Chen01] proposed a personal process model that define a personal process as a set of tasks and a coordination on the tasks and a personal workflow system architecture. However, the proposed system is solely to facilitate a mobile user in deciding when, where, and how to process a task. We have noticed that many processes initiated by an individual often involve business processes coming from different organizations. Our objective in this thesis is to revise the personal process model proposed in [Chen01] by incorporating business processes existing in different sectors, developing a simpler query method, and extending personal workflow architecture in support of the new model. In our architecture, the management of personal processes involves three parties: the service provider, the template provider and the PWFMS. The service providers supply personal processes, each of which enable users to achieve a specific goal, and keep track of the status of executed tasks. The template providers incorporate several personal processes from different service providers and form a useful template for a user. The PWFMSs assist users in managing personal processes. In order to prove our idea, we implemented a prototype of the architecture.
Page generated in 1.3949 seconds