Title :
Correctness verification of RGPS process meta-model
Author :
Lu, Xiangsheng ; Wu, Linzhao ; Yang, Hao ; Zhang, Zhiwei ; Gao, Xiao
Author_Institution :
Chengdu Inst. of Comput. Applic., Chinese Acad. of Sci., Chengdu, China
Abstract :
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.
Keywords :
formal specification; formal verification; systems analysis; temporal logic; transportation; Promela model; RGPS process meta model; Spin; correctness verification; linear temporal logic; model checking technology; urban transportation use case model; Computational modeling; LTL; Model Checking; Promela; RGPS; Spin;
Conference_Titel :
Communication Software and Networks (ICCSN), 2011 IEEE 3rd International Conference on
Conference_Location :
Xi´an
Print_ISBN :
978-1-61284-485-5
DOI :
10.1109/ICCSN.2011.6014818