Design and code derivation in the PCSC methodology

https://doi.org/10.1016/0950-5849(94)90063-9Get rights and content

Abstract

A methodology called Parallel Communicating Sequential Code (PCSC) is currently being researched and developed for designing and coding parallel system software. To implement this methodology a parallel CASE tool is also being developed and refined hand-in-hand. The underlying philosophy behind the PCSC methodology is consistency between design, program code, configuration and documentation. Design is captured via pictures (diagrams) and annotations (text). The diagrams and text completely define a parallel design. They form an abstract language from which program code is to be derived automatically. Configuration refers to the specification of the software and hardware as well as mapping between them. Documentation involves generation of reports and documents on all aspects of the methodology. Automation (full or partial) is seen as the key player for ensuring consistency between the four main aspects of the methodology.

References (17)

  • K Karadia

    An investigation of software through pictures for use in parallel processing design

  • GA Manson

    Towards a CASE tool for parallel systems

  • A Boyle

    Parallel StP — a step towards a CASE tool for concurrent systems

  • GA Manson

    Modula-2 interface to OML

  • GA Manson et al.

    How to achieve replication within a CASE tool environment

  • GA Manson et al.

    A CASE tool for designing parallel systems: the architecture model

  • EA Cachia et al.

    CCDM — a design methodology for modelling communicating code in parallel systems

There are more references available in the full text version of this article.

Cited by (0)

View full text