Title :
A Novel Method for Realizing Grid Workflow Modeling
Author :
Liu, Yang ; Qu, Wenyan ; Feng, Zhilin ; Zhao, Duanyang ; Zuo, Wuheng
Author_Institution :
Wenzhou Univ., Wenzhou
Abstract :
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.
Keywords :
business data processing; formal logic; formal specification; grid computing; pi calculus; resource allocation; workflow management software; business workflows; concurrent transaction logic; coordinated problem-solving; formal specification methodology; grid workflow modeling; heterogeneous distributed computing systems; pi-calculus; resource sharing; Collaborative work; Design methodology; Distributed computing; Educational institutions; Environmental management; Grid computing; Large scale integration; Logic; Physics computing; Resource management; CTR; Grid Workflow; Pi-Calculus;
Conference_Titel :
Computer Supported Cooperative Work in Design, 2007. CSCWD 2007. 11th International Conference on
Conference_Location :
Melbourne, Vic.
Print_ISBN :
1-4244-0963-2
Electronic_ISBN :
1-4244-0963-2
DOI :
10.1109/CSCWD.2007.4281541
