Skip to main content
SpringerLink
Log in

A Formal Approach for Modeling and Verification of Distributed Systems

  • Conference paper
  • First Online:
Cloud Computing (CloudComp 2015)

Included in the following conference series:

  • 1541 Accesses

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.

Project supported by National Nature Science Foundation of China (No. 61100066).

This is a preview of subscription content, log in via an institution to check access.

Access this chapter

Log in via an institution
Chapter
USD 29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD 39.99
Price excludes VAT (USA)
  • Available as EPUB and PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Institutional subscriptions

References

  1. Knight, J.C.: Safety critical systems: challenges and directions. In: Proceedings of the International Conference on Software Engineering, pp. 547–550, Orlando, May 2002

    Google Scholar 

  2. Omg unified modeling language (omg uml). Normative Reference (2013). http://www.omg.org/spec/UML/2.5

  3. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes, i. Inf. Comput. 100(1), 1–40 (1992)

    Article  MathSciNet  MATH  Google Scholar 

  4. Cimatti, A., Clarke, E., Giunchiglia, E., Giunchiglia, F., Pistore, M., Roveri, M., Sebastiani, R., Tacchella, A.: NuSMV 2: an opensource tool for symbolic model checking. In: Brinksma, E., Larsen, K.G. (eds.) CAV 2002. LNCS, vol. 2404, pp. 359–364. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

  5. Chen, C., Chen, P., Chen, W.: A novel emergency vehicle dispatching system. In: Vehicular Technology Conference, pp. 1–5, June 2013

    Google Scholar 

  6. Rajamaki, J.: The mobi project: designing the future emergency service vehicle. IEEE Veh. Technol. Mag. 8(2), 92–99 (2013)

    Article  Google Scholar 

  7. Clarke, E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (2000)

    Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Institute of Software, Chinese Academy of Sciences, Beijing, 100091, China

    Gang Ren, Pan Deng & Chao Yang

  2. University of Chinese Academy of Sciences, Beijing, 100091, China

    Gang Ren, Pan Deng & Chao Yang

  3. Beihang University, Beijing, 100091, China

    Jianwei Zhang

  4. Qingdao University, Qingdao, 266071, China

    Qingsong Hua

Authors
  1. Gang Ren
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Pan Deng
    View author publications

    You can also search for this author in PubMed Google Scholar

  3. Chao Yang
    View author publications

    You can also search for this author in PubMed Google Scholar

  4. Jianwei Zhang
    View author publications

    You can also search for this author in PubMed Google Scholar

  5. Qingsong Hua
    View author publications

    You can also search for this author in PubMed Google Scholar

Corresponding author

Correspondence to Pan Deng .

Editor information

Editors and Affiliations

  1. Zhongnan University of Economics and Law, Wuhan, China

    Yin Zhang

  2. Ajou University, Suwon, Korea (Republic of)

    Limei Peng

  3. Department of Electrical Engineering, KAIST, Daejeon, Korea (Republic of)

    Chan-Hyun Youn

Rights and permissions

Reprints and permissions

Copyright information

© 2016 ICST Institute for Computer Sciences, Social Informatics and Telecommunications Engineering

About this paper

Cite this paper

Ren, G., Deng, P., Yang, C., Zhang, J., Hua, Q. (2016). A Formal Approach for Modeling and Verification of Distributed Systems. In: Zhang, Y., Peng, L., Youn, CH. (eds) Cloud Computing. CloudComp 2015. Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering, vol 167. Springer, Cham. https://doi.org/10.1007/978-3-319-38904-2_33

Download citation

  • DOI: https://doi.org/10.1007/978-3-319-38904-2_33

  • Published:

  • Publisher Name: Springer, Cham

  • Print ISBN: 978-3-319-38903-5

  • Online ISBN: 978-3-319-38904-2

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation