Nowadays, 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 features, 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, before implementing the web system based on the REST service architecture, it is necessary to verify whether the system design meets the standard features of the REST service architecture. In this paper, we propose a standard feature verification method for REST service architecture based on colored Petri nets (CPN) model. Firstly, five standard feature constraints 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, that is, considering both the CPN model of the application system and the CPN model of standard feature constraints, synchronized matching is performed on the respective execution paths in the model state space. If these paths can be executed synchronously, the application system meets the requirement of the REST standard feature constraints. 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 the proposed method can effectively confirm whether the web application system design based on the REST service architecture conforms to the standard feature constraints 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.