AutoPA: Automatic Prototyping from Requirements

被引：3
|
作者：
Li, Xiaoshan [1 ]
Liu, Zhiming [2 ]
Schaef, Martin [2 ]
Yin, Ling [2 ,3 ]
机构：
[1] Univ Macau, Fac Sci & Technol, Taipa, Peoples R China
[2] United Nations Univ Int Inst Software Technol, Macau, Peoples R China
[3] East China Normal Univ, Inst Software, Shanghai, Peoples R China
来源：
LEVERAGING APPLICATIONS OF FORMAL METHODS, VERIFICATION, AND VALIDATION, PT I | 2010年 / 6415卷
关键词：
Formal Semantics; Requirements Models; Prototyping; Validation;
D O I：
10.1007/978-3-642-16558-0_49
中图分类号：
TP18 [人工智能理论];
学科分类号：
081104 ; 0812 ; 0835 ; 1405 ;
摘要：
We present AutoPA, a tool to analyze and validate the consistency and functional correctness of use case designs. The tool directly generates an executable prototype from the requirements. The requirements are captured from different views of the application. Each view is constructed as UML diagram annotated with OCL specifications. Based on a formal semantics, the tool is implemented so that both syntactic and semantic consistency among the provided views can be guaranteed. Afterwards the requirements are analyzed and translated into an executable prototype, allowing the user to interactively validate the functional properties of the requirements model. We illustrate the benefits of the tool using a real-world sized example.
引用
收藏
页码：609 / +
页数：3
相关论文
共 50 条
  • [11] Creating Dynamic Requirements Through Iteratively Prototyping Critical Functionalities
    Kriesi, Carlo
    Blindheim, Jorgen
    Bjelland, Oystein
    Steinert, Martin
    26TH CIRP DESIGN CONFERENCE, 2016, 50 : 790 - 795
  • [12] Prototyping and Validating Requirements of Radiation and Nuclear Emergency Plan Simulator
    Hamid, A. H. A.
    Rozan, M. Z. A.
    Ibrahim, R.
    Deris, S.
    Selamat, A.
    ADVANCING OF NUCLEAR SCIENCE AND ENERGY FOR NATIONAL DEVELOPMENT, 2015, 1659
  • [13] Helping Hands: Requirements for a Prototyping Methodology for Upper-limb Prosthetics Users
    Hofmann, Megan
    Harris, Jeffrey
    Hudson, Scott E.
    Mankoff, Jennifer
    34TH ANNUAL CHI CONFERENCE ON HUMAN FACTORS IN COMPUTING SYSTEMS, CHI 2016, 2016, : 1769 - 1780
  • [14] ProtoColVR: Requirements Gathering and Collaborative Rapid Prototyping of VR Training Simulators for Multidisciplinary Teams
    Gomez, Vivian
    Figueroa, Pablo
    IEEE TRANSACTIONS ON VISUALIZATION AND COMPUTER GRAPHICS, 2024, 30 (05) : 2549 - 2558
  • [15] A review method for UML requirements analysis model employing system-side prototyping
    Ogata, Shinpei
    Matsuura, Saeko
    SPRINGERPLUS, 2013, 2
  • [16] Requirements Engineering Using Mockups and Prototyping Tools: Developing a Healthcare Web-Application
    Teixeira, Leonor
    Saavedra, Vasco
    Ferreira, Carlos
    Simoes, Joao
    Santos, Beatriz Sousa
    HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION: INFORMATION AND KNOWLEDGE DESIGN AND EVALUATION, PT I, 2014, 8521 : 652 - 663
  • [17] Architectural Prototyping: From CCS to .Net
    Rodrigues, Nuno F.
    Barbosa, Luis S.
    ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2005, 130 : 151 - 167
  • [18] Designing and Prototyping from the Perspective of AI in the Wild
    Malsattar, Nirav
    Kihara, Tomo
    Giaccardi, Elisa
    PROCEEDINGS OF THE 2019 ACM DESIGNING INTERACTIVE SYSTEMS CONFERENCE (DIS 2019), 2019, : 1083 - 1088
  • [19] Hardware-Software Prototyping from LOTOS
    Luis Sánchez Fernández
    Gernot Koch
    Natividad Martínez Madrid
    María Luisa López Vallejo
    Carlos Delgado Kloos
    Wolfgang Rosenstiel
    Design Automation for Embedded Systems, 1998, 3 : 117 - 148
  • [20] Hardware-software prototyping from LOTOS
    Fernández, LS
    Koch, G
    Madrid, NM
    Vallejo, MLL
    Kloos, CD
    Rosenstiel, W
    DESIGN AUTOMATION FOR EMBEDDED SYSTEMS, 1998, 3 (2-3) : 117 - 148
12345