Abstract
Web Service is a more efficient and economical framework for distributed computing. However, it’s an important challenge to integrate Web Services provided by different enterprises or organizations into a new value-added Web Service. BPEL4WS (Business Process Execution Language for Web Services) is such a procedure language for Web Service composition. An approach to model BPEL4WS described process based on a kind of Service-Oriented Petri Net, BPWS-net, is proposed in this paper. Both the basic activities and structured activities of BPEL4WS are discussed using BPWS-Net. By means of this approach, not only the formal semantics of Web Service and its composition can be definitely described, but also the control flow of BPEL4WS process can be graphically modeled. Furthermore, this approach can be used to validate the correctness or soundness of Web Service composition.
This research is supported by projects of National Natural Science Foundation (No. 60125205, 90412013), Foundation for the University Key Teacher by the Ministry of Education of China, Shanghai Science & Technology Research Plan (03DZ15029, 03JC14071), and 973 Project of China (No. 2003CB316902).
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
References
Andrews, T., Curbera, F., Dholakia, H., et al.: Specification: Business Process Execution Language for Web Services Version 1.1, May 5 (2003), http://www-106.ibm.com/developerworks/library/ws-bpel/
Chinnici, R., Gudgin, M., Moreau, J.-J., Weerawarana, S.: Web Services Description Language (WSDL) Version 1.2 Part 1: Core Language, W3C Working Draft (June 11, 2003), http://www.w3.org/TR/wsdl12/#Service
Gudgin, M., Hadley, M., Mendelsohn, N., Moreau, J.-J., Nielsen, H.F.: SOAP Version 1.2 Part 1: Messaging Framework, W3C Recommendation, June 24 (2003), http://www.w3.org/TR/2003/REC-soap12-part1-20030624/
Hamadi, R., Benatallah, B.: A Petri Net-based Model for Web Service Composition. In: Schewe, K.-D., Zhou, X. (eds.) Proc. Fourteenth Australasian Database Conference (ADC 2003), Adelaide, Australia. Conferences in Research and Practice in Information Technology, pp. 191–200. ACS (2003)
Khalaf, R., Mukhi, N., Weerawarana, S.: Service-Oriented Composition in BPEL4WS. In: WWW 2003 (2003)
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
Sun, J., Jiang, C. (2004). Web Service Composition Based on BPWS-Net. In: Chi, CH., Lam, KY. (eds) Content Computing. AWCC 2004. Lecture Notes in Computer Science, vol 3309. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-30483-8_37
Download citation
DOI: https://doi.org/10.1007/978-3-540-30483-8_37
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-23898-0
Online ISBN: 978-3-540-30483-8
eBook Packages: Springer Book Archive