Using Colored Petri Nets for Verifying RESTful Service Composition
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 http://www.hit2gap.eu).
KeywordsREST 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.
- 2.Chemaa, S., Elmansouri, R., Chaoui, A.: Web services modeling and composition approach using object-oriented petri nets. arXiv preprint arXiv:1304.2080 (2013)
- 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.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.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
- 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
- 12.Suda, B.: SOAP web services (2003). http://suda.co.uk/publications/MSc/brian.suda.thesis.pdf. Accessed 29 June 2010
- 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
- 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.Zhao, X.: A linear logic approach to RESTful web service modelling and composition. Ph.D. thesis, University of Bedfordshire, UK (2013). http://hdl.handle.net/10547/301103
- 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). http://www.rintonpress.com/xjwe10/jwe-10-4/353-390.pdf Google Scholar