Abstract
Recently Web Service has become a hot spot. Its main idea is to integrate a group of services to construct new value-added Web Service-based systems, which run on the World-Wide-Web. It’s necessary to get formalizing and modeling techniques and graphic tools for reliable Web Service and its application construction. In this paper, an approach to formalizing Web Service and modeling its application system based on Object Oriented Petri net (OOPN) is proposed. By means of this approach, a formal description of Web Service based on OOPN can be obtained, and control flow of Web Service-based system can be modeled. Furthermore, this approach is on the top of WSDL, so it’s of practicality for application.
This work is support partially by projects of National 863 Plan (2002AA1Z2102A), Excel-lent Ph.D. Paper Author Foundation of China (199934), Foundation for University Key Teacher by the Ministry of Education, Shanghai Science & Technology Research Plan(03DZ15029,03JC14071).
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
Chinnici, R., Gudgin, M., et al.: Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language (2003), http://www.w3.org/TR/wsdl12/#Service
Tao, X.F., Jiang, C.J., Duan, J.T.: Construction of a Kind of Object-Oriented Petri Net and its Application. Mechanical Science and Technology 22(5) (2003)
Andrews, T., Curbera, F., Dholakia, H., et al.: Specification: Business Process Execution Language for Web Services Version 1.1 (2003), http://www-106.ibm.com/developerworks/library/ws-bpel
Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Proc. Fourteenth Australasian Database Conference (ADC 2003), vol. 17 (2003)
Tadao, M.: Petri Nets: Properties,Analysis and Applications. Proceeding of IEEE 77(4), 541–560 (1989)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2004 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Tao, X., Jiang, C. (2004). Formalizing Web Service and Modeling Web Service-Based System Based on Object Oriented Petri Net. In: Li, M., Sun, XH., Deng, Qn., Ni, J. (eds) Grid and Cooperative Computing. GCC 2003. Lecture Notes in Computer Science, vol 3032. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-24679-4_168
Download citation
DOI: https://doi.org/10.1007/978-3-540-24679-4_168
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-21988-0
Online ISBN: 978-3-540-24679-4
eBook Packages: Springer Book Archive