• Home
  • Search
  • From Enabling to Ensuring Grid Workflows
  • Open Access IconOpen Access
  • https://doi.org/10.4018/978-1-60566-370-8.ch003Copy DOI Icon

From Enabling to Ensuring Grid Workflows

  • Jan 1, 2009
  • Junwei Cao +3 more
Show More
  • Abstract
  • Literature Map
  • References
  • Similar Papers
Abstract

Grid workflows are becoming a mainstream paradigm for implementing complex grid applications. In addition to existing grid enabling techniques, various grid ensuring techniques are emerging, e.g. workflow analysis and temporal reasoning, to probe potential pitfalls and errors and guarantee quality of services (QoS) at a design phase. A new state p calculus is proposed in this work, which not only enables flexible abstraction and management of historical grid system events, but also facilitates modeling and verification of grid workflows. Some typical patterns in grid workflows are captured and both static and dynamic formal verification issues are investigated, including structural correctness, specification satisfiability, logic satisfiability and consistency. A grid workflow modeling and verification environment, GridPiAnalyzer, is implemented using formal modeling and verification methods proposed in this work. Performance evaluation results are included using a grid workflow for gravitational wave data analysis.

Similar Papers
  • Research Article
  • Citations1

Applied Technology in the Grid Workflow Quality of Service Calculation and Estimation

  • Dec 01, 2013
  • Advanced Materials Research
  • Yue Hua Liu
  • Book Chapter
  • Citations2

Multi-objective Optimal Grid Workflow Scheduling with QoS Constraints

  • Jan 01, 2009
  • Jin-Tao Zeng +3
  • Conference Article
  • Citations4

On multicast transfer of hierarchically coded video with QoS guarantees

  • Feb 18, 1999
  • N Wakamiya +3
  • Research Article
  • Citations9

Energy-efficient user association in heterogeneous networks with M2M/H2H coexistence under QoS guarantees

  • Dec 01, 2015
  • China Communications
  • Hui Tian +4
  • Research Article
  • Citations23

ETXOP: A resource allocation protocol for QoS-sensitive services provisioning in 802.11 networks

  • Oct 17, 2006
  • Performance Evaluation
  • Adlen Ksentini +3
  • Book Chapter
  • Citations2

A Novel Architecture for Realizing Grid Workflow Using Pi-Calculus Technology

  • Jan 01, 2006
  • Zhilin Feng +4
  • Book Chapter

Quality of Service Support for Multimedia Data on Internet

  • Jan 01, 1998
  • Satish K Tripathi
  • Conference Article
  • Citations15

Scalable, adaptive, and reliable resource management in high-speed and mobile networks

  • Oct 15, 2001
  • Chi-Hsiang Yeh
  • Conference Article
  • Citations3

A Novel Approach to Workload Allocation of QoS-Constrained Workflow-Based Jobs in a Utility Grid

  • Dec 04, 2006
  • Spiral (Imperial College London)
  • Yash Patel +1
  • PDF
  • Research Article
  • Citations24

An Approach for the High-Level Specification of QoS-Aware Grid Workflows Considering Location Affinity

  • Jan 01, 2006
  • Scientific Programming
  • Ivona Brandic +2
  • Conference Article
  • Citations2

Integrated scheduling and buffer management for 3G wireless forward packet data channels

  • Sep 26, 2004
  • P Hosein +1
  • Book Chapter
  • Citations33

Towards an UML Based Graphical Representation of Grid Workflow Applications

  • Jan 01, 2004
  • Sabri Pllana +4
  • Research Article
  • Citations16

Signaling and operating system support for native-mode ATM applications

  • Oct 01, 1994
  • ACM SIGCOMM Computer Communication Review
  • R Sharma +1
  • Research Article
  • Citations41

Using GENI for experimental evaluation of Software Defined Networking in smart grids

  • Jan 09, 2014
  • Computer Networks
  • Ali Sydney +4
  • Research Article
  • Citations5

A traffic control system for IEEE 802.11 networks based on available bandwidth estimation

  • Sep 26, 2006
  • Wireless Communications and Mobile Computing
  • Dukju Ko +3
Cactus Communications logo

Copyright 2026 Cactus Communications. All rights reserved.