State Model of Service Reliability

We propose a simple formalism for modelling of a service reliability. A service is defined as an ordered set of states of a modelled application. In the model, a certain reliability is assigned to each application state. Reliability of a service is expressed in terms of above partial reliabilities.