Design transformation and prototyping using multiple viewpoints

Friel, Grant; Budgen, David

Abstract

One of the problems in designing the software for large real-time systems is to ensure that the eventual implementation corresponds to the design specifications. In this paper we describe how the process of automatically transforming a systematic (and diagrammatical) design specification into an 'intermediate' outline of a formal specification can be enhanced by including information about the intended behaviour of the system. Since the formal specification generated is itself executable, this means that the designer can easily generate quite extensive prototypes as a means of exploring his or her ideas, and these can then be used as a more comprehensive basis for creating the eventual implementation. We also explore the effects of adding information about timing and constraints to the behavioural description, and show the consequences of this in terms of creating further enhancements to the formal specification produced from our system.

Citation

Friel, G., & Budgen, D. (1997). Design transformation and prototyping using multiple viewpoints. Information and Software Technology, 39(2), 91-105. https://doi.org/10.1016/s0950-5849%2896%2901130-5

• Journal Article Type: Article
• Publication Date: Jan 1, 1997
• Deposit Date: Feb 23, 2025
• Journal: Information and Software Technology
• Print ISSN: 0950-5849
• Electronic ISSN: 1873-6025
• Publisher: Elsevier
• Peer Reviewed: Peer Reviewed
• Volume: 39
• Issue: 2
• Pages: 91-105
• DOI: https://doi.org/10.1016/s0950-5849%2896%2901130-5
• Public URL: https://durham-repository.worktribe.com/output/3501143