Paper Info
Title
A Formal Approach for Modeling and Verification of Distributed Systems.
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, pi-calculus and NuSMV within one framework. Moreover, the practicality of the proposed approach is illuminated though a case study of scheduling road emergency service.
Year
DOI
Venue
2015
10.1007/978-3-319-38904-2_33
Lecture Notes of the Institute for Computer Sciences Social Informatics and Telecommunications Engineering
Keywords
Field
DocType
UML seqence diagram,pi-calculus,Model checking,Formal methods
Intelligent verification,Computer science,Correctness,Runtime verification,Verification,Formal methods,Systems Modeling Language,Software verification,Formal verification,Distributed computing
Conference
Volume
ISSN
Citations 
167
1867-8211
3
PageRank 
References 
Authors
0.40
4
5
Name
Order
Citations
PageRank
Gang Ren171.11
Pan Deng21938.33
Chao Yang339939.13
Jianwei Zhang435371.98
Qingsong Hua5111.56