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
fDate :
11/1/1993 12:00:00 AM
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;
Journal_Title :
Software Engineering Journal