A Novel Method for Realizing Grid Workflow Modeling

Author

Liu, Yang ; Qu, Wenyan ; Feng, Zhilin ; Zhao, Duanyang ; Zuo, Wuheng

Author_Institution

Wenzhou Univ., Wenzhou

fYear

2007

fDate

26-28 April 2007

Firstpage

812

Lastpage

817

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;

fLanguage

English

Publisher

ieee

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

Type

conf

DOI

10.1109/CSCWD.2007.4281541

Filename

4281541