Modeling Distributed Systems

  • Egon Börger
  • Alexander Raschke


Shows how to define high-level models to capture, explain and analyse the behavior of present-day distributed systems. Two concrete examples are developed: a) a ground model for the Ad hoc On-Demand Distance Vector routing protocol AODV, which serves to direct wireless communication between mobile independent agents, b) an abstract and a refined model for Cassandra, a noSQL database management system for concurrent processes. Both examples illustrate the role of ground models to provide a high-level yet complete explanation of complex system behavior, avoiding to bury behaviorally relevant design decisions into implementing code.


Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag GmbH Germany, part of Springer Nature 2018

Authors and Affiliations

  • Egon Börger
    • 1
  • Alexander Raschke
    • 2
  1. 1.Dipartimento di InformaticaUniversità di PisaPisaItaly
  2. 2.Institute of Software Engineering and Programming LanguagesUniversität UlmUlmGermany

Personalised recommendations