Modeling Distributed Systems
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.