Visual representation of stochastic process algebra models

Performance models are of increasing interest to professionals who do not have a background in mathematical analysis, it is important to provide additional mechanisms by developers may improve their confidence in the models they evaluate accurately reflect the systems they are studying. In this paper we discuss these issues, suggesting some basic techniques from program comprehension that be applied to models in a stochastic process algebra Keywords Visualisation, process algebra, model comprehension.

• Type: Conference
• Year: 2000
• Where: WOSP
• Authors: Nigel Thomas, Malcolm Munro, Peter J. B. King, Rob Pooley
• Keywords: Performance Models, Process Algebra, Software Engineering, Stochastic Process Algebra, WOSP 2000