Skip to main content
Springer Nature Link
Log in

A Petri Net Based Execution Engine for Web Service Composition

  • Conference paper
Web Information Systems Engineering – WISE 2013 Workshops (WISE 2013)

Part of the book series: Lecture Notes in Computer Science ((LNISA,volume 8182))

Included in the following conference series:

Abstract

Based on the Petri net description of web service composition, control structures within web service composition, registration information of web services, demand parameters validation, parameters converting among web services through reflection mechanism, output parameters checking and conflict resolution through reflection mechanism are studied. Afterwards, this paper designs and carries out a Petri-net-based execution engine for web service composition. Execution engine will invoke atomic web services corresponding to transitions selected to fire simultaneously, and it will feed back the dynamic execution information to Petri net. Then, execution engine will adjust state of Petri net according to web services execution, selects transitions to fire again with transitions firing rules. Repeating the above process until the execution of web service composition is done. All these will push forward the application of Petri net in service oriented computing.

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution

Subscribe and save

Springer+ Basic
$34.99 /Month
  • Get 10 units per month
  • Download Article/Chapter or eBook
  • 1 Unit = 1 Article or 1 Chapter
  • Cancel anytime
Subscribe now

Buy Now

Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Similar content being viewed by others

References

  1. BPEL (July 2013), http://www.eclipse.org/bpel/

  2. OWL-S (July 2013), http://www.w3.org/Submission/OWL-S/

  3. Wu, Z.: Introduction to Petri Nets, pp. 1–103. Mechine press, Beijing (2006)

    Google Scholar 

  4. PIPE (July 2013), http://sourceforge.net/projects/pipe2/

  5. Yoo, T., Jeong, B., Cho, H.: A Petri Nets based functional validation for services composition. Expert Systems with Applications 37, 3768–3776 (2010)

    Google Scholar 

  6. Valero, V., Cambronero, E.M.: A Petri net Approach for the design analysis of Web services Choreographies. The Journal of Logic Algebraic Programming 78, 359–380 (2009)

    Article  MATH  MathSciNet  Google Scholar 

  7. Mei, X.-Y., Li, S.-X., Huang, C.-Q., Zheng, X.-L.: An Execution Semantic Analysis Method for Composition Transaction. Acta Electronica Sinica 7, 1386–1396 (2012)

    Google Scholar 

  8. Billington, J., et al.: The Petri Net Markup Language: Concepts, technology, and tools. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 483–505. Springer, Heidelberg (2003)

    Chapter  Google Scholar 

  9. http://webservice.webxml.com.cn/ (July 2013)

  10. WSDL, http://www.w3.org/TR/wsdl (July 2013)

  11. Ding, Z., Shen, H., Kandel, A.: Life Fellow, IEEE. Performance Analysis of Service Composition Based on Fuzzy Differential Equations. IEEE Transaction on Fuzzy Systems 2, 164–178 (2011)

    Article  Google Scholar 

  12. Du, Y., Li, X., Xiong, P.C.: A Petri Net Approach to Mediation-Aided Composition of Web Services 4, 429–435 (2012)

    Google Scholar 

  13. Ma, B., Xie, N.: From OWL-S to PNML+OWL for Semantic Web Services. In: 2010 Second International Conference on Computer Modeling and Simulation, vol. 4, pp. 326–328. IEEE, Beijing (2010)

    Chapter  Google Scholar 

  14. Zhang, Z.-M., Ma, B.-X., Xiang, D.-M.: Creation and Description of Web Service Based on Petri Nets. Journal of System Simulation 7, 19–25 (2011)

    MATH  Google Scholar 

  15. Xiang, D.-M., Ma, B.-X., Zhang, Z.-M.: Automatic Sharing Synthesis of Petri Nets based on Semantics. Journal of System Simulation 11, 2237–2242 (2012)

    Google Scholar 

  16. JSON, http://www.json.org/ (July 2013)

Download references

Author information

Authors and Affiliations

  1. Shandong Provincial Key Laboratory of Network based Intelligent Computing, Jinan, China

    Kai Xu & Bingxian Ma

  2. School of Information Science and Engineering, University of Jinan, China

    Kai Xu & Bingxian Ma

Authors
  1. Kai Xu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Bingxian Ma
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Vrije University of Amsterdam, De Boelelaan 1081, 1081, Amsterdam, The Netherlands

    Zhisheng Huang

  2. Faculty of Information and Communication Technologies, Swinburne University of Technology, PO Box 218, 3122, Melbourne, VIC, Australia

    Chengfei Liu

  3. College of Engineering and Science, Victoria University, PO Box 14428, 8001, Melbourne, VIC, Australia

    Jing He

  4. Centre for Applied Informatics, Victoria University, PO Box 14428, 8001, Melbourne, VIC, Australia

    Guangyan Huang

Rights and permissions

Reprints and permissions

Copyright information

© 2014 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Xu, K., Ma, B. (2014). A Petri Net Based Execution Engine for Web Service Composition. In: Huang, Z., Liu, C., He, J., Huang, G. (eds) Web Information Systems Engineering – WISE 2013 Workshops. WISE 2013. Lecture Notes in Computer Science, vol 8182. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-54370-8_16

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-54370-8_16

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-54369-2

  • Online ISBN: 978-3-642-54370-8

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics