A translation approach to portable ontology specifications
Knowledge Acquisition - Special issue: Current issues in knowledge modeling
Fast planning through planning graph analysis
Artificial Intelligence
Chimera: AVirtual Data System for Representing, Querying, and Automating Data Derivation
SSDBM '02 Proceedings of the 14th International Conference on Scientific and Statistical Database Management
Kepler: An Extensible System for Design and Execution of Scientific Workflows
SSDBM '04 Proceedings of the 16th International Conference on Scientific and Statistical Database Management
Semantics Based Verification and Synthesis of BPEL4WS Abstract Processes
ICWS '04 Proceedings of the IEEE International Conference on Web Services
Automatic composition of aggregation workflows for transportation modeling
dg.o '05 Proceedings of the 2005 national conference on Digital government research
GLARE: A Grid Activity Registration, Deployment and Provisioning Framework
SC '05 Proceedings of the 2005 ACM/IEEE conference on Supercomputing
Incorporating semantics in scientific workflow authoring
SSDBM'2005 Proceedings of the 17th international conference on Scientific and statistical database management
Specification of grid workflow applications with AGWL: an Abstract Grid Workflow Language
CCGRID '05 Proceedings of the Fifth IEEE International Symposium on Cluster Computing and the Grid (CCGrid'05) - Volume 2 - Volume 02
GCCW '06 Proceedings of the Fifth International Conference on Grid and Cooperative Computing Workshops
Semantic Composition of Scientific Workflows Based on the Petri Nets Formalism
E-SCIENCE '06 Proceedings of the Second IEEE International Conference on e-Science and Grid Computing
Pegasus: A framework for mapping complex scientific workflows onto distributed systems
Scientific Programming
A novel domain oriented approach for scientific grid workflow composition
Proceedings of the 2008 ACM/IEEE conference on Supercomputing
IAAI'07 Proceedings of the 19th national conference on Innovative applications of artificial intelligence - Volume 2
The FF planning system: fast plan generation through heuristic search
Journal of Artificial Intelligence Research
Automatically composing data workflows with relational descriptions and shim services
ISWC'07/ASWC'07 Proceedings of the 6th international The semantic web and 2nd Asian conference on Asian semantic web conference
Automated service composition using heuristic search
BPM'06 Proceedings of the 4th international conference on Business Process Management
Feta: a light-weight architecture for user oriented semantic service discovery
ESWC'05 Proceedings of the Second European conference on The Semantic Web: research and Applications
Hirundo: a mechanism for automated production of optimized data stream graphs
ICPE '12 Proceedings of the 3rd ACM/SPEC International Conference on Performance Engineering
Automatic optimization of stream programs via source program operator graph transformations
Distributed and Parallel Databases
Hi-index | 0.00 |
The workflow paradigm is one of the most important programming models for the Grid. The composition of Grid workflows has been widely studied in the Grid community. However, there is still a lack of a general and efficient approach for automatic composition of Grid workflows. In this paper, we present a STRIPS (Stanford Research Institute Problem Solver) based formal definition of the Grid workflow composition problem, followed by a novel graph based algorithm for automatic composition of high quality (portable, fault tolerant and optimized) Grid workflows. Our algorithm searches for semantic descriptions of workflow activities, i.e., Activity Functions (AFs), defined by ontologies and composes them into Grid workflows using AF Data Dependence (ADD) graphs. The composition process consists of three phases: ADD graph creation, workflow extraction, and workflow optimization. The worst case complexity of our algorithm is quadratic in the number of AFs. An extension of our algorithm to compose Grid workflows with branches and loops is also presented. Experimental results illustrate the effectiveness and efficiency of our approach: (i) the measured worst case execution time of our algorithm further proofs the analyzed time complexity; (ii) the composition of the real world meteorology Grid workflow application MeteoAG with our algorithm takes approximate half a second; and (iii) the execution time of the MeteoAG workflow when running on the Austrian Grid is reduced by up to 25% and the speedup is increased by up to 2.24 by applying our workflow optimization techniques.