Using Colored Petri Nets for Verifying RESTful Service Composition

  • Lara KallabEmail author
  • Michael Mrissa
  • Richard Chbeir
  • Pierre Bourreau
Conference paper
Part of the Lecture Notes in Computer Science book series (LNCS, volume 10573)


RESTful services are an attractive technology for designing and developing web-based applications, as they facilitate reuse, interoperability, and loosely coupled interaction with generic clients (typically web browsers). Building RESTful service composition has received much interest to satisfy complex user requirements. However, verifying the correctness of a composition remains a tedious task. In this paper, we present a formal approach based on Colored Petri Nets (CPNs) to verify RESTful service composition. First, we show how CPNs are utilized for modeling the behavior of resources and their composition. Then, we present how this formal model can be used to verify relevant composition behavior properties. Our solution is illustrated with a scenario built upon an energy management web framework developed within the HIT2GAP H2020 European project (Highly Innovative building control Tools Tackling the energy performance GAP


REST architecture Resource composition Colored Petri Nets Composition properties verification 



HIT2GAP project has received funding from the European Union’s Horizon 2020 research and innovation programme under grant agreement No 680708.

The authors acknowledge that the development work is carried out in a complementary manner with SIBEX: a French project funded by the Energy Transition Institute INEF 4.


  1. 1.
    Alarcon, R., Wilde, E., Bellido, J.: Hypermedia-driven RESTful service composition. In: Maximilien, E.M., Rossi, G., Yuan, S.-T., Ludwig, H., Fantinato, M. (eds.) ICSOC 2010. LNCS, vol. 6568, pp. 111–120. Springer, Heidelberg (2011). doi: 10.1007/978-3-642-19394-1_12 CrossRefGoogle Scholar
  2. 2.
    Chemaa, S., Elmansouri, R., Chaoui, A.: Web services modeling and composition approach using object-oriented petri nets. arXiv preprint arXiv:1304.2080 (2013)
  3. 3.
    Decker, G., Lüders, A., Overdick, H., Schlichting, K., Weske, M.: RESTful Petri Net execution. In: Bruni, R., Wolf, K. (eds.) WS-FM 2008. LNCS, vol. 5387, pp. 73–87. Springer, Heidelberg (2009). doi: 10.1007/978-3-642-01364-5_5 CrossRefGoogle Scholar
  4. 4.
    Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. thesis, University of California, Irvine (2000)Google Scholar
  5. 5.
    Gehlot, V., Nigro, C.: An introduction to systems modeling and simulation with Colored Petri Nets. In: Proceedings of the Winter Simulation Conference, pp. 104–118. Winter Simulation Conference (2010)Google Scholar
  6. 6.
    Hamadi, R., Benatallah, B.: A Petri Net-based model for web service composition. In: Proceedings of the 14th Australasian Database Conference, vol. 17, pp. 191–200. Australian Computer Society, Inc. (2003)Google Scholar
  7. 7.
    Kristensen, L.M., Christensen, S., Jensen, K.: The practitioner’s guide to coloured petri nets. Int. J. Softw. Tools Technol. Transf. (STTT) 2(2), 98–132 (1998)CrossRefzbMATHGoogle Scholar
  8. 8.
    Li, B., Xu, Y., Wu, J., Zhu, J.: A Petri-Net and QoS based model for automatic web service composition. JSW 7(1), 149–155 (2012)Google Scholar
  9. 9.
    Liu, D., Wang, J., Chan, S.C., Sun, J., Zhang, L.: Modeling workflow processes with Colored Petri Nets. Comput. Ind. 49(3), 267–281 (2002)CrossRefGoogle Scholar
  10. 10.
    Murata, T.: Petri Nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)CrossRefGoogle Scholar
  11. 11.
    Pautasso, C.: Restful web services: principles, patterns, emerging technologies. In: Bouguettaya, A., Sheng, Q., Daniel, F. (eds.) Web Serv. Found., pp. 31–51. Springer, New York (2014)CrossRefGoogle Scholar
  12. 12.
    Suda, B.: SOAP web services (2003). Accessed 29 June 2010
  13. 13.
    Tian, B., Gu, Y.: Formal modeling and verification for web service composition. JSW 8(11), 2733–2737 (2013)CrossRefGoogle Scholar
  14. 14.
    Verborgh, R., Steiner, T., Van Deursen, D., De Roo, J., Van de Walle, R., Vallés, J.G.: Description and interaction of restful services for automatic discovery and execution. In: 2011 FTRA International workshop on Advanced Future Multimedia Services (AFMS 2011). Future Technology Research Association International (FTRA) (2011)Google Scholar
  15. 15.
    Wu, X., Zhu, H.: Formalization and analysis of the REST architecture from the process algebra perspective. Future Gener. Comput. Syst. 56, 153–168 (2016). CrossRefGoogle Scholar
  16. 16.
    Yang, Y., Tan, Q., Xiao, Y.: Verifying web services composition based on hierarchical Colored Petri Nets. In: Proceedings of the First International Workshop on Interoperability of Heterogeneous Information Systems, pp. 47–54. ACM (2005)Google Scholar
  17. 17.
    Zhao, X.: A linear logic approach to RESTful web service modelling and composition. Ph.D. thesis, University of Bedfordshire, UK (2013).
  18. 18.
    Zuzak, I., Budiselic, I., Delac, G.: A finite-state machine approach for modeling and analyzing restful systems. J. Web Eng. 10(4), 353–390 (2011). Google Scholar

Copyright information

© Springer International Publishing AG 2017

Authors and Affiliations

  • Lara Kallab
    • 1
    • 2
    Email author
  • Michael Mrissa
    • 1
  • Richard Chbeir
    • 1
  • Pierre Bourreau
    • 2
  1. 1.Univ Pau & Pays Adour, LIUPPA, EA3000AngletFrance
  2. 2.NOBATEK/INEF4AngletFrance

Personalised recommendations