Early Prototyping of Reactive Systems Through the Generation of SDL Specifications from Semi-formal Development Documents
In 3rd SAM (SDL and MSC) Workshop, June 2002, SDL Forum Society; University of Wales
Abstract
Prototyping of software systems can significantly cut down the number of errors that are
introduced by misunderstandings between users and developers. Further, it allows the detection
of errors that can hardly be found through inspection. Therefore, if prototyping can be made
available early in the software development process, the costly removal of errors in later
stages of development can be reduced. In this paper, a prototyping approach for supporting
the development of reactive systems is presented. In this approach, prototypes are generated
from semi-formal development documents, which are predominant during the requirements engineering
phase. To perform this generation step in a systematic manner, a formal model is employed that
describes all types of development products and their relations for a given requirements engineering method.
(PDF, 158 KB, gzipped postscript, 235 KB)
