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
Link To Document