In: Dumke, R.; Rautenstrauch, C.; Schmietendorf, A.; Scholz, A.: Lecture Notes in Computer Science, Vol. 2047: Performance Engineering. State of the Art and Current Trends, pages 317-332. Heidelberg: Springer-Verlag, 2001.
Abstract: This chapter presents a case study in performance engineering. The case study consists of a Software Retrieval System based on agents. The system is modelled in a pragmatic way using the Unified Modeling Language and in a formal way using stochastic Petri Nets. Once the system has been modelled, performance figures are obtained from the formal model. Finally, some concluding remarks are obtained from our experience in the software performance process.