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.
PARSE and DISC Integration for Parallel Software Development / Pateman, S.; Jelly, I.; Lloyd, D.; Collingwood, P.; Russo, Stefano; Savy, C.. - STAMPA. - (1996), pp. 279-286. (Intervento presentato al convegno IEEE Second International Conference on Algorithms and Architectures for Parallel Processing (ICAPP '96) tenutosi a Singapore nel 11-13 giugno 1996) [10.1109/ICAPP.1996.562886].
PARSE and DISC Integration for Parallel Software Development
RUSSO, STEFANO;
1996
Abstract
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.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
