Study on Pi-Calculus Based Equipment Grid Service Chain Model.

YX Wang,C Wu,K Xu
DOI: https://doi.org/10.1007/11577188_6
2005-01-01
Abstract:The development of modem 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 pi-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 pi-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.
What problem does this paper attempt to address?