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 条

[31] Potential and challenges of prototyping in product development and innovation: Insights from an expert discussion among researchers and practitioners
Christoforakos L.
Tretter S.
Diefenbach S.
Bibi S.-A.
Fröhner M.
Kohler K.
Madden D.
Marx T.
Pfeiffer T.
Pfeiffer-Leßmann N.
Valkanova N.
i-com, 2019, 18 (02) : 179 - 187
[32] Prototyping collaborative (co-)archiving practices From archival appraisal to co-archival facilitation
Nilsson, Elisabet M.
PROCEEDINGS OF THE 2016 INTERNATIONAL CONFERENCE ON VIRTUAL SYSTEMS AND MULTIMEDIA (VSMM), 2016, : 313 - 316
[33] Facilitating computing education to graduate students in journalism and public relations from Dewey's lens: prototyping
Sharafeddin, Mageda A.
Samarji, Ahmad
JOURNAL OF APPLIED RESEARCH IN HIGHER EDUCATION, 2023, 15 (05) : 1544 - 1560
[34] Creative Approach to the Design and Prototyping of Experimental Smart Spaces, Case Studies from the Interactive Environments Minor
Jaskiewicz, Tomasz
Aprile, Walter A.
van der Helm, Aadjan
SMART SPACES AND NEXT GENERATION WIRED/WIRELESS NETWORKING, 2010, 6294 : 135 - +
[35] Productive Frictions: Moving from Digital to Material Prototyping and Low-Volume Production for Design Research
Wakkary, Ron
Lin, Henry
Desjardins, Audrey
Mortimer, Shannon
Low, Lauren
Doyle, Keith
Robbins, Phillip
DIS 2016: PROCEEDINGS OF THE 2016 ACM CONFERENCE ON DESIGNING INTERACTIVE SYSTEMS, 2016, : 1258 - 1269
[36] Automated Testing Featuring Prototype Generation from Harvested Requirements Specification
Phuangphoo, Nawin
Limpiyakorn, Yachai
COMPUTER APPLICATIONS FOR SOFTWARE ENGINEERING, DISASTER RECOVERY, AND BUSINESS CONTINUITY, 2012, 340 : 88 - 95
[37] VoiceToModel: An Approach to Generate Requirements Models from Speech Recognition Mechanisms
Soares, Fabio
Araujo, Joao
Wanderley, Fernando
30TH ANNUAL ACM SYMPOSIUM ON APPLIED COMPUTING, VOLS I AND II, 2015, : 1350 - 1357
[38] Automatic generation of knee kinematic models from medical imaging
Shi, Beichen
Barzan, Martina
Nasseri, Azadeh
Maharaj, Jayishni N.
Diamond, Laura E.
Saxby, David J.
COMPUTER METHODS AND PROGRAMS IN BIOMEDICINE, 2024, 256
[39] A method for the automatic generation of test suites from object models
Cavarra, A
Crichton, C
Davies, J
INFORMATION AND SOFTWARE TECHNOLOGY, 2004, 46 (05) : 309 - 314
[40] Biomarkers from automatic milking system for cows reproduction success
Antanaitis, Ramunas
Juozaitiene, Vida
Malasauskiene, Dovile
Televicius, Mindaugas
LIVESTOCK SCIENCE, 2020, 234

← 1 2 3 4 5 →