Diefenbruch, M.; Meyer, T.:
On Formal Modelling and Verifying Performance Requirements of Distributed Systems
In: Integrated Design and Process Technology : Proceedings the Second World Conference on Integrated Design and Process Technology / Cooke, D.; Kraemer, B.; Sheu, P.; Tsai, J.; Mittermeir, R. (Hrsg.). - Austin, Texas: Society for Design and Proce, 1996
Buchaufsatz/Kapitel in Sammelwerk1996Wirtschaftswissenschaften
Titel:
On Formal Modelling and Verifying Performance Requirements of Distributed Systems
Autor(in):
Diefenbruch, M.; Meyer, T.LSF
Erscheinungsjahr
1996

Abstract:

In addition to functional requirements, also non-functional requirements (e.g., response time, throughput, etc.) have essential impact on the design of distributed systems. In this paper, we identify important bidirectional relations between the requirements stage and the design stage according to these performance related system properties. We present our framework for formalizing non-functional requirements and systematically transform them into a formal and consistent design model. Knowledge about the performance of the distributed system gained by simulation based performance analysis may then feedback to new insights in the requirements stage.