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. © IFIP International Federation for Information Processing 2005.
CITATION STYLE
Wang, Y., Wu, C., & Xu, K. (2005). Study on π-calculus based equipment grid service Chain Model. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 3779 LNCS, pp. 40–47). Springer Verlag. https://doi.org/10.1007/11577188_6
Mendeley helps you to discover research relevant for your work.