A Formal Approach for Modeling and Verification of Distributed Systems

Gang Ren; Pan Deng; Chao Yang; Jianwei Zhang; Qingsong Hua

Cloud Computing. 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Proceedings

Research Article

A Formal Approach for Modeling and Verification of Distributed Systems

Download

254 downloads

Cite: BibTeX Plain Text

@INPROCEEDINGS{10.1007/978-3-319-38904-2_33,
    author={Gang Ren and Pan Deng and Chao Yang and Jianwei Zhang and Qingsong Hua},
    title={A Formal Approach for Modeling and Verification of Distributed Systems},
    proceedings={Cloud Computing. 6th International Conference, CloudComp 2015, Daejeon, South Korea, October 28-29, 2015, Proceedings},
    proceedings_a={CLOUDCOMP},
    year={2016},
    month={5},
    keywords={UML seqence diagram 
        -calculus Model checking Formal methods},
    doi={10.1007/978-3-319-38904-2_33}
}

Gang Ren
Pan Deng
Chao Yang
Jianwei Zhang
Qingsong Hua
Year: 2016
A Formal Approach for Modeling and Verification of Distributed Systems
CLOUDCOMP
Springer
DOI: 10.1007/978-3-319-38904-2_33

Gang Ren^,*, Pan Deng^,*, Chao Yang^,*, Jianwei Zhang¹^,*, Qingsong Hua²^,*

1: Beihang University
2: Qingdao University

*Contact email: rengang2013@iscas.ac.cn, dengpan@iscas.ac.cn, yangchao@iscas.ac.cn, zhangjw@nlsde.buaa.edu.cn, 8988596@qq.com

Abstract

In recent year, distributed systems have become a mainstream paradigm in industry and how to ensure correctness and reliability is a great challenge for practicing engineers. Therefore, in this paper a formal approach is proposed for modelling and verification of distributed systems, which integrates UML sequence diagram, -calculus and NuSMV within one framework. Moreover, the practicality of the proposed approach is illuminated though a case study of scheduling road emergency service.

Keywords: UML seqence diagram -calculus Model checking Formal methods

Published: 2016-05-06
Appears in: SpringerLink

: http://dx.doi.org/10.1007/978-3-319-38904-2_33