PARSE and DISC integration for parallel software development

The production of parallel software requires the use of automated tools to support a range of activities within the development process. This paper describes the translation of systems developed using the PARSE design methodology to DISC program code. The Translation rules are defined to convert the PARSE Behavioural Specification Language features into DISC code constructs. The conversion process is demonstrated in terms of the whole system design within a case study. The translation rules an the first step towards the development of a coherent environment to support the whole parallel software development process. This includes design support automated code generation, verification and performance prediction