Safety Verification of RGPS Service Layer Meta-model

DOI

10.2991/icmcs-18.2018.2How to use a DOI?

Keywords

BPEL; Promela; LTL formula; safety verification

Abstract

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.

Copyright

© 2018, the Authors. Published by Atlantis Press.

Open Access

This is an open access article distributed under the CC BY-NC license (http://creativecommons.org/licenses/by-nc/4.0/).

Download article (PDF)

TY  - CONF
AU  - Hao Yang
PY  - 2018/10
DA  - 2018/10
TI  - Safety Verification of RGPS Service Layer Meta-model
BT  - Proceedings of the 8th International Conference on Management and Computer Science (ICMCS 2018)
PB  - Atlantis Press
SP  - 10
EP  - 14
SN  - 2352-538X
UR  - https://doi.org/10.2991/icmcs-18.2018.2
DO  - 10.2991/icmcs-18.2018.2
ID  - Yang2018/10
ER  -