Skip to main content
SpringerLink
Log in

Web Service Composition Based on Petri Nets: Review and Contribution

  • Conference paper
Resource Discovery (RED 2012)

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

Included in the following conference series:

Abstract

Web Services (WSs) are the most used implementation of service-oriented architectures allowing the construction and the sharing of independent and autonomous software. WS composition consists in combining several WSs into a Composite one, which becomes a value-added service, in order to satisfy complex users queries. Thus, the WS composition process may imply several phases to identify how and which WSs will conform the Composite WS, including specification, verification, evaluation, WSs selection, and execution. As it is known, Petri Nets are the main formal models used to describe static vision of a system and dynamic behavior of processes. Then, Petri Nets are well suited to model internal operations of WSs and interactions among them as well as to model the processes in all phases of the WS composition process. In this article we present a review of approaches using Petri Nets for WS composition. Moreover, we describe our experiences in this field: a transactional-QoS-driven WS selection approach and a framework for reliable execution of Composite WSs based on Colored Petri Nets.

This work was supported by the Franco-Venezuelan CNRS-FONACIT project N°22782.

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

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 49.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

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.

References

  1. Angarita, R., Cardinale, Y., Rukoz, M.: FaCETa: Backward and Forward Recovery for Execution of Transactional Composite WS. In: Proc. of Fifth International Workshop on REsource Discovery (RED 2012), Heraklion, Grece, pp. 1–15 (2012)

    Google Scholar 

  2. Azevedo, V., Mattoso, M., Pires, P.: Handling Dissimilarities of Autonomous and Equivalent Web Services. In: Proc. of Caise-WES (2003)

    Google Scholar 

  3. Badr, Y., Benslimane, D., Maamar, Z., Liu, L.: Guest Editorial: Special Section on Transactional Web Services. IEEE T. Services Computing 3(1), 30–31 (2010)

    Article  Google Scholar 

  4. Behl, J., Distler, T., Heisig, F., Kapitza, R., Schunter, M.: Providing Fault-tolerant Execution of Web-service based Workflows within Clouds. In: Proc. of the 2nd Internat. Workshop on Cloud Computing Platforms, CloudCP (2012)

    Google Scholar 

  5. Ben Lakhal, N., Kobayashi, T., Yokota, H.: FENECIA: failure endurable nested-transaction based execution of composite Web services with incorporated state analysis. VLDB Journal 18(1), 1–56 (2009)

    Article  Google Scholar 

  6. Blanco, E., Cardinale, Y., Vidal, M.-E.: Aggregating Functional and Non-Functional Properties to Identify Service Compositions, pp. 1–36. IGI BOOK (2011)

    Google Scholar 

  7. Bonchi, F., Brogi, A., Corfini, S., Gadducci, F.: Compositional Specification of Web Services Via Behavioural Equivalence of Nets: A Case Study. In: van Hee, K.M., Valk, R. (eds.) PETRI NETS 2008. LNCS, vol. 5062, pp. 52–71. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  8. Bushehrian, O., Zare, S., Keihani Rad, N.: A Workflow-Based Failure Recovery in Web Services Composition. Journal of Software Engineering and Applications 5, 89–95 (2012)

    Article  Google Scholar 

  9. Cardinale, Y., El Haddad, J., Manouvrier, M., Rukoz, M.: CPN-TWS: a coloured petri-net approach for transactional-QoS driven Web Service composition. IJWGS 7(1), 91–115 (2011)

    Article  Google Scholar 

  10. Cardinale, Y., El Haddad, J., Manouvrier, M., Rukoz, M.: Transactional-aware Web Service Composition: A Survey. IGI Global - Advances in Knowledge Management (AKM) Book Series, ch. 6, pp. 116–141 (2011)

    Google Scholar 

  11. Cardinale, Y., Rukoz, M.: Fault Tolerant Execution of Transactional Composite Web Services: An Approach. In: Proceedings UBICOMM, Lisbon, Portugal, pp. 1–6 (2011)

    Google Scholar 

  12. Cardinale, Y., Rukoz, M.: A framework for reliable execution of transactional composite web services. In: MEDES, pp. 129–136 (2011)

    Google Scholar 

  13. Chi, Y.-L., Lee, H.-M.: A formal modeling platform for composing web services. Expert Syst. Appl. 34(2), 1500–1507 (2008)

    Article  Google Scholar 

  14. Ding, Z., Wang, J., Jiang, C.: An Approach for Synthesis Petri Nets for Modeling and Verifying Composite Web Service. J. Inf. Sci. Eng. 24(5), 1309–1328 (2008)

    Google Scholar 

  15. Dong, Y., Xia, Y., Sun, T., Zhu, Q.: Modeling and performance evaluation of service choreography based on stochastic petri net. JCP 5(4), 516–523 (2010)

    Google Scholar 

  16. Du, Y., Li, X., Xiong, P.: A Petri Net Approach to Mediation-aided Composition of Web Services. IEEE Transactions on Automation Science and Engineering (2012) (to appear)

    Google Scholar 

  17. El Haddad, J., Manouvrier, M., Rukoz, M.: TQoS: Transactional and QoS-aware selection algorithm for automatic Web service composition. IEEE Trans. on Services Computing 3(1), 73–85 (2010)

    Article  Google Scholar 

  18. Fang, X., Jiang, C., Fan, X.: Independent global constraints for web service composition based on GA and APN. In: Proc. of the First ACM/SIGEVO Summit on Genetic and Evolutionary Computation, GEC 2009, pp. 119–126 (2009)

    Google Scholar 

  19. Gabrel, V., Manouvrier, M., Megdiche, I., Murat, C.: A new 0-1 linear program for qos and transactional-aware web service composition. In: 4th IEEE Int. Workshop on Performance Evaluation of Communications in Distributed Systems and Web based Service Architectures (PEDISWESA), Cappadocia, Turkey (2012) (to appear)

    Google Scholar 

  20. Hamadi, R., Benatallah, B.: A Petri net-based Model for Web Service Composition. In: Proc. of the 14th Australasian Database Conf., ADC 2003, vol. 17, pp. 191–200 (2003)

    Google Scholar 

  21. Hendler, J.: Web 3.0 emerging. Computer 42, 111–113 (2009)

    Article  Google Scholar 

  22. Hinz, S., Schmidt, K., Stahl, C.: Transforming BPEL to Petri nets. In: van der Aalst, W.M.P., Benatallah, B., Casati, F., Curbera, F. (eds.) BPM 2005. LNCS, vol. 3649, pp. 220–235. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  23. Jaeger, M.C., Rojec-Goldmann, G., Mühl, G.: QoS Aggregation for Web Service Composition using Workflow Patterns. In: 8th Int. Enterprise Distributed Object Computing Conf. (EDOC), Monterey, California, USA, pp. 149–159 (2004)

    Google Scholar 

  24. Li, B., Xu, Y., Wu, J., Zhu, J.: A petri-net and qos based model for automatic web service composition. Journal of Software 7(1), 149–155 (2012)

    MathSciNet  Google Scholar 

  25. Li, Q., Liu, A., Liu, H., Lin, B., Huang, L., Gu, N.: Web services provision: solutions, challenges and opportunities (invited paper). In: Proc. of the 3rd Int. Conf. on Ubiquitous Information Management and Communication, ICUIMC 2009, pp. 80–87 (2009)

    Google Scholar 

  26. Li, X., Fan, Y., Sheng, Q.Z., Maamar, Z., Zhu, H.: A Petri Net Approach to Analyzing Behavioral Compatibility and Similarity of Web Services. IEEE Trans. on Systems, Man, and Cybernetics, Part A, 510–521 (2011)

    Google Scholar 

  27. Liu, A., Li, Q., Huang, L., Xiao, M.: FACTS: A Framework for Fault Tolerant Composition of Transactional Web Services. IEEE Trans. on Services Computing 3(1), 46–59 (2010)

    Article  Google Scholar 

  28. Liu, X., Xu, Z.: Independent Global Constraints Web Service Composition Optimization Based on Color Petri Net. In: Proc. of Int. Conf. on Computational Intelligence and Natural Computing, CINC 2009, vol. 02, pp. 217–220 (2009)

    Google Scholar 

  29. Lohmann, N., Massuthe, P., Stahl, C., Weinberg, D.: Analyzing interacting WS-BPEL processes using flexible model generation. Data Knowl. Eng. 64(1), 38–54 (2008)

    Article  Google Scholar 

  30. Lohmann, N., Verbeek, E., Dijkman, R.: Petri net transformations for business processes — a survey. In: Jensen, K., van der Aalst, W.M.P. (eds.) ToPNoC II. LNCS, vol. 5460, pp. 46–63. Springer, Heidelberg (2009)

    Google Scholar 

  31. Mao, C.: Control Flow Complexity Metrics for Petri Net-based Web Service Composition. Journal of Software 5(11), 1292–1299 (2010)

    Article  Google Scholar 

  32. Martens, A.: On compatibility of web services. Petri Net Newsletter 65, 12–20 (2003)

    Google Scholar 

  33. Martens, A.: Analyzing Web Service Based Business Processes. In: Cerioli, M. (ed.) FASE 2005. LNCS, vol. 3442, pp. 19–33. Springer, Heidelberg (2005)

    Chapter  Google Scholar 

  34. Massuthe, P., Reisig, W., Schmidt, K.: An Operating Guideline Approach to the SOA. Annals of Mathematics, Computing and Teleinformatics 1, 35–43 (2005)

    Google Scholar 

  35. Mei, X., Jiang, A., Li, S., Huang, C., Zheng, X., Fan, Y.: A Compensation Paired Net-based Refinement Method for Web Services Composition. Advances in Information Sciences and Service Sciences 3(4), 169–181 (2011)

    Article  Google Scholar 

  36. Mei, X., Jiang, A., Zheng, F., Li, S.: Reliable Transactional Web Service Composition Using Refinement Method. In: Proc. of the 2009 WASE Int. Conf. on Information Engineering, ICIE 2009, vol. 01, pp. 422–426 (2009)

    Google Scholar 

  37. Montagut, F., Molva, R., Tecumseh Golega, S.: Automating the Composition of Transactional Web Services. Int. J. Web Service Res. 5(1), 24–41 (2008)

    Article  Google Scholar 

  38. Morimoto, S.: A Survey of Formal Verification for Business Process Modeling. In: Bubak, M., van Albada, G.D., Dongarra, J., Sloot, P.M.A. (eds.) ICCS 2008, Part II. LNCS, vol. 5102, pp. 514–522. Springer, Heidelberg (2008)

    Chapter  Google Scholar 

  39. Ochmańska, E.: Web Services Composition Framework with Petri Net Based Schemas. In: Nguyen, N.T., Katarzyniak, R.P., Janiak, A. (eds.) New Challenges in Computational Collective Intelligence. SCI, vol. 244, pp. 3–14. Springer, Heidelberg (2009)

    Chapter  Google Scholar 

  40. Ouyang, C., Verbeek, E., van der Aalst, W.M.P., Breutel, S., Dumas, M., ter Hofstede, A.H.M.: Formal semantics and analysis of control flow in WS-BPEL. Sci. Comput. Program. 67(2-3), 162–198 (2007)

    Article  MATH  Google Scholar 

  41. Qian, Z., Lu, S., Xie, L.: Colored Petri Net Based Automatic Service Composition. In: Proc. of the 2nd IEEE Asia-Pacific Service Computing Conf., pp. 431–438 (2007)

    Google Scholar 

  42. Rabbi, F., Wang, H., MacCaull, W.: Compensable workflow nets. In: Dong, J.S., Zhu, H. (eds.) ICFEM 2010. LNCS, vol. 6447, pp. 122–137. Springer, Heidelberg (2010)

    Chapter  Google Scholar 

  43. Schafer, M., Dolog, P., Nejdl, W.: An environment for flexible advanced compensations of web service transactions. ACM Transactions on the Web 2 (2008)

    Google Scholar 

  44. Shih, D.-H., Chiang, H.-S., Lin, B.: A Generalized Associative Petri Net for Reasoning. IEEE Trans. on Knowl. and Data Eng. 19(9), 1241–1251 (2007)

    Article  Google Scholar 

  45. Tan, W., Fan, Y., Zhou, M.: A Petri Net-Based Method for Compatibility Analysis and Composition of Web Services in Business Process Execution Language. IEEE T. Automation Science and Engineering 6(1), 94–106 (2009)

    Article  Google Scholar 

  46. Thomas, J.P., Thomas, M., Ghinea, G.: Modeling of web services flow. In: IEEE Int. Conf. on E-Commerce (CEC), Stillwater, OK, USA, pp. 391–398 (2003)

    Google Scholar 

  47. Valero, V., Macià, H., Pardo, J.J., Cambronero, M.E., Díaz, G.: Transforming Web Services Choreographies with priorities and time constraints into prioritized-time colored Petri nets. Sci. Comput. Program. 77(3), 290–313 (2012)

    Article  MATH  Google Scholar 

  48. van der Aalst, W.M.P.: The application of Petri nets to workflow management. The Journal of Circuits, Systems and Computers 8(1), 21–66 (1998)

    Article  Google Scholar 

  49. W3C, Web Services Choreography Description Language (WS-CDL) (2004), http://www.w3.org/TR/2004/WD-ws-cdl-10-20041217/ (extracted on April 2012)

  50. Wang, Y., Fan, Y., Jiang, A.: A paired-net based compensation mechanism for verifying Web composition transactions. In: 4th International Conference on New Trends in Information Science and Service Science (NISS), pp. 1–6 (2010)

    Google Scholar 

  51. Xia, Y., Liu, Y., Liu, J., Zhu, Q.: Modeling and performance evaluation of bpel processes: A stochastic-petri-net-based approach. IEEE Trans. on Systems, Man, and Cybernetics, Part A 42(2), 503–510 (2012)

    Article  Google Scholar 

  52. Xiong, P., Fan, Y., Zhou, M.: A Petri Net Approach to Analysis and Composition of Web Services. IEEE Transact. on Systems, Man, and Cybernetics, Part A 40(2), 376–387 (2010)

    Article  Google Scholar 

  53. Yang, Y., Tan, Q., Xiao, Y.: Verifying web services composition based on hierarchical colored petri nets. In: Proc. of the 1st Int. Workshop on Interoperability of Heterogeneous Information Systems, IHIS 2005, pp. 47–54 (2005)

    Google Scholar 

  54. Yang, Y., Tan, Q., Xiao, Y., Liu, F., Yu, J.: Transform BPEL workflow into hierarchical CP-nets to make tool support for verification. In: Zhou, X., Li, J., Shen, H.T., Kitsuregawa, M., Zhang, Y. (eds.) APWeb 2006. LNCS, vol. 3841, pp. 275–284. Springer, Heidelberg (2006)

    Chapter  Google Scholar 

  55. Yu, H., Fan, G., Chen, L., Liu, D.: Analyzing time constrained service composition based on Petri net. In: 3rd Int. Symposium on Electronic Commerce and Security Workshops, pp. 68–71 (2010)

    Google Scholar 

  56. Yu, Q., Liu, X., Bouguettaya, A., Medjahed, B.: Deploying and managing web services: issues, solutions, and directions. The VLDB Journal 17(3), 537–572 (2008)

    Article  Google Scholar 

  57. Zhang, Z., Hong, F., Xiao, H.: A colored petri net-based model for web service composition. Journal of Shanghai University (English Edition) 12, 323–329 (2008)

    Article  Google Scholar 

  58. Zhao, Z., Wei, J., Lin, L., Ding, X.: A Concurrency Control Mechanism for Composite Service Supporting User-Defined Relaxed Atomicity. In: The 32nd Annual IEEE Int. Computer Software and Applications Conf., pp. 275–278 (2008)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Dep. de Computación y T.I., Universidad Simón Bolívar, Caracas, Venezuela

    Yudith Cardinale

  2. LAMSADE, CNRS UMR 7243, Université Paris-Dauphine, Paris, France

    Joyce El Haddad, Maude Manouvrier & Marta Rukoz

  3. Université Paris Ouest Nanterre La Défense, Nanterre, France

    Marta Rukoz

Authors
  1. Yudith Cardinale
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Joyce El Haddad
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Maude Manouvrier
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Marta Rukoz
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Arizona State University, 85281, Tempe, AZ, USA

    Zoé Lacroix

  2. Universidad Simón Bolívar, 1080, Caracas, Venezuela

    Edna Ruckhaus  & Maria-Esther Vidal  & 

Rights and permissions

Reprints and permissions

Copyright information

© 2013 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Cardinale, Y., El Haddad, J., Manouvrier, M., Rukoz, M. (2013). Web Service Composition Based on Petri Nets: Review and Contribution. In: Lacroix, Z., Ruckhaus, E., Vidal, ME. (eds) Resource Discovery. RED 2012. Lecture Notes in Computer Science, vol 8194. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-45263-5_5

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-45263-5_5

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-45262-8

  • Online ISBN: 978-3-642-45263-5

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation