With the increasing complexity of network software, how to ensure safety of network software function and performance becomes more and more important. Based on the characteristics of network software and framework of RGPS requirement meta-model, this paper proposes safety verification of RGPS service layer meta-model. Firstly, it uses BPEL language to describe RGPS service layer meta-model into BPEL model. And then, it uses Promela language to achieve the modeling of BPEL model. Next, it inputs LTL formula to carry on safety verification analysis of RGPS service layer meta-model. Finally, the effectiveness of this verification framework is proved by an urban traffic system example.