Coloured Petri Nets: a high level language for system design and analysis
APN 90 Proceedings on Advances in Petri nets 1990
Bounding the effects of compensation under relaxed multi-level serializability
Distributed and Parallel Databases
Managing process and service fusion in virtual enterprises
Information Systems - Special issue on information systems support for electronic commerce
Workflow and Process Automation: Concepts and Technology
Workflow and Process Automation: Concepts and Technology
Towards a Cooperative Transaction Model - The Cooperative Activity Model
VLDB '95 Proceedings of the 21th International Conference on Very Large Data Bases
History Merging as a Mechanism for Concurrency Control in Cooperative Environments
RIDE '96 Proceedings of the 6th International Workshop on Research Issues in Data Engineering (RIDE '96) Interoperability of Nontraditional Database Systems
Migrating workflows and their transactional properties
Migrating workflows and their transactional properties
Agent Tcl: a flexible and secure mobile-agent system
TCLTK'96 Proceedings of the 4th conference on USENIX Tcl/Tk Workshop, 1996 - Volume 4
Expert Systems with Applications: An International Journal
The communication model of migrating workflow system
PRIMA'06 Proceedings of the 9th Pacific Rim international conference on Agent Computing and Multi-Agent Systems
An agent-oriented approach to process partition and planning in migrating workflow systems
Engineering Applications of Artificial Intelligence
Traceability and integrity of execution in distributed workflow management systems
ESORICS'07 Proceedings of the 12th European conference on Research in Computer Security
| Hi-index | 0.00 |
Current workflow management systems have several limitations that need to be addressed by the research community. This paper deals with two of them: the lack of flexibility necessary in a changing business environment, and the lack of transactional guarantees for workflow applications. To handle the dynamic character of current business environments and processes, we have proposed the Migrating Workflow Model. A migrating workflow transfers its code (specification) and its execution state to a site, negotiates a service to be executed on its behalf, receives the results, and moves on. The next place visited by the workflow, and the next service requested, is determined by both the objectives of the process and the results of the current requests. The transactional properties are addressed by merging of the Migrating Workflow Model with a Transactional Workflow Model, in which the workflow designer has the ability of specifying, independently, the task coordination requirements, the failure atomicity requirements, and the execution atomicity requirements. The result, described in this paper, is a migrating workflow model endowed with transactional properties that guarantee the correct execution of workflow applications in the presence of failures and in the presence of concurrent access to shared data.