Abstract
At present the grid workflow is a focus topic in the research on grid technologies, but few approaches are provided for designing and checking the grid services adaptation in a workflow, especially in a formal way. As a mobile process algebra, Pi-Calculus is suitable tool for modeling and analyzing distributed, concurrent and dynamic system, such as grid workflow. Addressing the protocol level deadlock, a grid service adaptor is proposed with the Pi-Calculus based Grid Services Deadlock Eliminating algorithm. Through analyzing the experiment results the algorithm proves to be available and useful for service adaptation. As a conclusion the future research work is also discussed.
This work has been supported by National Natural Science Foundation of China (No.90412012).
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
Foster, I., Kesselman, C., Nick, J., Tuecke, S.: The Physiology of the Grid: An Open Grid Services Architecture for Distributed Systems Integration. Globus Project (2002), http://www.globus.org/research/papers/ogsa.pdf
Wagstrom, P., Krishnan, S., von Laszewski, G.: GSFL: A Workflow Framework for Grid Services. In: Supercomputing Conference, SC 2002 (2002)
Amin, K., Nijsure, S., von Laszewski, G.: Open Collaborative Grid Service Architecture (OCGSA) (December 2002), http://www1.bcs.org.uk/DocsRepository/03700/3789/amin.htm
Govindaraju, M., Krishnan, S., Chiu, K., Slominski, A., et al.: Merging the CCA Component Model with the OGSI Framework. In: Proceedings of CCGrid2003. The 3rd International Symposium on Cluster Computing and the Grid (May 2003), http://www.extremeindiana.edu/xcat/publications/xcatogsi.pdf
Bracciali, A., Brogi, A., Turini, F.: Coordinating interaction patterns. In: ACM Symposium on Applied Computing (SAC 2001). ACM Press, New York (2001)
Brogi, A., Canal, C., Pimentel, E., Vallecillo, A.: Formalizing Web Service Choreographies. In: WS-FM 2004 Preliminary Version (2004)
Zhuge, H.: Component-based Workflow Systems Development. Decision Support Systems 35(4), 517–536 (2003)
Bracciali, A., Brogi, A., Canal, C.: A formal approach to component adaptation. Journal of Systems and Software 74, 45–54 (2005)
Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, parts i and ii. Journal of Information and Computation 100, 1–77 (1992)
Milner, A.J.R.G.: A Calculus of Communication Systems. LNCS, vol. 92. Springer, Heidelberg (1980)
Hoare, C.A.R.: Communication Sequential Processes. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1985)
Tuecke, S., Czajkowski, K., Foster, I., Frey, J., Graham, S., Kesselman, C., Maguire, T., Sandholm, T., Vanderbilt, P., Snelling, D.: Open Grid Services Infrastructure (OGSI) version 1.0. Technical report, Open Grid Services Infrastructure WG, Global Grid Forum (2002)
Yellin, D.M., Strom, R.E.: Protocol specifications and components adaptors. ACM Transactions on Programming Languages and Systems 19(2), 292–333
Thakkar, S.: Dynamically composing Web services. In: Proceedings of AAAI Workshop on Intelligent Service Integration, Edmonton, Alberta, Canada, pp. 1–7 (2002)
Zhuge, H.: The Future Interconnection Environment. IEEE Computer 38(4), 27–33 (2005)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Guo, W., Yang, Y., Zhai, Z. (2005). Grid Services Adaptation in a Grid Workflow. In: Zhuge, H., Fox, G.C. (eds) Grid and Cooperative Computing - GCC 2005. GCC 2005. Lecture Notes in Computer Science, vol 3795. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11590354_24
Download citation
DOI: https://doi.org/10.1007/11590354_24
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-30510-1
Online ISBN: 978-3-540-32277-1
eBook Packages: Computer ScienceComputer Science (R0)