Abstract
For realizing automatic creation process from formal composition model to executable code, a Petri net based Web services composition model is first presented. Then, an algorithm is designed to automatically generate executed code of Web services composition from Petri net model. Finally, a software tool is realized based on above algorithm, which will make the design of Web services composition more effective.
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
References
Schahram D, Wolfgang S (2005) A survey on web services composition. J Web Grid Serv 1(1):1–30
Martin K, Jonathan C, Sarah H et al. (2004) BPEL4WS business processes with WebSphere business integration: understanding, modeling, migrating, IBM Redbook
Oracle BPEL process manager overview http://www.oracle.com/technetwork/middleware/bpel/overview/index.html
Protégé OWL ontology editor http://protege.stanford.edu/plugins/owl/documentation.html
Thomas JP, Thomas M, Ghinea G (2003) Modeling of web services flow. In: Proceedings of the 2003 IEEE international conference on E-commerce technology (CEC’03), p 391–399
Schlingloff H, Martens A, Schmidt K (2005) Modeling and model checking web services. Electron Notes Theor Comput Sci 126:3–26
Narayanan S, McIlraith S (2002) Simulation, verification and automated composition of web services. In: Proceedings of the eleventh international world wide web conference (WWW-11), p 77–88
Ding ZJ, Wang JL, Jiang CJ (2008) An approach for synthesis petri nets for modeling and verifying composite web service. J Inf Sci Eng 24(5):1309–1328
Hamadi R, Benatallah B (2003) A petri net-based model for web service composition. In: Proceedings of the 14th Australasian database conference database technologies, p 191–200
Web Service http://Webservice.Webxml.com.cn
Murata T (1989) Petri nets: properties, analysis and applications. Proc IEEE 77(4):541–580
Acknowledgments
This work is partially supported by National Natural Science Foundation of China under Grant No. 61173042 and 61105047, Program for New Century Excellent Talents in University under Grant No. NCET-10-0598, “Shu Guang” Project supported by Shanghai Municipal Education Commission and Shanghai Education Development Foundation under Grant No. 10SG23 Shanghai Rising-Star Program under Grant No. 12QH1402300 and State Key Laboratory of Software Engineering (SKLSE).
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2013 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Ding, Z., Liu, J., Wang, J. (2013). A Petri Net Based Automatic Executable Code Generation Method for Web Service Composition. In: Lu, W., Cai, G., Liu, W., Xing, W. (eds) Proceedings of the 2012 International Conference on Information Technology and Software Engineering. Lecture Notes in Electrical Engineering, vol 212. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-34531-9_5
Download citation
DOI: https://doi.org/10.1007/978-3-642-34531-9_5
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-642-34530-2
Online ISBN: 978-3-642-34531-9
eBook Packages: EngineeringEngineering (R0)