• Refine Query
  • Source
  • Publication year
  • to
  • Language
  • 4
  • Tagged with
  • 4
  • 4
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • 1
  • About
  • The Global ETD Search service is a free service for researchers to find electronic theses and dissertations. This service is provided by the Networked Digital Library of Theses and Dissertations.
    Our metadata is collected from universities around the world. If you manage a university/consortium/country archive and want to be added, details can be found on the NDLTD website.
1

The use of Petri Nets to Personal process modeling and verification

Chen, Lin-Ya 27 July 2005 (has links)
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.
2

The Research on Personal Workflow Systems in Support of Pervasive Computing

Chen, Ya-Fang 09 July 2001 (has links)
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.
3

Constraints and QoS Management of Personal Process

Pin, Kao 12 August 2004 (has links)
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.
4

Personal Workflow Systems in Support of Inter-process Integration

Tu, Jiun-Kai 21 July 2003 (has links)
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 0.063 seconds