Performance evaluation and formal description

A survey is presented of the evolution of performance modeling and of current trends in distributed systems. Also outlined is a proposal for integrated functional specification, time representation, and performance analysis. The author discusses two main trends, namely, a drastic change in modeling methodology and gradual changes to more formal model description techniques. The combination of process algebra and performance analysis assures constructivity. This means a systematic technique for the structured design of complex systems.<
>