Abstract
As the complexity of application system for enterprises, an important challenge is to dynamically schedule and integrate the heterogeneous and distributed services or activities to work cooperatively and efficiently. An effective technology to resolve the problem is grid service. A grid service built on both grid computing and web services technologies is an extended Web service. An application system for enterprises is a grid service composition that consists of a collection of grid services related by data and control flow. Therefore, there is a need for modeling and analyzing techniques and tools for reliable and effective grid service composition. The Petri net based method is an idea approach. In this paper, we use a colored dynamic timed Petri net (CDTPN) to model the grid service composition. The definition of CDTPN for grid service and an algorithm to construct a composite service are proposed. We give a definition of reachable service graph and an algorithm for constructing the reachable service graph of CDTPN. Finally, we discuss the correctness and effectiveness of the grid service composition by analyzing the reachable service graph.
This work is support partially by projects of National Basic Research Program of China(973 Program)(2003CB316902, 2004CB318001-03), National Natural Science Fund (90612006, 90412013, 60473094), Humanities and Social Sciences Foundation of Ministry of Education (06JA870006), and Science Research Funds of Shanghai International Study University.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Proceedings of the Fourteenth Australasian database conference on Database technologies, Adelaide, Australia, pp. 191–200 (2003)
Tuecke, S., Czajkowski, K., Foster, I., Frey, J., Graham, S., Kesselman, C.: Grid service specification (2002)
Foster, I., Kesselman, C., Tuecke, S.: The anatomy of the grid: Enabling scalable virtual organizations. Int’l Journal of Supercomputing Applications 15(3), 200–222 (2002)
Tan, Z., Li, C., et al.: Approximate Performance Analysis of Web Services Flow Using Stochastic Petri Net. In: Jin, H., Pan, Y., Xiao, N., Sun, J. (eds.) GCC 2004. LNCS, vol. 3251, pp. 193–200. Springer, Heidelberg (2004)
Tang, Y., Chen, L., He, K.-T., Jing, N.: SRN: An Extended Petri-Net-Based Workflow Model for Web Service Composition. In: ICWS 2004. Proceedings of IEEE International Conference on Web Services, pp. 591–599. IEEE Computer Society Press, Los Alamitos (2004)
Yu-Bin, G., Yu-Yue, D., Jian-Qing, X.: A CP-Net Model and Operation Properties for Web Service Composition. Chinese Journal of computer 29(7), 1067–1075 (2006)
Tang, F., Li, M., et al.: Petri-Net-Based Coordination Algorithms for Grid Transactions. In: Cao, J., Yang, L.T., Guo, M., Lau, F. (eds.) ISPA 2004. LNCS, vol. 3358, pp. 499–508. Springer, Heidelberg (2004)
Murata, T.: Petri Nets: Properties, Analysis and Application. Proceedings of IEEE 77, 541–584 (1999)
Jensen, K.: Coloured Petri nets: Basic Concepts, Analysis Methods and Practical Use, Basic Concepts. In: Mono-graphs in Theoretical Computer Science, vol. 1, Springer, Heideberg (1997)
Zuberek, W.M.: Timed Petri nets: Definitions, Properties and Applications. Microelectronics and Reliability 31(4), 627–644 (1991)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Han, Y., Jiang, C., Luo, X. (2007). Modeling and Analysis for Grid Service Cooperative Scheduling Based on Petri Nets. In: Luo, Y. (eds) Cooperative Design, Visualization, and Engineering. CDVE 2007. Lecture Notes in Computer Science, vol 4674. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-74780-2_12
Download citation
DOI: https://doi.org/10.1007/978-3-540-74780-2_12
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-74779-6
Online ISBN: 978-3-540-74780-2
eBook Packages: Computer ScienceComputer Science (R0)