Title :
Performance evaluation and formal description
Author_Institution :
Inst. for Math. Machines & Data Process., Friedrich-Alexander-Univ., Erlangen-Nuernberg, Germany
Abstract :
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
Keywords :
distributed processing; formal specification; performance evaluation; complex systems; distributed systems; formal description; integrated functional specification; performance analysis; performance evaluation; performance modeling; process algebra; structured design; time representation; Control systems; Data processing; Distributed computing; Hardware; High performance computing; Information analysis; Performance analysis; Proposals; Protocols; Transportation;
Conference_Titel :
CompEuro '91. Advanced Computer Technology, Reliable Systems and Applications. 5th Annual European Computer Conference. Proceedings.
Conference_Location :
Bologna
Print_ISBN :
0-8186-2141-9
DOI :
10.1109/CMPEUR.1991.257484
