A novel architecture for realizing grid workflow using pi-calculus technology

Authors:
Zhilin Feng;Jianwei Yin;Zhaoyang He;Xiaoming Liu;Jinxiang Dong
Affiliations:
College of Zhijiang, Zhejiang University of Technology, Hangzhou, P.R. China;State Key Laboratory of CAD & CG, Zhejiang University, Hangzhou, P.R. China;College of Zhijiang, Zhejiang University of Technology, Hangzhou, P.R. China;State Key Laboratory of CAD & CG, Zhejiang University, Hangzhou, P.R. China;State Key Laboratory of CAD & CG, Zhejiang University, Hangzhou, P.R. China
Venue:
APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development
Year:
2006

Citing 4
Cited 1

A calculus of mobile processes, II

Information and Computation
A reflective infrastructure for workflow adaptability

Data & Knowledge Engineering
Automatically Composed Workflows for Grid Environments

IEEE Intelligent Systems
The Anatomy of the Grid: Enabling Scalable Virtual Organizations

International Journal of High Performance Computing Applications

A Reference Model for Grid Architectures and Its Analysis

OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:

Quantified Score

Hi-index	0.00

Visualization

Abstract

Grid workflow applications are emerging as an important new alternative to develop truly distributed applications for the grid platform. The modeling of grid workflow system is a challenging task, due to the high degree of autonomy and heterogeneity of the cooperative organizations under distributed environments. This paper presents a formal specification methodology for grid workflow modeling which is founded upon the Pi-Calculus process algebra. This method works well for characterizing the behaviors and interactions of the grid workflow processes that belong to different organizations in terms of the semantics of Pi-Calculus.