Network Design Patterns are Measurable

Network design patterns may greatly improve the reliability of large distributed software systems. However, this potential is not fulfilled unless network patterns strictly follow accepted standards. We propose run-time measurement as a systematic verification tool to identify standard design patterns. It is shown that measured standard state probabilities have constant and finite asymptotic behavior. Case study simulations - for Component-Configurator and distributed observer, among other patterns - validate the approach.