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.
This is a preview of subscription content, log in via an institution.
Buying options
Tax calculation will be finalised at checkout
Purchases are for personal use only
Learn about institutional subscriptionsPreview
Unable to display preview. Download preview PDF.
References
Grid architecture, http://gridcafe.web.cern.ch/gridcafe/gridatwork/architecture.html
SPSS software, http://www.spss.com/
Aalst, W., Reijers, H., Weijters, A., van Dongen, B., Medeiros, A., Song, M., Verbeek, H.: Business Process Mining: An Industrial Application. Information Systems 32(5), 713–732 (2007)
Aalst, W., Weijters, A., Maruster, L.: Workflow Mining: Discovering Process Models from Event Logs. IEEE Transactions on Knowledge and Data Engineering 16(9), 1128–1142 (2004)
van der Aalst, W., van Dongen, B., Günther, C.W., Mans, R., de Medeiros, A., Rozinat, A., Rubin, V., Song, M., Verbeek, H.E., Weijters, A.: ProM 4.0: Comprehensive support for real process analysis. In: Kleijn, J., Yakovlev, A. (eds.) ICATPN 2007. LNCS, vol. 4546, pp. 484–494. Springer, Heidelberg (2007)
Alt, M., Gorlatch, S., Hoheisel, A., Pohl, H.-W.: A grid workflow language using high-level Petri nets. In: Wyrzykowski, R., Dongarra, J., Meyer, N., Waśniewski, J. (eds.) PPAM 2005. LNCS, vol. 3911, pp. 715–722. Springer, Heidelberg (2006)
Börger, E., Stärk, R.F.: Abstract State Machines. A Method for High-Level System Design and Analysis. Springer, Heidelberg (2003)
Bratosin, C., van der Aalst, W.M.P., Sidorova, N.: Modeling grid workflows with colored Petri nets. In: Proceedings of the Eighth Workshop on the Practical Use of Coloured Petri Nets and CPN Tools (CPN 2007). DAIMI, vol. 584, pp. 67–86 (October 2007)
Buyya, R., Murshed, M.M.: Gridsim: a toolkit for the modeling and simulation of distributed resource management and scheduling for grid computing. Concurrency and Computation: Practice and Experience 14(13-15), 1175–1220 (2002)
Casanova, H.: Simgrid: A toolkit for the simulation of application scheduling. In: CCGRID 2001: Proceedings of the 1st International Symposium on Cluster Computing and the Grid, Washington, DC, USA, p. 430. IEEE Computer Society, Los Alamitos (2001)
CPN Group, University of Aarhus, Denmark. CPN Tools Home Page, http://wiki.daimi.au.dk/cpntools/
Feng, Z., Yin, J., He, Z., Liu, X., Dong, J.: A novel architecture for realizing grid workflow using pi-calculus technology. In: Zhou, X., Li, J., Shen, H.T., Kitsuregawa, M., Zhang, Y. (eds.) APWeb 2006. LNCS, vol. 3841, pp. 800–805. Springer, Heidelberg (2006)
Foster, I.: The anatomy of the grid: Enabling scalable virtual organizations. In: Proceedings of First IEEE/ACM International Symposium on Cluster Computing and the Grid, 2001, pp. 6–7 (2001)
Jensen, K.: Coloured Petri Nets - Basic Concepts, Analysis Methods and Practical. Springer, Heidelberg (1992)
Nemeth, Z., Sunderam, V.: A formal framework for defining grid systems. In: Proceedings of the Second IEEE/ACM International Symposium on Cluster Computing and the Grid, CCGRID 2002, Berlin (2002)
Reisig, W.: System design using Petri nets. In: Requirements Engineering, pp. 29–41 (1983)
Stockinger, H.: Defining the grid: a snapshot on the current view. The Journal of Supercomputing 42(1), 3–17 (2007)
Zhou, J., Zeng, G.: Describing and reasoning on the composition of grid services using pi-calculus. In: CIT 2006: Proceedings of the Sixth IEEE International Conference on Computer and Information Technology (CIT 2006), Washington, DC, USA, pp. 48–54. IEEE Computer Society, Los Alamitos (2006)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2008 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Bratosin, C., van der Aalst, W., Sidorova, N., Trčka, N. (2008). A Reference Model for Grid Architectures and Its Analysis. In: Meersman, R., Tari, Z. (eds) On the Move to Meaningful Internet Systems: OTM 2008. OTM 2008. Lecture Notes in Computer Science, vol 5331. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-88871-0_63
Download citation
DOI: https://doi.org/10.1007/978-3-540-88871-0_63
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-88870-3
Online ISBN: 978-3-540-88871-0
eBook Packages: Computer ScienceComputer Science (R0)