• DocumentCode
    1000112
  • Title

    The PRESTIGE workbench: CASE support for the implementation phase of JSD

  • Author

    Ratcliff, Bryan ; Boyle, Maeve

  • Author_Institution
    Dept. of Comput. Sci. & Appl. Math., Aston Univ., Birmingham, UK
  • Volume
    8
  • Issue
    6
  • fYear
    1993
  • fDate
    11/1/1993 12:00:00 AM
  • Firstpage
    325
  • Lastpage
    337
  • Abstract
    The PRESTIGE Project commenced in January 1988 with the intention of focusing on an area that existing CASE tools for Jackson System Development had hitherto not addressed. The main aim of the Project was to build a toolkit which would provide comprehensive support for the implementation phase of JSD. This paper provides a brief description of JSD. The architecture of the PRESTIGE workbench and its functionality are described and illustrated through simple examples. In particular, the `vertical in-the-large´ transformation mechanisms and principles underpinning the toolkit´s implementation capability are discussed in relation to the following areas: inversion, state-vector separation, dismemberment, scheduler construction and buffering. The structural organisation of application code produced by using the workbench is described, and the conclusions summarise the success of the PRESTIGE Project. Sample screen dumps used are produced by the workbench itself and are based mainly on a simple banking system
  • Keywords
    formal specification; software tools; CASE support; Jackson system development; PRESTIGE workbench; application code; buffering; dismemberment; implementation phase; inversion; scheduler construction; simple banking system; state-vector separation; structural organisation; toolkit; transformation mechanisms;
  • fLanguage
    English
  • Journal_Title
    Software Engineering Journal
  • Publisher
    iet
  • ISSN
    0268-6961
  • Type

    jour

  • Filename
    254074