Requirements Engineering by Generator-Based Prototyping
In Software Reuse Requirements, Technologies and Applications. Proceedings of the International Colloquium of the SFB 501, H. Alt, M. Becker, editor, pages 25-35, 2003 University of Kaiserslautern,
Abstract
Efficiency plays an important role in modern development methods. Especially activities that do not promote the actual software product need to be executed efficiently, because otherwise these activities would be neglected. Examples for these activities are establishing consistency between development documents and the creation of throw-away prototypes. In this paper, an approach for the automation of such activities during requirements engineering is presented, focusing on the creation of prototypes for reactive systems. The automation, and thereupon the efficient execution of these activities is achieved through the application of generators that are created on the basis of a formal product model. Such a product model describes all types of development artefacts and the relations between these products. In addition to the realization of document generators, this product model allows the systematic creation of tools for automating other development activities such as checking completeness of the specification or detecting conflicting requirements.
