Skip to main content
SpringerLink
Log in

CPN Model Based Standard Feature Verification Method for REST Service Architecture

  • Conference paper
  • First Online:
Collaborative Computing: Networking, Applications and Worksharing (CollaborateCom 2018)

  • 846 Accesses

Abstract

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.

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 EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.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

References

  1. Fielding, R.T.: Architectural styles and the design of network-based software architectures, p. 303. University of California, Irvine (2000)

    Google Scholar 

  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)

    Article  Google Scholar 

  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. 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. 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)

    Article  Google Scholar 

  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. Costa, B., Pires, P.F., Merson, P.: Evaluating REST architectures-approach, tooling and guidelines. J. Syst. Softw. 112, 156–180 (2016)

    Article  Google Scholar 

  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)

    Article  Google Scholar 

  9. Jensen, K., Kristensen, L.M.: Coloured Petri Nets: Modeling and Validation of Concurrent System, pp. 95–188. Springer, Berlin (2009). https://doi.org/10.1007/b95112

    Book  MATH  Google Scholar 

  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)

    Article  Google Scholar 

  11. Ting, Y.: Formal Modeling and Analysis of RESTful Web Services. East Chain Normal University, Shanghai (2015)

    Google Scholar 

  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. 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. 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. 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 

Download references

Acknowledgment

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

Author information

Authors and Affiliations

  1. Inner Mongolia University, Hohhot, 010021, China

    Jing Liu, Zhen-Tian Liu & Yu-Qiang Zhao

Authors
  1. Jing Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Zhen-Tian Liu
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Yu-Qiang Zhao
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Jing Liu .

Editor information

Editors and Affiliations

  1. Shanghai University, Shanghai, China

    Honghao Gao

  2. University of West London, London, UK

    Xinheng Wang

  3. Hangzhou Dianzi University, Hangzhou Shi, Zhejiang, China

    Yuyu Yin

  4. London South Bank University, London, UK

    Muddesar Iqbal

Rights and permissions

Reprints and permissions

Copyright information

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

About this paper

Check for updates. Verify currency and authenticity via CrossMark

Cite this paper

Liu, J., Liu, ZT., Zhao, YQ. (2019). CPN Model Based Standard Feature Verification Method for REST Service Architecture. In: Gao, H., Wang, X., Yin, Y., Iqbal, M. (eds) Collaborative Computing: Networking, Applications and Worksharing. CollaborateCom 2018. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 268. Springer, Cham. https://doi.org/10.1007/978-3-030-12981-1_48

Download citation

  • DOI: https://doi.org/10.1007/978-3-030-12981-1_48

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-030-12980-4

  • Online ISBN: 978-3-030-12981-1

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation