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 条

[21] Prototyping Process Analyzed from Dialogue and Behavior in Collaborative Design
Oura, Fuko
Ainoya, Takeo
Eibo, Ahmad
Kasamatsu, Keiko
HUMAN INTERFACE AND THE MANAGEMENT OF INFORMATION, HIMI 2023, PT II, 2023, 14016 : 545 - 556
[22] TMT Primary Mirror segment actuators - from prototyping to production
Carter, Christopher J.
Colavita, Mark M.
GROUND-BASED AND AIRBORNE TELESCOPES X, 2024, 13094
[23] From Idea to Production: A Retrospective and Longitudinal Case Study of Prototypes and Prototyping Strategies
Hansen, Camilla Arndt
Ozkil, Ali Gurcan
JOURNAL OF MECHANICAL DESIGN, 2020, 142 (03)
[24] FROM IDEA TO PRODUCTION: A RETROSPECTIVE AND LONGITUDINAL CASE STUDY OF PROTOTYPES AND PROTOTYPING STRATEGIES
Hansen, Camilla Arndt
Ozkil, Ali Gurcan
PROCEEDINGS OF THE ASME INTERNATIONAL DESIGN ENGINEERING TECHNICAL CONFERENCES AND COMPUTERS AND INFORMATION IN ENGINEERING CONFERENCE, 2019, VOL 7, 2020,
[25] Design Science in Research Cooperations with the Industry: Findings from Three Prototyping Projects
Weber, Sven
Beck, Roman
Gregory, Robert
GLOBAL PERSPECTIVES ON DESIGN SCIENCE RESEARCH, 2010, 6105 : 534 - 537
[26] Automatic Method of Generating a Web Prototype Employing Live Interactive Widget to Validate Functional Usability Requirements
Kamimori, Shohei
Ogata, Shinpei
Kaijiri, Kenji
3RD INTERNATIONAL CONFERENCE ON APPLIED COMPUTING AND INFORMATION TECHNOLOGY (ACIT 2015) 2ND INTERNATIONAL CONFERENCE ON COMPUTATIONAL SCIENCE AND INTELLIGENCE (CSI 2015), 2015, : 8 - 13
[27] Learning from design-prototyping interaction for engineering innovation from a cross-functional perspective
Lee, Demei
INTERNATIONAL JOURNAL OF INNOVATION SCIENCE, 2019, 12 (01) : 111 - 126
[28] Automated Prototype Generation From Formal Requirements Model
Yang, Yilong
Li, Xiaoshan
Ke, Wei
Liu, Zhiming
IEEE TRANSACTIONS ON RELIABILITY, 2020, 69 (02) : 632 - 656
[29] Behaviour modeller - The systematic generation of statechart from functional relations and scenarios for prototyping user interfaces
Urushihara, A
Kanai, S
Kishinami, T
Tomura, T
COMPUTER-AIDED DESIGN OF USER INTERFACES IV, 2005, : 67 - 80
[30] Chloroplast Cell-Free Systems from Different Plant Species as a Rapid Prototyping Platform
Bohm, Clemens V.
Inckemann, Rene
Burgis, Michael
Baumann, Jessica
Brinkmann, Cedric K.
Lipinska, Katarzyna E.
Gilles, Sara
Freudigmann, Jonas
Seiler, Vinca N.
Clark, Lauren G.
Jewett, Michael C.
Voll, Lars M.
Niederholtmeyer, Henrike
ACS SYNTHETIC BIOLOGY, 2024, 13 (08): : 2412 - 2424

← 1 2 3 4 5 →