From SPA models to programs (1996)
| Venue: | Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling |
| Citations: | 9 - 7 self |
BibTeX
@INPROCEEDINGS{Gilmore96fromspa,
author = {Stephen Gilmore and Jane Hillston and Robert Holton},
title = {From SPA models to programs},
booktitle = {Proceedings of the Fourth Annual Workshop on Process Algebra and Performance Modelling},
year = {1996},
pages = {179--198}
}
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
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. The aim of our method is to ensure that the performance investigation which has been conducted ...
