DocumentCode :
3242501
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
fYear :
2011
fDate :
27-29 May 2011
Firstpage :
685
Lastpage :
689
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;
fLanguage :
English
Publisher :
ieee
Conference_Titel :
Communication Software and Networks (ICCSN), 2011 IEEE 3rd International Conference on
Conference_Location :
Xi´an
Print_ISBN :
978-1-61284-485-5
Type :
conf
DOI :
10.1109/ICCSN.2011.6014818
Filename :
6014818
Link To Document :
بازگشت