Abstract
The development of modern science requires the equipment grid to provide a scientific collaboration research platform, which can realize remote collaboration and sharing with the key instruments and equipment in wide areas. The reliability and high efficiency of a grid service chain model are key points in creation of a grid equipment system. The π-calculus as powerful process algebra has a specific advantage in modeling and testing the grid service chain model. This research investigates and improves a theoretical analysis and algorithm framework for the modeling, correctness checking and analysis of the π-calculus based equipment grid service chain model. It also studies on the analysis of its logistic structure and flexible modeling for the equipment grid. It would be beneficial to open up a new space in the theoretical and applied research on grid technology and formal methodology based on cross-disciplinary cooperation.
This paper is supported by China “211 project” “15” construct project: National Universities Equipment and Resource Sharing System and China Postdoctoral Science Foundation (No. 2003034155).
Chapter PDF
Similar content being viewed by others
Keywords
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.
References
Wang, J., Zhao, H., Han, G., Wang, J.: Research of a SBDM model based on interoperable computing. Journal of China Institute of Communications 25(3), 84–93 (2004)
Foster, I., Kesselman, C.: The Grid: Blueprint for a future Computing Infrastructure. Morgan Kaufmann, USA (1999)
Foster, I., Kesselman, C., et al.: The Anatomy of the grid: Enabling scalable virtual organizations. International Journal of Supercomputer Applications 15(3), 200–222 (2001)
Du, Z., Chen, Y., Liu, P.: Grid Computing. Publishing House of Tsinghua University (2002)
Foster, I., Kesselman, C.: The Grid 2: Blue print for a New Computing Infrastructure. Morgan Kaufmann, USA (2003)
Jin, H., Yuan, P., Shi, K.: Grid Copmuting 2. Publishing House of Electronics Industry (2004)
Wang, Y., Liu, L., Hu, X., Wu, C.: The Study on Simulation Grid Technology for Equipment Resource Sharing System. In: Proceedings of the 5th World Congress on Intelligent Control and Automation, pp. 3235–3239 (2004)
Wang, Y., Wu, C., Hu, X., Liu, L.: The Study of Equipment Grid Based on Simulation Modeling. Computer Integrated Manufacturing Systems 10(9), 1031–1035 (2004)
Wang, Y., Liu, L., Wu, C.: Research on equipment resource scheduling in grids. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol. 3251, pp. 927–930. Springer, Heidelberg (2004)
Wang, Y., Liu, L., Wu, C.: Research on Equipment Grid Platform for Resource Sharing. World Engineers Convention (WEC) Shanghai, pp. 148–151 (2004)
Hey, A., Trefethen, A.: The UK e-Science Core Programme and the Grid. Future Generation Computer 18(8), 1017–1031 (2002)
Hey, A., Trefethen, A.: The data deluge: An e-science perspective in Grid Computing: Making the Global Infrastructure a Reality. Wiley, New York (2003)
Yolanda, G., Ewa, D., et al.: Artificial Intelligence and Grids: Workflow Planning and Beyond. IEEE Intelligent Systems 19(1), 26–33 (2004)
Foster, I., Kesselman, C., et al.: The Philosophy of the Grid: An Open Grid Service Architecture for Distributed Systems. Global Grid Forum (2002)
Foster, I., Gannon, D., et al.: Open Grid Services Architecture Use Cases Version 1.0. Global Grid Forum public documents (GFD-I.029) (2004)
Tuecke, S., Czajkowski, K., et al.: Open Grid Services Infrastructure (OGSI) Version 1.0. Grid Forum public documents (GFD-I.015) (2003)
Sriram, K., Patrick, W., et al.: GSFL: A Workflow Framework for Grid Services (2002), http://wwwunix.globus.org/cog/papers/gsfl-paper.pdf
ChinaGrid project, http://www.chinagrid.edu.cn
Davies, N.J., Fensel, D., et al.: The future of Web Services. BT Technology Journal 22(1), 118–130 (2004)
Ding, Y.: A review of ontologies with the Semantic Web in view. Journal of Information Science 27(6), 377–384 (2001)
Kouadri, M.S., Hirsbrunner, B.: Towards a Context-Based Service Composition Framework. In: Proceedings of the International Conference on Web Services, pp. 42–45 (2003)
Van der Aalst: Verification of workflow nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, p. 407. Springer, Heidelberg (1997)
Milner, R.: Communicating and Mobile Systems: the π-calculus. Cambridge University Press, Cambridge (1999)
Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)
Xu, K., Liu, L., Wu, C.: Time Pi Calculus and Weak-timed Bisimulation Analysis. Compter Integrated Manufacturinig System (In press)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 IFIP International Federation for Information Processing
About this paper
Cite this paper
Wang, Y., Wu, C., Xu, K. (2005). Study on π-Calculus Based Equipment Grid Service Chain Model. In: Jin, H., Reed, D., Jiang, W. (eds) Network and Parallel Computing. NPC 2005. Lecture Notes in Computer Science, vol 3779. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11577188_6
Download citation
DOI: https://doi.org/10.1007/11577188_6
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-29810-6
Online ISBN: 978-3-540-32246-7
eBook Packages: Computer ScienceComputer Science (R0)