Computer-aided prototyping: transformational approach

Research output: Contribution to journalArticlepeer-review


The paper outlines an experiment in the development of a computer-aided prototyping tool. The idea is to generate a prototype from requirements specification by a succession of transformations. The objective is to support early validation of requirements and easier modification of specification. The tool involves a set of transformation rules that transforms a non-executable specification into an executable prototype. The specification is written in the algebraic language ELICSIR and the prototype in the logic programming language Prolog. The prototype produced by transformation is formally correct with respect to the original specification. In addition, it is a high-level product that keeps a sufficient trace of the original specification; this allows the specification to be easily adjusted according to the user's comments about the prototype execution. The computer-aided prototyping approach is illustrated by showing the application of the successive transformation steps on the specification of a short and complete example.

Original languageEnglish
Pages (from-to)685-697
Number of pages13
JournalInformation and Software Technology
Issue number9
Publication statusPublished - 1 Jan 1991


  • CASE
  • computer-aided software engineering
  • prototyping
  • requirements specification
  • requirements validation
  • transformations


Dive into the research topics of 'Computer-aided prototyping: transformational approach'. Together they form a unique fingerprint.

Cite this