Correctness verification of RGPS process meta-model
Xiangsheng Lu, Jinzhao Wu, Hao Yang, Zhiwei Zhang, Xiao Zhi Gao · 2011
In order to implement correctly verification of process meta-model, this paper presents a measure combined with model checking technology which focuses on the correctly verification of process meta-model. Through establishing the Promela models of the process meta-model, and using linear temporal logic to describe the properties of models, at last, using the model checking tools Spin to verify the properties. And it is resulted to be available through urban transportation use-case model.