By Topic

A Novel Method for Realizing Grid Workflow Modeling

Sign In

Cookies must be enabled to login.After enabling cookies , please use refresh or reload or ctrl+f5 on the browser for the login options.

Formats Non-Member Member
$33 $13
Learn how you can qualify for the best price for this item!
Become an IEEE Member or Subscribe to
IEEE Xplore for exclusive pricing!
close button

puzzle piece

IEEE membership options for an individual and IEEE Xplore subscriptions for an organization offer the most affordable access to essential journal articles, conference papers, standards, eBooks, and eLearning courses.

Learn more about:

IEEE membership

IEEE Xplore subscriptions

5 Author(s)
Yang Liu ; College of City, Wenzhou University, Wenzhou, P.R. China. ; Wenyan Qu ; Zhilin Feng ; Duanyang Zhao
more authors

Executing business workflows on large-scale heterogeneous distributed computing systems is a challenging task. The grid workflow is aimed at enabling resource sharing and coordinated problem-solving between computers and people in a distributed and heterogeneous manner. In this paper, we present a formal specification methodology for grid workflow modeling which is founded upon the Pi-calculus and CTR technology. This method works well for characterizing the behaviors and interactions of the workflow processes that belong to grid environment in terms of the semantics of pi-calculus and CTR methodology. Experimental results show that the proposed method can be used for grid workflow execution and can effectively execution of grid processes automatically.

Published in:

2007 11th International Conference on Computer Supported Cooperative Work in Design

Date of Conference:

26-28 April 2007