From SPA models to programs

Research output: Chapter in Book/Report/Conference proceedingConference contribution

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 languageEnglish
Title of host publicationProceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling
Number of pages20
Publication statusPublished - 1996


Dive into the research topics of 'From SPA models to programs'. Together they form a unique fingerprint.

Cite this