A Reference Model for Grid Architectures and Its Analysis

Authors:
Carmen Bratosin;Wil Aalst;Natalia Sidorova;Nikola Trčka
Affiliations:
Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands 5600 MB;Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands 5600 MB;Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands 5600 MB;Department of Mathematics and Computer Science, Eindhoven University of Technology, Eindhoven, The Netherlands 5600 MB
Venue:
OTM '08 Proceedings of the OTM 2008 Confederated International Conferences, CoopIS, DOA, GADA, IS, and ODBASE 2008. Part I on On the Move to Meaningful Internet Systems:
Year:
2008

Citing 12
Cited 0

System Design Using Petri Nets

Requirements Engineering, Arbeitstagung der GI
Simgrid: A Toolkit for the Simulation of Application Scheduling

CCGRID '01 Proceedings of the 1st International Symposium on Cluster Computing and the Grid
The Anatomy of the Grid: Enabling Scalable Virtual Organizations

CCGRID '01 Proceedings of the 1st International Symposium on Cluster Computing and the Grid
Abstract State Machines: A Method for High-Level System Design and Analysis

Abstract State Machines: A Method for High-Level System Design and Analysis
A Formal Framework for Defining Grid Systems

CCGRID '02 Proceedings of the 2nd IEEE/ACM International Symposium on Cluster Computing and the Grid
Workflow Mining: Discovering Process Models from Event Logs

IEEE Transactions on Knowledge and Data Engineering
Describing and Reasoning on the Composition of Grid Services Using Pi-Calculus

CIT '06 Proceedings of the Sixth IEEE International Conference on Computer and Information Technology
Business process mining: An industrial application

Information Systems
Defining the grid: a snapshot on the current view

The Journal of Supercomputing
ProM 4.0: comprehensive support for real process analysis

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
A grid workflow language using high-level petri nets

PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
A novel architecture for realizing grid workflow using pi-calculus technology

APWeb'06 Proceedings of the 8th Asia-Pacific Web conference on Frontiers of WWW Research and Development

Quantified Score

Hi-index	0.00

Visualization

Abstract

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.