Developing multi-threaded Java applications from high-level models in the PEPA stochastic process algebra

The design and implementation of concurrent applications is more challenging than that of sequential applications. The aim of this work is to address this challenge by producing an application which can generate skeleton Java systems from a high-level PEPA modelling language description. By automating the process of translating the design into a Java skeleton system, the result will maintain the performance and behavioural characteristics of the model, providing a sound framework for completing the concurrent application. This method accelerates the process of initial implementation whilst ensuring the system characterisics remain true to the high-level model.