Advertisement

Adaptive Workflow Nets for Grid Computing

  • Carmen Bratosin
  • Kees van Hee
  • Natalia Sidorova
Part of the Lecture Notes in Computer Science book series (LNCS, volume 4671)

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.

Keywords

workflows Petri nets grid computing coordination modeling verification 

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Web Services Business Process Execution Language Version 2.0. WS-BPEL TC OASIS (2005), http://www.oasis-open.org/committees/download.php/11601/
  2. 2.
    van der Aalst, W.M.P.: The Application of Petri Nets to Workflow Management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)CrossRefGoogle Scholar
  3. 3.
    van der Aalst, W.M.P., van Hee, K.M.: Workflow Management: Models, Methods, and Systems. MIT Press, Cambridge (2002)Google Scholar
  4. 4.
    Deelman, E., Blythe, J., Gil, Y., Kesselman, C., Mehta, G., Patil, S., Su, M.-H., Vahi, K., Livny, M.: Pegasus: Mapping scientific workflows onto the Grid. In: Dikaiakos, M.D. (ed.) AxGrids 2004. LNCS, vol. 3165, pp. 11–20. Springer, Heidelberg (2004)Google Scholar
  5. 5.
    Fox, G.C., Gannon, D.: Workflow in Grid Systems. Concurrency and Computation: Practice and Experience 18(10), 1009–1019 (2006)CrossRefGoogle Scholar
  6. 6.
    van Hee, K., Lomazova, I.A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Nested nets for adaptive systems. In: Donatelli, S., Thiagarajan, P.S. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 241–260. Springer, Heidelberg (2006)CrossRefGoogle Scholar
  7. 7.
    van Hee, K., Lomazova, I.A., Oanea, O., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Checking properties of adaptive workflow nets. In: CS&P 2006 - Concurrency 2006, Specification and Programming, 27-29 September 2006, Germany, pp. 92–103 (2006) (An extended version is to appear in Fundamenta Informaticae)Google Scholar
  8. 8.
    van Hee, K., Oanea, O., Post, R., Somers, L., van der Werf, J.M.E.M.: Yasper: a tool for workflow modeling and analysis. In: ACSD, pp. 279–282. IEEE Computer Society, Los Alamitos (2006)Google Scholar
  9. 9.
    Hoheisel, A.: User tools and languages for graph-based Grid workflows. Concurrency and Computation: Practice and Experience 18(10), 1101–1113 (2006)CrossRefGoogle Scholar
  10. 10.
    Lomazova, I.A.: Modeling dynamic objects in distributed systems with Nested Petri nets. Fundamenta Informaticae 51(1-2), 121–133 (2002)zbMATHMathSciNetGoogle Scholar
  11. 11.
    Oinn, T.M., Addis, M., Ferris, J., Marvin, D., Senger, M., Greenwood, R.M., Carver, T., Glover, K., Pocock, M.R., Wipat, A., Li, P.: Taverna: a tool for the composition and enactment of bioinformatics workflows. Bioinformatics 20(17), 3045–3054 (2004)CrossRefGoogle Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2007

Authors and Affiliations

  • Carmen Bratosin
    • 1
  • Kees van Hee
    • 1
  • Natalia Sidorova
    • 1
  1. 1.Department of Mathematics and Computer Science, Eindhoven University of Technology, P.O. Box 513, 5600 MB EindhovenThe Netherlands

Personalised recommendations