DESIGN TRANSFORMATION AND ABSTRACT DESIGN PROTOTYPING

被引:2
|
作者
FRIEL, G
BUDGEN, D
机构
[1] Department of Computing Science, University of Stirling, Stirling
关键词
DESIGN MODEL; SOFTWARE TOOLS; PROTOTYPING; MASCOT; EXECUTABLE SPECIFICATIONS;
D O I
10.1016/0950-5849(91)90044-C
中图分类号
TP [自动化技术、计算机技术];
学科分类号
0812 ;
摘要
In the process of software design, both 'structured' diagrams as well as mathematical formalisms can provide useful ways of expressing a designer's ideas about a solution to a problem. The paper describes a transformation tool that generates executable specifications in the CSP/me too notation, taking as its input a high-level MASCOT design. The resulting specifications can then be used to 'execute' the design, so that the designer can explore the dynamic behaviour of the intended system. The design modelling strategies of the two forms are discussed and the ways in which their use can be combined to support the development of a system design examined.
引用
收藏
页码:707 / 719
页数:13
相关论文
共 50 条
  • [1] Design transformation and prototyping using multiple viewpoints
    Friel, G
    Budgen, D
    [J]. INFORMATION AND SOFTWARE TECHNOLOGY, 1997, 39 (02) : 91 - 105
  • [2] Knowledge representation and processing in abstract prototyping of design support tools
    Opiyo, EZ
    Horváth, I
    Vergeest, JSM
    [J]. DESIGN RESEARCH - THEORIES, METHODOLOGIES, AND PRODUCT MODELLING, 2001, : 469 - 476
  • [3] Systematic design of program transformation frameworks by abstract interpretation
    Cousot, P
    Cousot, R
    [J]. ACM SIGPLAN NOTICES, 2002, 37 (01) : 178 - 190
  • [4] EXTENDED ABSTRACT TRANSDESIGN: A PROSPECTIVE EXERCISE ON DESIGN TRANSFORMATION
    Vasquez Arias, Mauricio
    Rincon Quijano, Edgard David
    Valbuena Buitrago, Widman Said
    Molina Osorio, Viviana
    Alejandro Guzman, Jesus
    Gonzalez-Tobon, Juanita
    [J]. LEONARDO, 2022, 55 (02) : 155 - 156
  • [5] System based on abstract prototyping and motion capture to support car interior design
    Caruso, Giandomenico
    Camere, Serena
    Bordegoni, Monica
    [J]. Computer-Aided Design and Applications, 2016, 13 (02): : 228 - 235
  • [6] On the abstract metaphorical design in the transformation of traditional houses in Guanzhong region
    Li, Zhao
    Xu, Jiansheng
    [J]. SUSTAINABLE DEVELOPMENT OF URBAN AND RURAL AREAS, 2014, 507 : 19 - 30
  • [7] Model-driven design, refinement and transformation of abstract interactions
    Almeida, Joao Paulo A.
    Dijkman, Remco
    Pires, Luis Ferreira
    Quartel, Dick
    Van Sinderen, Marten
    [J]. INTERNATIONAL JOURNAL OF COOPERATIVE INFORMATION SYSTEMS, 2006, 15 (04) : 599 - 632
  • [8] Abstract design
    Poeche, Juliane
    [J]. TANZ, 2022, (11): : 58 - 61
  • [9] PROTOTYPING IN IS DESIGN AND DEVELOPMENT
    SWIFT, MK
    [J]. JOURNAL OF SYSTEMS MANAGEMENT, 1989, 40 (07): : 14 - 20
  • [10] DESIGN PROTOTYPING OF SYSTEMS
    Camburn, Bradley Adam
    Arlitt, Ryan
    Perez, K. Blake
    Anderson, David
    Choo, Pui Kun
    Lim, Terry
    Gilmour, Adam
    Wood, Kristin
    [J]. DS87-3 PROCEEDINGS OF THE 21ST INTERNATIONAL CONFERENCE ON ENGINEERING DESIGN (ICED 17), VOL 3: PRODUCT, SERVICES AND SYSTEMS DESIGN, 2017, : 211 - 220