Adaptive workflow nets for grid computing

Authors:
Carmen Bratosin;Kees van Hee;Natalia Sidorova
Affiliations:
Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands;Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands;Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands
Venue:
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Year:
2007

Citing 8
Cited 1

Workflow management: models, methods, and systems

Workflow management: models, methods, and systems
Taverna: a tool for the composition and enactment of bioinformatics workflows

Bioinformatics
User tools and languages for graph-based Grid workflows: Research Articles

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Special Issue: Workflow in Grid Systems: Editorials

Concurrency and Computation: Practice & Experience - Workflow in Grid Systems
Yasper: a tool for workflow modeling and analysis

ACSD '06 Proceedings of the Sixth International Conference on Application of Concurrency to System Design
Checking Properties of Adaptive Workflow Nets

Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Nested nets for adaptive systems

ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets

Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)

Boundedness of adaptive nets is decidable

Information Processing Letters

Quantified Score

Hi-index	0.00

Visualization

Abstract

Existing grid applications commonly use workflows for the orchestration of grid services. Existing workflow models however suffer from the lack of adaptivity. In this paper we define Adaptive Grid Workflow nets (AGWF nets) appropriate for modeling grid workflows and allowing changes in the process structure as a response to triggering events/exceptions. Moreover, a recursion is allowed, which makes the model especially appropriate for a number of grid applications. We show that soundness can be verified for AGWF nets.