Research On Standard Feature Constraint Verification Method Of REST Service Architecture Based On CPN Model

Currently,the Web services applications have been rapidly developed.The REST service architecture has been widely adopted.The REST service architecture refers to a new style abstracted by the design principles combined with the HTTP standard and the URI standard.The main advantage is that it is a more abstract way to server.The REST service architecture provides a set of architectural constraints,and its six standard feature constraints bring great benefits.REST service architecture attracts the attention and application of the software engineering theory circle and the industrial circle,because of its advantages such as convenience,high extensibility,high flexibility,low coupling and reusability,and research on it is increasing.With the wide application of the REST service architecture system,the misunderstandings and error-applications caused by it have also increased.At present,some REST service architecture applications break their standard feature constraints,therefore it will bring about corresponding problems.Destroying client-server constraints will increase the system server's time overhead;destroying cacheable constraints will reduce system access efficiency;destroying stateless constraints will reduce system scalability and affect system load balancing.Therefore,when designing based on a REST service architecture application system,the REST service architecture standard feature constraints should be verified.This paper focuses on the lack of formal verification of the standard feature constraints of REST service architecture.At the same time,given that the CPN method is characterized by hierarchical modeling,complex data,and issuance for the description and high degree of visualization,a REST service architecture standard based on the CPN model is proposed.The feature constraint verification method mainly includes three parts: the CPN modeling of the standard feature constraint of the REST service architecture,the verification method of the standard feature constraint of the REST service architecture,and the verification of the instance verification method of the standard feature constraint of the REST service architecture.By using the synchronous path matching core algorithm is to verify whether the Web application design based on the REST service architecture meets the standard feature constraints and provides intuitive and feasible execution data when not complying with the standard feature constraints.This facilitates the follow-up completion of defect location and modification of the application system design.