A Reference Model for Grid Architectures and Its Analysis

Computing and data intensive applications in physics, medicine, biology, graphics, and business intelligence require large and distributed infrastructures to address today's and tomorrow's challenges. For example, process mining applications are faced with terrabytes of event data and computationally expensive algorithms. Increasingly, computer grids are used to deal with such challenges. However, despite the availability of many software packages for grid applications, a good conceptual model of the grid is missing. Grid computing is often approached in an ad-hoc and engineering-like manner. This paper provides formal description of the grid in terms of a colored Petri net (CPN). The CPN can be seen as a reference model for grids and clarifies the basic concepts at a conceptual level. Moreover, the CPN allows for various kinds of analysis ranging from verification to performance analysis. In this paper, we show that our reference model allows for the analysis of various distribution strategies using simulation.

[1]  Ian T. Foster,et al.  The anatomy of the grid: enabling scalable virtual organizations , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[2]  Boudewijn F. van Dongen,et al.  Business process mining: An industrial application , 2007, Inf. Syst..

[3]  Zsolt Németh,et al.  A Formal Framework for Defining Grid Systems , 2002, 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid (CCGRID'02).

[4]  Jianwei Yin,et al.  A Novel Architecture for Realizing Grid Workflow Using Pi-Calculus Technology , 2006, APWeb.

[5]  Boudewijn F. van Dongen,et al.  ProM 4.0: Comprehensive Support for Real Process Analysis , 2007, ICATPN.

[6]  Egon Börger,et al.  Abstract State Machines. A Method for High-Level System Design and Analysis , 2003 .

[7]  Xu Qing-zheng.  On grid architecture , 2007 .

[8]  Henri Casanova,et al.  Simgrid: a toolkit for the simulation of application scheduling , 2001, Proceedings First IEEE/ACM International Symposium on Cluster Computing and the Grid.

[9]  Jetty Kleijn,et al.  Petri Nets and Other Models of Concurrency - ICATPN 2007, 28th International Conference on Applications and Theory of Petri Nets and Other Models of Concurrency, ICATPN 2007, Siedlce, Poland, June 25-29, 2007, Proceedings , 2007, ICATPN.

[10]  Sergei Gorlatch,et al.  A Grid Workflow Language Using High-Level Petri Nets , 2005, PPAM.

[11]  Wil M. P. van der Aalst,et al.  Workflow mining: discovering process models from event logs , 2004, IEEE Transactions on Knowledge and Data Engineering.

[12]  Heinz Stockinger,et al.  Defining the grid: a snapshot on the current view , 2007, The Journal of Supercomputing.

[13]  Egon Börger,et al.  Abstract State Machines , 2003 .

[14]  Kurt Jensen,et al.  Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .

[15]  Jing Zhou,et al.  Describing and Reasoning on the Composition of Grid Services Using Pi-Calculus , 2006, The Sixth IEEE International Conference on Computer and Information Technology (CIT'06).

[16]  Gregory H. Harris,et al.  Review of "Abstract state machines: a method for high-level system design and analysis" by Egon Börger and Robert Stärk. Springer-Verlag 2003. , 2004, SOEN.

[17]  Yanchun Zhang,et al.  Frontiers of WWW Research and Development - APWeb 2006, 8th Asia-Pacific Web Conference, Harbin, China, January 16-18, 2006, Proceedings , 2006, APWeb.

[18]  Rajkumar Buyya,et al.  GridSim: a toolkit for the modeling and simulation of distributed resource management and scheduling for Grid computing , 2002, Concurr. Comput. Pract. Exp..

[19]  Wolfgang Reisig,et al.  System Design Using Petri Nets , 1983, Requirements Engineering.

[20]  Natalia Sidorova,et al.  Modeling grid workflows with colored Petri nets , 2007 .