Abstract / Description of output
Stochastic process algebra models allow desired performance characteristics to be assessed during the design of complex software systems. We present a software development method which aims to ensure that these performance characteristics are attained by an implementation. At the heart of the development method is a translation from a process algebra model into a program skeleton. 1 Introduction Stochastic process algebras (SPAs) are used to investigate the performance of systems which are composed of concurrently active communicating components. In this paper we consider the use of SPA models as vehicles for analysing and assessing alternative candidate designs for a software system which is to be constructed. Our contribution here is to propose a systematic method of advancing the construction of the system software once an initial SPA model has been selected as a suitable starting point.
Original language | English |
---|---|
Title of host publication | Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling |
Pages | 179-198 |
Number of pages | 20 |
Publication status | Published - 1996 |