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 条
  • [1] RM2PT: Requirements Validation through Automatic Prototyping
    Yang, Yilong
    Ke, Wei
    Li, Xiaoshan
    2019 27TH IEEE INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE 2019), 2019, : 484 - 489
  • [2] Engineering Requirements for Social Housing Through Prototyping
    Amyot, Daniel
    Kolesnyk, Valeriia
    Lessard, Lysanne
    Parekh, Vishal
    Motwani, Yashraj Ram
    Sauve-Shenk, Katrine
    Sylvestre, John
    Valipourebrahimi, Sara
    32ND INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE WORKSHOPS, REW 2024, 2024, : 360 - 361
  • [3] Agile Requirements Engineering with Prototyping: A Case Study
    Kapyaho, Marja
    Kauppinen, Marjo
    2015 IEEE 23RD INTERNATIONAL REQUIREMENTS ENGINEERING CONFERENCE (RE), 2015, : 334 - 343
  • [4] An Experience in Requirements Prototyping with Young Deaf Children
    Korte, Jessica
    Potter, Leigh Ellen
    Nielsen, Sue
    JOURNAL OF USABILITY STUDIES, 2015, 10 (04) : 195 - 214
  • [5] Virtual Prototyping and Validation of an Automatic Washing Machine
    Fu, Sufang
    Gao, Han
    Zhang, Qiuju
    Chen, Xiqu
    Zhang, Xueming
    MANUFACTURING SCIENCE AND ENGINEERING, PTS 1-5, 2010, 97-101 : 3387 - +
  • [6] REQUIREMENTS ENGINEERING BY PROTOTYPING - EXPERIENCES IN DEVELOPMENT OF ESTIMATING SYSTEM
    STEPHENS, MA
    BATES, PE
    INFORMATION AND SOFTWARE TECHNOLOGY, 1990, 32 (04) : 253 - 257
  • [7] A Review Method of Requirements Analysis Model in UML with Prototyping
    Ogata, Shinpei
    Matsuura, Saeko
    KNOWLEDGE-BASED SOFTWARE ENGINEERING, 2012, 240 : 181 - +
  • [8] Round-trip prototyping based on integrated functional and user interface requirements specifications
    Homrighausen A.
    Six H.-W.
    Winter M.
    Requirements Engineering, 2002, 7 (1) : 34 - 45
  • [9] Model-Driven Prototyping Based Requirements Elicitation
    Fu, Jicheng
    Bastani, Farokh B.
    Yen, I-Ling
    INNOVATIONS FOR REQUIREMENTS ANALYSIS: FROM STAKEHOLDERS' NEEDS TO FORMAL DESIGNS, 2008, 5320 : 43 - 61
  • [10] A genetic-based prototyping for automatic image annotation
    Maihami, Vafa
    Yaghmaee, Farzin
    COMPUTERS & ELECTRICAL ENGINEERING, 2018, 70 : 400 - 412
12345