Design transformation and prototyping using multiple viewpoints

被引:0
|
作者
Friel, G
Budgen, D
机构
关键词
design transformation; design viewpoint; formal methods; mascot;
D O I
10.1016/S0950-5849(96)01130-5
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
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.
引用
收藏
页码:91 / 105
页数:15
相关论文
共 50 条
  • [1] DESIGN TRANSFORMATION AND ABSTRACT DESIGN PROTOTYPING
    FRIEL, G
    BUDGEN, D
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1991, 33 (09) : 707 - 719
  • [2] Augmented Prototyping as a design means for industrial design -: A multiple case analysis
    Verlinden, Jouke
    Horvath, Lmre
    [J]. VIRTUAL AND RAPID MANUFACTURING: ADVANCED RESEARCH IN VIRTUAL AND RAPID PROTOTYPING, 2008, : 739 - 746
  • [3] Viewpoints, Transformation, Configuration and Conformance
    Linington, Peter F.
    [J]. EDOCW: 2008 12TH ENTERPRISE DISTRIBUTED OBJECT COMPUTING CONFERENCE WORKSHOPS, 2008, : 52 - 57
  • [4] SUPPORTING MULTIPLE ENGINEERING VIEWPOINTS IN COMPUTER-AIDED DESIGN USING ONTOLOGY-BASED ANNOTATIONS
    Li, Chun Lei
    McMahon, Chris
    Newnes, Linda
    [J]. DESIGN FOR HARMONIES, VOL 6: DESIGN INFORMATION AND KNOWLEDGE, 2013,
  • [5] Design and Prototyping of Intelligent Bin by Using AIoT
    Chumuang, Narumol
    Kocento, Khomson
    Ketcham, Mahasak
    Farooq, Adil
    [J]. INTERNATIONAL CONFERENCE ON CYBERNETICS AND INNOVATIONS (ICCI 2022), 2022,
  • [6] Teaching computer design using virtual prototyping
    Williams, RD
    Klenke, RH
    Aylor, JH
    [J]. IEEE TRANSACTIONS ON EDUCATION, 2003, 46 (02) : 296 - 301
  • [7] System design using virtual prototyping techniques
    Huang, P
    Kar, P
    Sleder, A
    Eidenschink, B
    [J]. 1998 IEEE INTERNATIONAL CONFERENCE ON SYSTEMS, MAN, AND CYBERNETICS, VOLS 1-5, 1998, : 973 - 978
  • [8] Using IC prototyping to optimize design implementation
    Synopsys Inc.
    [J]. EDN, 2008, 6 (63-74)
  • [9] Multiple FPGAs based prototyping and debugging with complete design flow
    Azeem, Muhammad Moazam
    Chotin-Avot, Roselyne
    Farooq, Umer
    Ravoson, Maminionja
    Mehrez, Habib
    [J]. PROCEEDINGS OF 2016 11TH INTERNATIONAL DESIGN & TEST SYMPOSIUM (IDT), 2016, : 171 - 176
  • [10] UI prototyping for multiple devices through specifying interaction design
    Falb, Juergen
    Popp, Roman
    Roeck, Thomas
    Jelinek, Helmut
    Arnautovic, Edin
    Kaindl, Hermann
    [J]. HUMAN-COMPUTER INTERACTION - INTERACT 2007, PT 1, PROCEEDINGS, 2007, 4662 : 136 - 149