A Formal Modeling Method for Grid Workflow Based on Concurrent Transaction Logic

Abstract

Grid workflow is an important means to implement the cooperation of resources in the grid and becomes a key alternative to develop truly distributed applications for the grid platform. Grid workflow modeling is the basis of the establishment and execution of workflows. However, it is a challenging task for grid workflow modeling, due to the high degree of autonomy and heterogeneity of the cooperative organizations under distributed environments. Recently, Concurrent TRansaction logic (CTR) has become one of the most exciting methods for grid process modeling. In this paper, we present our current work for the modeling and controlling execution of grid workflow by CTR technique. We describe in detail the syntax of modeling method and summarize special communication primitives from which any process can be defined and understood by their interactive behaviors. The proposed method can provide some new functions like implementing comprehensive coordination and cooperation behaviors of different business processes to improve the stability of grid workflow system. Experimental results show that the proposed method works well for characterizing the behaviors and interactions of the workflow processes under heterogeneous environments in terms of the semantics of CTR.