Abstract
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).
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
Notes
- 1.
- 2.
Please note that the service discovery and selection problems are out of the scope of this paper.
- 3.
Expr is a mathematical expression that will not be detailed further here due to space limitation.
- 4.
Parameters are to be encoded in the URI or in the message body according to the HTTP format.
- 5.
- 6.
References
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
Chemaa, S., Elmansouri, R., Chaoui, A.: Web services modeling and composition approach using object-oriented petri nets. arXiv preprint arXiv:1304.2080 (2013)
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
Fielding, R.T.: Architectural styles and the design of network-based software architectures. Ph.D. thesis, University of California, Irvine (2000)
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)
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)
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)
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)
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)
Murata, T.: Petri Nets: properties, analysis and applications. Proc. IEEE 77(4), 541–580 (1989)
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)
Suda, B.: SOAP web services (2003). http://suda.co.uk/publications/MSc/brian.suda.thesis.pdf. Accessed 29 June 2010
Tian, B., Gu, Y.: Formal modeling and verification for web service composition. JSW 8(11), 2733–2737 (2013)
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)
Wu, X., Zhu, H.: Formalization and analysis of the REST architecture from the process algebra perspective. Future Gener. Comput. Syst. 56, 153–168 (2016). http://dx.doi.org/10.1016/j.future.2015.09.007
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)
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
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
Acknowledgement
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.
Author information
Authors and Affiliations
Corresponding author
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2017 Springer International Publishing AG
About this paper
Cite this paper
Kallab, L., Mrissa, M., Chbeir, R., Bourreau, P. (2017). Using Colored Petri Nets for Verifying RESTful Service Composition. In: Panetto, H., et al. On the Move to Meaningful Internet Systems. OTM 2017 Conferences. OTM 2017. Lecture Notes in Computer Science(), vol 10573. Springer, Cham. https://doi.org/10.1007/978-3-319-69462-7_32
Download citation
DOI: https://doi.org/10.1007/978-3-319-69462-7_32
Published:
Publisher Name: Springer, Cham
Print ISBN: 978-3-319-69461-0
Online ISBN: 978-3-319-69462-7
eBook Packages: Computer ScienceComputer Science (R0)