Semantic Composition of Scientific Workflows Based on the Petri Nets Formalism

  • Authors:
  • Tomasz Gubala;Daniel Herezlak;Marian Bubak;Maciej Malawski

  • Affiliations:
  • Academic Computer Centre CYFRONET, Poland;Academic Computer Centre CYFRONET, Poland;Institute of Computer Science AGH, Poland;Institute of Computer Science AGH, Poland

  • Venue:
  • E-SCIENCE '06 Proceedings of the Second IEEE International Conference on e-Science and Grid Computing
  • Year:
  • 2006

Quantified Score

Hi-index 0.00

Visualization

Abstract

The idea of an application described through its workflow is becoming popular in the Grid community as a natural method of functional decomposition of an application. It shows all the important dependencies as a set of connections of data flow and/or control flow. As scientific workflows grow in size and complexity, a tool to assist end users is becoming necessary. In this paper we describe the formal basis, design and implementation of such a tool -- an assistant which analyzes user requirements regarding application results and works with information registries that provide information on resources available in the Grid. The Workflow Composition Tool (WCT) provides the functionality of automatic workflow construction based on the process of semantic service discovery and matchmaking. It uses a well-designed construction algorithm together with specific heuristics in order to provide useful solutions for application users.