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 条
  • [41] Towards Accurate, Automatic Segmentation of the Hippocampus and Amygdala from MRI
    Collins, D. Louis
    Pruessner, Jens C.
    MEDICAL IMAGE COMPUTING AND COMPUTER-ASSISTED INTERVENTION - MICCAI 2009, PT II, PROCEEDINGS, 2009, 5762 : 592 - 600
  • [42] Image processing application development:: From rapid prototyping to SW/HW co-simulation and automated code generation
    Vicente-Chicote, C
    Toledo, A
    Sánchez-Palma, P
    PATTERN RECOGNITION AND IMAGE ANALYSIS, PT 1, PROCEEDINGS, 2005, 3522 : 659 - 666
  • [43] Automatic Acceptance Test Case Generation From Essential Use Cases
    Kamalrudin, Massila
    Nor Aiza, M.
    Grundy, John
    Hosking, John
    Robinson, Mark
    NEW TRENDS IN SOFTWARE METHODOLOGIES, TOOLS AND TECHNIQUES, 2014, 265 : 246 - 255
  • [44] Automatic segmentation of the caudate nucleus from human brain MR images
    Xia, Yan
    Bettinger, Keith
    Shen, Lin
    Reiss, Allan L.
    IEEE TRANSACTIONS ON MEDICAL IMAGING, 2007, 26 (04) : 509 - 517
  • [45] AutoModel: Automatic Synthesis of Models From Communication Traces of SoC Designs
    Ahmed, Md Rubel
    Nadimi, Bardia
    Zheng, Hao
    IEEE TRANSACTIONS ON COMPUTER-AIDED DESIGN OF INTEGRATED CIRCUITS AND SYSTEMS, 2024, 43 (07) : 2191 - 2204
  • [46] Atlas ranking and selection for automatic segmentation of the esophagus from CT scans
    Yang, Jinzhong
    Haas, Benjamin
    Fang, Raymond
    Beadle, Beth M.
    Garden, Adam S.
    Liao, Zhongxing
    Zhang, Lifei
    Balter, Peter
    Court, Laurence
    PHYSICS IN MEDICINE AND BIOLOGY, 2017, 62 (23) : 9140 - 9158
  • [47] Guidelines on validation procedures for meteorological data from automatic weather stations
    Estevez, J.
    Gavilan, P.
    Giraldez, J. V.
    JOURNAL OF HYDROLOGY, 2011, 402 (1-2) : 144 - 154
  • [48] Automatic Test Cases Generation for Statechart Specifications from Semantics to Algorithm
    Chen, Lina
    JOURNAL OF COMPUTERS, 2011, 6 (04) : 769 - 775
  • [49] Automatic Measurement of Pennation Angle from Ultrasound Images using Resnets
    Zheng, Weimin
    Liu, Shangkun
    Chai, Qing-Wei
    Pan, Jeng-Shyang
    Chu, Shu-Chuan
    ULTRASONIC IMAGING, 2021, 43 (02) : 74 - 87
  • [50] Evaluation of the latest Spanish grid code requirements from a PV power plant perspective
    Martinez-Lavin, Miguel
    Villena-Ruiz, Raquel
    Honrubia-Escribano, Andres
    Hernandez, Jesus C.
    Gomez-Lazaro, Emilio
    ENERGY REPORTS, 2022, 8 : 8589 - 8604
12345