Abstract
Grid workflow applications are emerging as an important new alternative to develop truly distributed applications for the grid platform. The modeling of grid workflow system is a challenging task, due to the high degree of autonomy and heterogeneity of the cooperative organizations under distributed environments. This paper presents a formal specification methodology for grid workflow modeling which is founded upon the Pi-Calculus process algebra. This method works well for characterizing the behaviors and interactions of the grid workflow processes that belong to different organizations in terms of the semantics of Pi-Calculus.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Kesselman, F.C., Tuecke, S.: The anatomy of the grid:Enabling scalable virtual organizations. International Journal of Supercomputer Application 15, 200–222 (2001)
de Roure, D., Jennings, N.R., Shadbolt, N.: The semantic grid: A future e-science infrastructure. International Journal of Concurrency and Computation: Practice and Experience 15, 437–470 (2003)
Deelman, E., Blythe, J., Gil, Y., Kesselman, C., Mehta, G., Vahi, K.: Mapping abstract complex workflows onto grid environments. Journal of Grid Computing 4, 25–29 (2003)
Blythe, J., Deelman, E., Gil, Y.: Automatically Composed Workflows for Grid Environments. IEEE Intelligent Systems 19, 16–23 (2004)
Edmond, D., Hofstede, A.: A reflective infrastructure for workflow adaptability. Data & Knowledge Engineering 34, 271–304 (2000)
Milner, R., Parrow, J., Walker, D.: A calculus for mobile processes, parts I and II. Journal of Information and Computation 100, 1–77 (1992)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2006 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Feng, Z., Yin, J., He, Z., Liu, X., Dong, J. (2006). A Novel Architecture for Realizing Grid Workflow Using Pi-Calculus Technology. In: Zhou, X., Li, J., Shen, H.T., Kitsuregawa, M., Zhang, Y. (eds) Frontiers of WWW Research and Development - APWeb 2006. APWeb 2006. Lecture Notes in Computer Science, vol 3841. Springer, Berlin, Heidelberg. https://doi.org/10.1007/11610113_76
Download citation
DOI: https://doi.org/10.1007/11610113_76
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-31142-3
Online ISBN: 978-3-540-32437-9
eBook Packages: Computer ScienceComputer Science (R0)