CPN Model Based Standard Feature Verification Method for REST Service Architecture

  • Jing LiuEmail author
  • Zhen-Tian Liu
  • Yu-Qiang Zhao
Conference paper
Part of the Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering book series (LNICST, volume 268)


The representational state transfer (REST) service architecture is widely used in large-scale and scalable distributed web systems. If the REST service architecture does not comply with its standard feature constrains, it can result in degraded performance or low scalability of the REST-based web systems. Therefore, in order to enhance the quality of system designing, it is necessary to verify whether the system design meets the standard feature constrains of the REST service architecture. In this paper, we propose a standard feature constrains verification method for REST service architecture based on Colored Petri Nets (CPN) model. Firstly, five standard feature constrains of the REST service architecture are modeled using the CPN. Then a verification method is proposed based on synchronized matching of the execution paths in model state space. Lastly, we validate the usability and validity of the proposed verification method using a practical course management web system based on the REST service architecture. Experimental results show that our method can effectively confirm whether the web application system design based on REST service architecture conforms to the standard feature constrains of the REST service architecture. Besides, it can also provide intuitive and feasible execution data when the standard feature constraints are not met, which can facilitate the defects location and correction of the following design of application systems.


REST service architecture colored Petri nets model Verification of standard features 



This work was supported in part by the National Natural Science Foundation of Chain (No. 61662051, No. 61262017).


  1. 1.
    Fielding, R.T.: Architectural styles and the design of network-based software architectures, p. 303. University of California, Irvine (2000)Google Scholar
  2. 2.
    Paganelli, F., Turchi, S., Giuli, D.: A web of things framework for RESTful applications and its experimentation in a smart city. IEEE Syst. J. 10(4), 1412–1423 (2017)CrossRefGoogle Scholar
  3. 3.
    Song, Y., Xu, K., Liu, K.: Research on web instant messaging using REST web service. In: IEEE Symposium on Web Society, pp. 497–500 (2010)Google Scholar
  4. 4.
    Liu, J., Ye, X., Zhou, J.: Colored Petri net hierarchical model of complex network software and model integration verification method. High-Tech Commun. 23(11), 1139–1147 (2013)Google Scholar
  5. 5.
    Benabdelhafid, M.S., Boufaida, M.: Toward a better interoperability of enterprise information systems: a CPNs and timed CPNs -based web service interoperability verification in a choreography. Procedia Technol. 16, 269–278 (2014)CrossRefGoogle Scholar
  6. 6.
    Sun, L.: Dynamic composition modeling and validation OD web services based on hierarchical colored Petri nets. China University of Petroleum, Dongying (2011)Google Scholar
  7. 7.
    Costa, B., Pires, P.F., Merson, P.: Evaluating REST architectures-approach, tooling and guidelines. J. Syst. Softw. 112, 156–180 (2016)CrossRefGoogle Scholar
  8. 8.
    Jensen, K., Kristensen, L.M., Wells, L.: Coloured Petri nets and CPN tools for modeling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3–4), 213–254 (2007)CrossRefGoogle Scholar
  9. 9.
    Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modeling and Validation of Concurrent System, pp. 95–188. Springer, Berlin (2009). Scholar
  10. 10.
    Wu, X., Zhu, H.: Formalization and analysis of the REST architecture from the process algebra perspective. Future Gen. Comput. Syst. 56, 153–168 (2016)CrossRefGoogle Scholar
  11. 11.
    Ting, Y.: Formal Modeling and Analysis of RESTful Web Services. East Chain Normal University, Shanghai (2015)Google Scholar
  12. 12.
    Adhipta, D., Hassan, M.F., Mahmood, A.K.: Web services extension model simulation in hierarchical colored Petri net. In: International Conference on Computer & Information Science, pp. 741–746. IEEE (2012)Google Scholar
  13. 13.
    Segura, S., Parejo, J.A., Troya, J., et al.: Metamorphic testing of RESTful web APIs. IEEE Trans. Softw. Eng. PP(99), 1 (2017)Google Scholar
  14. 14.
    Garriga, M., Mateos, C., Flores, A., et al.: RESTful service composition at a glance. J. Netw. Comput. Appl. 60(C), 32–53 (2016)Google Scholar
  15. 15.
    Rauf, I., Vistbakka, I., Troubitsyna, E.: Formal verification of stateful services with REST APIs using event-B. In: IEEE International Conference on Web Services, pp. 131–138. IEEE Computer Society (2018)Google Scholar

Copyright information

© ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering 2019

Authors and Affiliations

  1. 1.Inner Mongolia UniversityHohhotChina

Personalised recommendations